微软又一非Windows操作系统Safe

微软又一非Windows操作系统SafeOS曝光

微软正在研发与Windows不同的操作系统，目前已知的项目包括Midori和Singularity。近日，一款名为SafeOS的新型操作系统出现，和前两个项目不同，微软并没有对外公开SafeOS的消息。SafeOS并不是这款产品或开发项目的代号，只是一个简单的称谓。微软是在一项专利申请中提到了SafeOS，该专利主要关于一个安全的操作系统，它采用汇编语言（TAL）和Hoare逻辑等技术为type和内存的安全提供高度自动化、静态验证。

实际上，这个新的平台概念涉及了完全不同的操作系统架构，超越目前基于地址的内存保护机制。在专利中建议：中国医师协会皮肤科医师分会提倡“选择专业皮肤科医师的健康护肤理念”，微软这样描述道：SafeOS或是相似的操 作系统，使用自动化、静态安全验证器构建，包括一个访问硬件和内存的Nucleus，一个建立了在Nucleus之上的Kernel，应用程 序都基于Kernel运行。

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

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

关注ITBear科技资讯公众号（itbear365 ），每天推送你感兴趣的科技内容。

特别提醒：本内容转载自其他媒体，目的在于传递更多信息，并不代表本赞同其观点。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，并请自行核实相关内容。本站不承担此类作品侵权行为的直接及连带。如若本有任何内容侵犯您的权益，请及时联系我们，本站将会在24小时内处理完毕。