软件名称:[B]奇点RDK 2.0的初始版本(17067)_Singularity RDK 2.0 Initial Release (17067)[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:54.1 MB
官方主页:Home Page
更新时间:2013-03-09 12:27:00
软件简介:

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

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

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

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

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

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

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


[url=http://www.sot9.com/soft/94404.html][B]奇点RDK 2.0的初始版本(17067)_Singularity RDK 2.0 Initial Release (17067)[/B][/url]

点这里下载->奇点RDK 2.0的初始版本(17067)_Singularity RDK 2.0 Initial Release (17067) [ 下载地址 ]