Microsoft Research奇异性 - 非Windows操作系统

Singularity是一个Microsoft Research项目，旨在构建高度可靠的微内核操作系统，其中内核，设备驱动程序和应用程序全部用托管代码编写。超过90％的操作系统内核是使用Sing#编写的，它是C#高级编程语言的扩展。

Microsoft Research Singularity

Singularity是一个研究项目，重点关注通过创新在可靠系统中构建系统领域，语言和工具。我们正在构建一个研究操作系统原型（称为Singularity），扩展了编程语言，并开发了用于指定和验证程序行为的新技术和工具。语言，编译器和工具的进步为开发软件提供了可能性。例如，Singularity使用类型安全语言和抽象指令集来实现我们称之为软件隔离进程（SIP）的功能。 SIP为操作系统进程提供了强大的隔离保证（隔离的对象空间，独立的GC，独立的运行时），而没有硬件强制保护域的开销。在目前的Singularity原型中，SIP非常便宜;它们在内核地址空间的环0中运行。

Singularity使用这些进步来构建更可靠的系统和应用程序。例如，由于SIP创建和执行起来非常便宜，Singularity在其自己的SIP中运行每个程序，设备驱动程序或系统扩展。不允许SIP共享内存或修改自己的代码。因此，我们可以对在SIP中运行的代码提供强大的可靠性保证。我们可以在编译或安装时验证有关SIP的更广泛的属性，而不是在传统OS进程中运行的代码所能做到的。更广泛的静态验证应用对于预测系统行为和为用户提供有关可靠性的有力保证至关重要。

Microsoft Research已经可供下载，

Singularity Research Development Kit（RDK） 。您可以从Microsoft的开源代码项目托管网站CodePlex下载它。您也可以点击这里下载 Singularity Project 概述 Singularity，Galen Hunt和Jim Larus的主要开发人员已经表示，所有当前的操作系统，如Windows，Linux和Mac OS都可以可以追溯到一个名为Multics的操作系统，它起源于20世纪60年代。实际上，目前的操作系统仍然部分依据40年前的想法和标准。多路复用信息和计算服务，或Multics是一个大型机分时操作系统，始于1965年，一直使用到2000年。

Microsoft Research Singularity于2003年被视为一种全新的操作系统构建方法。