InfoQ

InfoQ

新闻

我的书签

登录注册 以永久保存书签。

该内容已经被标记书签!

标记书签错误,请重试!

微软研究院发布Singularity RDK

作者 Steven Robbins 译者 王丽娟 发布于 2008年4月9日

领域
架构 & 设计,
运维 & 基础架构,
语言 & 开发
主题
操作系统 ,
架构 ,
编程 ,
调查 ,
开放源代码
标签
Reference Architectures ,
微软 ,
Singularity ,
声明

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

译者 王丽娟 王丽娟,04年大学毕业后持续从事Java EE中间件产品的开发,现在主要关注Java技术及中间件产品在云计算环境中的发展趋势和应用。

深度内容

大规模视频网站的计费与流量管理

本次分享将会就大规模视频网站的计费与流量管理这个话题,从操作层面细细进行讲解和分析,为系统工程师们揭示平日里我们没有关心的另一些内容。同时也希望本次分享能揭示行业中的一些“潜规则”,让互联网行业的流量与带宽管理更为开放与简洁。
本次演讲视频录制于QCon杭州2011

专访Jeffrey Richter:Windows 8是微软的重中之重

Jeffrey Richter以其多本Windows核心技术的经典著作而闻名,同时,他深入掌握微软的.NET等一系列核心技术,2012年1月,Jeffrey Richter在北京接受了InfoQ中文站的专访,谈到Windows 8和WinRT编程,并就异步编程、Windows编程中的可扩展性、性能和安全性方面给出自己的建议。

应用云平台的可用性——从新浪SAE看云平台设计

云计算平台的可用性,相比传统互联网服务而言,更加复杂和困难,也更具有挑战性。本文借助新浪SAE云平台为读者讲述了云平台可用性的定义、如何打造高可用的平台,以及对云计算的用户提出了建议。

JVM定制改进 @ 淘宝

淘宝高度重视Java平台的健康发展,组建了一个团队专注于Java平台的底层部分的性能、功能与稳定性改进;工作主要基于OpenJDK中的HotSpot VM开展,其中一些通用的功能随后也会逐渐反馈给OpenJDK社区。希望能与使用Java平台开发应用的大家交流经验。
本次演讲视频录制于QCon杭州2011

"伤得起"的云计算应用——对云端应用之架构的思考

2011年4月21日至22日是值得云计算从业者纪念的日子。Amazon的IaaS服务出现故障,导致许多商业网站的服务中断,影响非常严重。作为云计算用户,我们需要思考的是,如何保证即便在云服务不可用的情况,我们的应用架构仍然能够屹立不倒?本文正是站在云计算用户的角度试图探讨这一问题。

让交付的速度跟上思考的速度

12人的技术团队,4组刀片服务器,每月20亿的访问量,每日1次准时部署,99.9%的可用性。这可能吗?当然。想知道如何做的吗?百姓网将与您分享他们在DevOps实践过程中的经验和技巧。
本次演讲视频录制于QCon杭州2011

架构之路——穿行在产品和业务之间

篱笆作为一家起源于社区的电子商务公司,反映到技术层面就是同时要面对产品和业务,以及经营战略的变化调整。如何在产品和业务的夹缝之间完成技术架构的抽象与平衡,寻找更有效的价值定位,这当中有些经验教训和个人感悟愿与众人分享。
本次演讲视频录制于QCon杭州2011

特性注入:成功三部曲

本文将对特性注入以及相关方法做一个扫盲性的介绍。我们会解释这个框架的关键要素,并附上实例来证实它们。为了让文章保持相对较短,我们不会深入到某个工具或方法中,而是会给出一些参考资料,以便大家做进一步的研究。