来源：驱动之家
微软正在研发与Windows不同的操作系统，目前已知的项目包括Midori和Singularity。近日，一款名为SafeOS的新型操作系统出现，和前两个项目不同，微软并没有对外公开SafeOS的消息。SafeOS并不是这款产品或开发项目的代号，只是一个简单的称谓。微软是在一项专利申请中提到了SafeOS，该专利主要关于一个安全的操作系统，它采用汇编语言（TAL）和Hoare逻辑等技术为type和内存的安全提供高度自动化、静态验证。
实际上，这个新的平台概念涉及了完全不同的操作系统架构，超越目前基于地址的内存保护机制。在专利中，微软这样描述道：“SafeOS或是相似的操 作系统，使用‘自动化、静态安全验证器’构建，包括一个访问硬件和内存的‘Nucleus’，一个建立了在Nucleus之上的‘Kernel’，应用程 序都基于Kernel运行。”
Nucleus采用验证汇编语言编写，执行任务调度、多堆栈、中断处理、设备访问等。Kernel则采用C#或其它语言编写，在Nucleus之上创建先占式多任务线程等高水平服务。
微软在专利中强调，SafeOS只是一个概念设计，用以说明自动化、静态安全验证器的原理，微软不能保证会进一步开发SafeOS。
张无忌1987 于 2010-11-17 14:42:16发表:
:0w5ty(1
chengshiding 于 2010-11-17 13:44:56发表:
关键是要有应用程序的支持
sohappy5156 于 2010-11-17 08:30:26发表:
换个方式搞一下windows~！
vernice 于 2010-11-16 22:35:29发表:
期待操作系统的多元化发展
qianguozheng 于 2010-11-16 22:33:11发表:
哎。。微软到到底想搞什么！
shenhao0129 于 2010-11-16 22:32:26发表:
曝光个啥，就提到了一下，还是个概念而已
pl_014 于 2010-11-16 21:15:37发表:
用C#写出来的操作系统，能好到哪去呢？
Nesoikps 于 2010-11-16 16:24:25发表:
微软对Windows没自信？