BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

rss
他的粉丝

Verve已经发布——一种类型安全的操作系统

作者 James Vastbinder 关注 0 他的粉丝 ,译者 侯伯薇 关注 0 他的粉丝   发布于  2010年12月21日 2

微软研究院最近发布了Verve,它是来自于Singularity项目的一种操作系统,它的基本前提是要使用类型化汇编语言(TAL)以及Hoare逻辑来实现高级的保密性和安全性。

他的粉丝

Singularity:微软的开源操作系统

作者 Jonathan Allen 关注 594 他的粉丝 ,译者 黄璜 关注 0 他的粉丝   发布于  2008年11月24日 4

Sigularity研究开发包的2.0发布版现在已经可以通过源代码或者可启动CD的方式获得了。Sigularity操作系统整个依赖于进程之间高度隔离的代码管理方式。一反微软常规的做法,Singularity热情招徕补丁,并在CodePlex向开发者提供了完整的权限。

他的粉丝

微软研究院发布Singularity RDK

作者 Steven Robbins 关注 0 他的粉丝 ,译者 王丽娟 关注 0 他的粉丝   发布于  2008年4月10日

3月4日,Singularity研发工具包(RDK)在CodePlex网站上发布为开源项目。该RDK基于微软研究院的Singularity项目,Singularity项目由Galen Hunt、Jim Larus及其他人员研发。项目网站表示,Singularity主要“通过系统、语言、工具领域的创新来构建可靠的系统。”

他的粉丝

Cosmos:Singularity之外的选择

作者 James Vastbinder 关注 0 他的粉丝 ,译者 李剑 关注 1 他的粉丝   发布于  2008年2月13日

Cosmos是一个完全基于.NET编译成IL的操作系统,它刚刚面向公众发布。

他的粉丝

Singularity:对软件栈的反思

作者 Greg Young 关注 14 他的粉丝 ,译者 陈俊 关注 0 他的粉丝   发布于  2007年8月13日

Singularity是微软的一个研究项目,其目的是孕育出新一代的,高可靠性的操作系统。因没有如向后兼容问题之类的各种商业上负担,Singularity可以通过新的编程工具以及方法论,解决许多计算机领域经典的问题,因而极具吸引力。InfoQ与Singularity小组交流后得到更多这方面的资讯。

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT