Verve已经发布——一种类型安全的操作系统
微软研究院最近发布了Verve,它是来自于Singularity项目的一种操作系统,它的基本前提是要使用类型化汇编语言(TAL)以及Hoare逻辑来实现高级的保密性和安全性。
微软研究院最近发布了Verve,它是来自于Singularity项目的一种操作系统,它的基本前提是要使用类型化汇编语言(TAL)以及Hoare逻辑来实现高级的保密性和安全性。
Sigularity研究开发包的2.0发布版现在已经可以通过源代码或者可启动CD的方式获得了。Sigularity操作系统整个依赖于进程之间高度隔离的代码管理方式。一反微软常规的做法,Singularity热情招徕补丁,并在CodePlex向开发者提供了完整的权限。
3月4日,Singularity研发工具包(RDK)在CodePlex网站上发布为开源项目。该RDK基于微软研究院的Singularity项目,Singularity项目由Galen Hunt、Jim Larus及其他人员研发。项目网站表示,Singularity主要“通过系统、语言、工具领域的创新来构建可靠的系统。”