Singularity

✍ dations ◷ 2025-06-30 13:50:33 #未来软件,微软研究院,微软操作系统,微内核,组合语言软件

Singularity,一种实验性操作系统,在2003年至2010年间由微软研究院设计、发展出来。该操作系统的核心、驱动程序以及应用程序都以“受控代码”写成。系统“Singularity”在设计上完全改头换面,不再以其性能为标准,而以系统稳定性作为首要标准。

Singularity操作系统会在系统构建、编写程序等应用微软最先进的技术,例如Singularity的核心技术之一:软件独立进程(Software Isolated Processes,SIP)将采用“Type-safe”编程语言以及精简的指令完成,保证系统运作之间的高度独立性。SIP保证每个程序、驱动程序以及系统扩展组件都在独立的SIP内运行,并不允许互相共享内存或修改自身代码,能够使系统的稳定性增强。

微软将会在近期公布更多Singularity的详细技术资料。

Singularity的低级x86中断以汇编语言和C语言写成。一旦这些代码完成工作,它将调用核心,核心的运行时代码和垃圾收集器用C♯语言写成并在非安全模式下运行。Singularity的硬件抽象层用C++语言写成并运行在安全模式下。并且也有部分C代码负责调试工作。计算机的BIOS只在16位元真实模式自举阶段被调用;一旦系统进入32位元模式,Singularity将永远不再调用BIOS,而改以调用以Sing♯写出的设备驱动代码。当安装时,CIL形态的opcode(英语:opcode)将借由Bartok 页面存档备份,存于互联网档案馆编译为x86形态的opcode。Bartok是一种以C#写成的早期优化编译器。

源代码和/或磁盘镜像将在工程完成时可用。

Singularity是一个微内核操作系统;无论如何,不似过去的微内核,Singularity的不同组件不在单独的地址空间(进程)内运行,而是每个软件独立进程(SIP)分配到一个独立的单一地址空间。这些SIP的行为类似普通进程,但SIP将不会在任务调度时请求开销惩罚(overhead penalty)。系统的保护由不变式(invariants)集提供,比如内存不变式将维护内存内两个SIP间没有交互参照(或循环的内存指针)。这项规则将在应用程序安装阶段进行检查,并且不得违反,否则Singularity将禁止安装(注意:Singularity系统中安装完全由操作系统管理)。

大部分不变式依赖于带有安全机制语言的使用,如Java语言或C#,这些语言拥有垃圾收集机制,没有专断指针并且代码可以辑由某种计算机安全策略得以验证。

相关

  • 制造生产在经济学中指的是厂商或服务提供者,把其可以支配的资源(也就是生产要素)转变为商品(有形产品或无形服务(英语:Goods and services))的过程,而且所产生的商品有价值,可以对消费者产
  • 马奶酒马奶酒,是一种用传统方法将马乳发酵制成的奶酒饮品。马奶酒广受居住于中亚干草原众多民族的喜爱,在游牧民族文化中占有重要的地位,包括:哈萨克人、巴什基尔人、卡尔梅克人、柯尔
  • 彼得·巴格拉季昂彼得·伊万诺维奇·巴格拉季昂亲王(格鲁吉亚语: პეტრე ბაგრატიონი 俄语:Пётр Ива́нович Багратио́н;1765年-1812年9月24日),俄罗斯帝国
  • 器件半导体器件(semiconductor device)是利用半导体材料的特殊电特性来完成特定功能的电子器件。半导体的导电性介于良导电体与绝缘体之间,这些半导体材料通常是硅、锗或砷化镓,并经
  • 2019冠状病毒病疫情对航空业的影响SARS-CoV-2(病毒)国际运输本条目记录2019冠状病毒病疫情对航空业的影响。为防控2019冠状病毒病疫情,许多国家和地区实施了出入境限制,对航空业产生了重大影响。 旅客数量的显着
  • 冬季奥林匹克运动会有舵雪橇比赛有舵雪橇在1924年奥运会成为正式比赛项目,起初仅设立男子四人赛,1932年开始增设男子双人赛。该项目自首届冬奥亮相以来,仅1960年冬奥未举办,因为该届冬奥的组委会为减少开支决定
  • 土耳其软糖土耳其软糖(土耳其语:Lokum)是以淀粉与砂糖制成的土耳其甜点。它通常以玫瑰香水、乳香树脂与柠檬调味;玫瑰香水赋予了其淡粉红的色泽。土耳其软糖呈胶状,质地柔软有弹性、类似果
  • 萨莱 (洛特-加龙省)萨莱(法语:Salles)是法国洛特-加龙省的一个市镇,属于洛特河畔新城区(Villeneuve-sur-Lot)蒙夫朗屈安县(Monflanquin)。该市镇总面积21.58平方公里,2009年时的人口为314人。萨莱人口变
  • 玻璃种玻璃种,按照翡翠的“水头”划分而得的翡翠种类,是透明度最高的翡翠。玻璃种呈全透明或半透明,肉眼观察似玻璃质地,晶莹剔透,又常泛有“荧光”。“水头”是指翡翠的透明度,行业内一
  • 次常用字次常用字是指中文中较不常用,但仍然会用到的字,通常有数千字。中国大陆和台湾都有自己的次常用字标准。