BT

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

微软研究院发布Singularity RDK

| 作者 Steven Robbins 关注 0 他的粉丝 ,译者 王丽娟 关注 0 他的粉丝 发布于 2008年4月10日. 估计阅读时间: 4 分钟 | 如何结合区块链技术,帮助企业降本增效?让我们深度了解几个成功的案例。

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

Singularity RDK包括“源代码、构建工具、测试套件、设计笔记、以及其它背景资料”,这些资料可用来研究、运行Singularity。资料中包括一个名叫 “构建并运行Singularity”的17页文档,该文档串讲了配置Singularity和RDK的步骤。已经有五十多个可构建、部署的独立应用和项目进行了下载,下载中包括一整套的测试套件和一套标准检查程序。

RDK还提供了数十个Singularity设计笔记(SDN),描述了Singularity的某些特性或其中一项工程是如何进行设计和预期工作的。举例来说,“SDN 0:Singularity的设计动机”包括关于所谓重中之重的讨论:

四个设计要点结合起来以产生一个操作系统,这个操作系统在未来的研究和系统可靠性的创新方面是敏捷的。这些设计要点是:一套类型安全的抽象指令集做为系统的二进制接口,适合应用程序和操作系统的一个统一扩展机制,一个强大的进程隔离架构,以及一个用于描述代码和数据的无所不在的元数据基础架构

微软研究院站点和RDK站点对Singularity项目的概述如下:

语言、编译器、工具上的进展可以有效地推动软件改进的可能性。比如说,Singularity使用类型安全的语言和抽象指令集使我们能够访问软件独立进程(SIPs)。无需硬件强制保护域的辅助作用,SIPs就能提供与操作系统进程之间有力的隔离保证(独立对象空间、独立垃圾回收机制、独立运行时)。目前,Singularity原型的SIPs非常容易获取;它们都运行在内核地址空间的Ring 0。

Singularity利用这些进展来构建更加可靠的系统和应用程序。例如,由于创建、执行SIPs都非常容易,所以Singularity能在自己的SIP中运行每个程序、设备驱动程序、或系统扩展。SIPs不允许共享内存、修改自己的代码。因此,我们可以获得有力的可靠性保证,保证代码运行在一个SIP中。我们可以在编译或安装阶段验证SIP属性,这要比对运行在传统操作系统进程中的代码的验证更为广泛。对预知系统行为和给用户提供有力的可靠性保证来说,关键问题就是更加广泛地应用状态验证。

Singularity项目站点有一些与Singularity和RDK相关的文章、访谈、MSDN链接。最有用的一些入门资料包括Galen Hunt和James Larus写的“Singularity:对软件栈的反思”[pdf],以及一个PDF版本的Singularity RDK指南[pdf]。

RDK站点有一个非常活跃的讨论组,多数社区成员都可以在那里发布关于使用Singularity和RDK的问题、解决方案、观点。

Singularity RDK目前只用于非商业性的学术用途。

查看英文原文:Microsoft Research Releases Singularity RDK

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT