Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
研究开发套件的名称RDK代表。
Singularity是一个研究项目的重点是通过系统,语言和工具等领域的创新,可靠的系统建设。我们正在建立一个研究操作系统的神器出山:www.shenqi73.com原型(称为奇点),扩展的编程语言,并开发新的技术和工具的规定和检验程序的行为。
语言,编译器和工具的进展打开ignificantly提高软件的可能性。例如,奇异使用类型安全的语言和抽象的指令集,让我们所说的软件:隔离Processe(SIPS)。
的SIP提供了强有力的隔离保证操作系统的进程(隔离对象的空间,独立的选区,单独运行时)没有硬件强制保护域的开销。在目前的奇异原型的SIP是非常便宜的,他们运行在ring 0在内核的地址空间。
奇点使用这些进步,构建更加可靠的系统和应用程序。例如,由于SIP的有这么便宜的建立和执行,奇异运行的每个程序,设备驱动程序,或在自己的SIP系统扩展。不允许SIP的共享内存或修改自己的代码。因此,我们可以可靠性强,保证在SIP运行的代码。
我们可以验证一个SIP更广泛的性能,编译或安装的时间比在传统的操作系统进程中运行的代码可以做的。静态验证是更广泛的应用,预测系统行为和为用户提供了强大的保证可靠性的关键。