写点什么

微软研究院发布 Singularity RDK

2008 年 4 月 09 日

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

2008 年 4 月 09 日 06:49484
用户头像

发布了 151 篇内容, 共 52.3 次阅读, 收获喜欢 10 次。

关注

评论

发布
暂无评论
发现更多内容

刷透近200道数据结构与算法,成功加冕“题王”,挤进梦中的字节

Crud的程序员

架构 面试 算法 数据结构与算法

区块链技术应用新阶段有五大趋势

CECBC区块链专委会

比特币 区块链 数字货币

2020年度编程语言排行榜 C语言称霸,Java遭遇滑铁卢?

flyer0126

编程语言 28天写作

我是如何用几十个小时完成自己的3个flag

华为

波场链DAPP软件APP开发|波场链DAPP系统开发

开發I852946OIIO

系统开发

跪了!Alibaba内部出品贼火的Java面试手册,全面对标蚂蚁金服、头条、拼多多等

Java架构之路

Java 程序员 架构 面试 编程语言

学习,不是一件一蹴而就的事情

华为

全面开创城市数字经济新时代

CECBC区块链专委会

数字经济

赫拉利其人其书之我见(2)

石君

28天写作 简史 科技简史

SpringCloud 从入门到精通 05--- 订单模块

Felix

产品风控:短信验证码的风控策略

香芋味的猫丶

短信防刷 产品安全 短信验证码 短信防轰炸 短信防火墙

某Javva程序员金秋9月靠这份文档涨薪10K,你把这份Java进阶文档吃透涨薪超简单!

Java成神之路

Java 程序员 架构 面试 编程语言

腾讯十年,总结出这份Java架构师知识路线,保你稳拿40k+

Java架构追梦

Java 面试 架构师成长笔记 金三银四 全栈知识点

分布式全链路灰度发布的探索与实践

阿里巴巴云原生

阿里云 微服务 运维 云原生 中间件

ArgoCD + KubeVela:以开发者为中心的 GitOps

阿里巴巴云原生

阿里云 开源 容器 云原生 k8s

霸榜各个网站的阿里独有的高并发高并发手册:Netty、Redis、Zookeeper,看完惊呆了!

996小迁

redis zookeeper 架构 面试 Netty

案例研究之聊聊 QLExpress 源码 (三)

小诚信驿站

刘晓成 小诚信驿站 28天写作 QLExpress源码 聊聊源码

创业失败启示录|校园微生活(故事篇1)

山下青城

创业 28天写作 创业失败启示录 青城

分布式批量任务调度、自动化运维管理监控平台Taskctl

会飞的鱼

kettle 分布式系统 海豚调度 自动化部署 ETL

LeetCode题解:236. 二叉树的最近公共祖先,递归,JavaScript,详细注释

Lee Chen

算法 LeetCode 前端进阶训练营

助力金三银四跳槽季,《Java面试突击版》第四版强势来袭

Java架构之路

Java 程序员 架构 面试 编程语言

字节跳动大佬整理的这份《算法中文手册》火了,不少小伙伴靠这份指南成功掌握了算法的核心技能,成功拿到了 BATJ等大厂offer。

Java成神之路

Java 程序员 架构 面试 编程语言

小马哥刷LeetCode 1480. 一维数组的动态和

小马哥

Java 数据结构与算法 面试数据结构与算法 28天写作

数智化浪潮之中,传统企业如何抓住转型机遇?

京东智联云开发者

DevOps

两年Java开发经验,我凭借这份349页的《阿里Java面试通关手册》成功拿到字节跳动Offer。

Java成神之路

Java 程序员 架构 面试 编程语言

什么是区块链挖矿?区块链怎么挖矿?

v16629866266

侵犯商业秘密罪律师提醒区块链技术与商业秘密的安全保管

CECBC区块链专委会

时间戳

凭借这份Java超硬核面试 “备战” 手册!我刚面试完字节跳动、阿里、华为、小米等后端岗位

Java架构之路

Java 程序员 架构 面试 编程语言

卧槽,牛皮了!某程序员苦刷这两份算法PDF47天,四面字节斩获心仪大厂offer!

Java成神之路

Java 程序员 架构 面试 编程语言

智慧社区安防建设的功能,智慧社区建设方案

135深圳3055源中瑞8032

没想到,学习带给我最宝贵的东西是底气

华为

InfoQ 极客传媒开发者生态共创计划线上发布会

InfoQ 极客传媒开发者生态共创计划线上发布会

微软研究院发布Singularity RDK-InfoQ