奇点RDK 2.0的初始版本（17067）_Singularity RDK 2.0 Initial Release (17067)

一个研究项目，专注于可靠的系统，通过创新建设领域的系统，语言

研究开发套件的名称RDK代表。

Singularity是一个研究项目的重点是通过系统，语言和工具等领域的创新，可靠的系统建设。我们正在建立一个研究操作系统的神器出山:www.shenqi73.com原型（称为奇点），扩展的编程语言，并开发新的技术和工具的规定和检验程序的行为。

语言，编译器和工具的进展打开ignificantly提高软件的可能性。例如，奇异使用类型安全的语言和抽象的指令集，让我们所说的软件：隔离Processe（SIPS）。

的SIP提供了强有力的隔离保证操作系统的进程（隔离对象的空间，独立的选区，单独运行时）没有硬件强制保护域的开销。在目前的奇异原型的SIP是非常便宜的，他们运行在ring 0在内核的地址空间。

奇点使用这些进步，构建更加可靠的系统和应用程序。例如，由于SIP的有这么便宜的建立和执行，奇异运行的每个程序，设备驱动程序，或在自己的SIP系统扩展。不允许SIP的共享内存或修改自己的代码。因此，我们可以可靠性强，保证在SIP运行的代码。

我们可以验证一个SIP更广泛的性能，编译或安装的时间比在传统的操作系统进程中运行的代码可以做的。静态验证是更广泛的应用，预测系统行为和为用户提供了强大的保证可靠性的关键。