微软再开发非Windows系统 SafeOS曝光

系统
微软正在研发与Windows不同的操作系统,目前已知的项目包括Midori和Singularity。近日,一款名为SafeOS的新型操作系统出现,和前两个项目不同,微软并没有对外公开SafeOS的消息。

微软正在研发与Windows不同的操作系统,目前已知的项目包括Midori和Singularity。近日,一款名为SafeOS的新型操作系统出现,和前两个项目不同,微软并没有对外公开SafeOS的消息。

SafeOS并不是这款产品或开发项目的代号,只是一个简单的称谓。微软是在一项专利申请中提到了SafeOS,该专利主要关于一个安全的操作系统,它采用汇编语言(TAL)和Hoare逻辑等技术为type和内存的安全提供高度自动化、静态验证。

实际上,这个新的平台概念涉及了完全不同的操作系统架构,超越目前基于地址的内存保护机制。在专利中,微软这样描述道:“SafeOS或是相似的操作系统,使用‘自动化、静态安全验证器’构建,包括一个访问硬件和内存的‘Nucleus’,一个建立了在Nucleus之上的‘Kernel’,应用程序都基于Kernel运行。”

Nucleus采用验证汇编语言编写,执行任务调度、多堆栈、中断处理、设备访问等。Kernel则采用C#或其它语言编写,在Nucleus之上创建先占式多任务线程等高水平服务。

微软在专利中强调,SafeOS只是一个概念设计,用以说明自动化、静态安全验证器的原理,微软不能保证会进一步开发SafeOS。

【编辑推荐】

  1. 微软曝光下一代Windows Server
  2. 微软发布IE 9第六个开发者预览版(附下载)
  3. 微软:Windows HPC比Linux HPC便宜
  4. Windows 95诞辰15周年微软如何再造辉煌
  5. 微软Windows的达尔文进化史(附图)
责任编辑:张浩 来源: 驱动之家
相关推荐

2012-10-12 10:22:37

Surface手机微软诺基亚

2023-06-06 14:33:41

微软Windows 11

2013-03-25 11:09:56

Windows Blu

2010-08-10 11:11:31

2021-05-13 05:22:28

Windows10操作系统微软

2009-03-29 09:54:55

微软Windows 7操作系统

2020-11-03 08:04:30

Windows10

2021-08-02 10:21:40

Windows 10操作系统微软

2019-07-11 15:17:25

微软开源Windows

2013-04-10 09:48:04

Windows 8.1

2013-08-15 09:55:09

Windows 8.1

2009-06-22 08:41:32

Windows 7微软操作系统

2010-03-02 08:53:59

Windows 8动态内存

2010-03-01 09:09:21

Windows 8动态内存

2013-12-03 10:04:04

Windows更新代号Windows 8.1

2023-03-28 08:50:55

2013-07-04 09:37:13

微软Windows鲍尔默

2020-01-02 14:12:15

Windows操作系统功能

2021-10-26 16:09:26

Windows 11操作系统微软

2023-03-20 19:47:34

微软Windows 11
点赞
收藏

51CTO技术栈公众号