Singularity

✍ dations ◷ 2025-06-08 20:45:10 #未来软件,微软研究院,微软操作系统,微内核,组合语言软件

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#,这些语言拥有垃圾收集机制,没有专断指针并且代码可以辑由某种计算机安全策略得以验证。

相关

  • 理论计算机科学理论计算机科学(英语:theoretical computer science,缩写为TCS)是计算机科学的一个分支,它主要研究有关计算的相对更抽象化,逻辑化和数学化的问题,例如计算理论,算法分析,以及程序设
  • 乔治二世乔治二世(George II of Great Britain,1683年11月10日-1760年10月25日),英国国王,汉诺威选帝侯。英国国王兼汉诺威选帝侯乔治一世与索菲亚·多鲁西亚的独子,以太子身份封威尔士亲王
  • 少尉少尉是军队的职衔,翻译对应的各国军军衔名称,通常是军官中最低级别的职衔。少尉一词在汉语中的使用,最早可追溯至民国初年,南京临时政府设置的军衔体系。翻译英文时,陆军以及由它
  • 第十一届全国人民代表大会常务委员会《国旗法》第五条规定,全国人大常委会所在地应每日升挂国旗。全国人大常委会自制印章,中央刊国徽。《国徽法》第五条规定,县级以上各级人民代表大会及其常务委员会会议厅应当悬
  • 凤凰计划凤凰计划可以指:
  • 亚吉铁路亚吉铁路是连接非洲埃塞俄比亚首都亚的斯亚贝巴和吉布提首都吉布提市的铁路,为两国共同所有,目前也分别是两国唯一的铁路。2016年开通后,成为非洲第一条跨国标准轨电气化铁路,全
  • 阿米鲁丁韩沙阿米鲁丁韩沙(马来语:Amiruddin bin Hamzah),2002年起担任马来西亚吉打州立法议会安南武吉议员,现希望联盟土著团结党籍议员,曾是吉打伊斯兰党籍行政议员,前任马来西亚财政部副部长
  • 心魔心魔可能指:
  • 乔治·安太尔乔治·安太尔(英语:George Antheil,1900年7月8日-1959年2月12日),出生于美国,德国移民后裔,是美国 前卫派作曲家、钢琴家、作家和发明家。展布频谱(Spread Spectrum)技术的共同发明人,
  • 髭(英语:mustache, /ˈmʌstæʃ/),又称八字胡、二撇鸡,是一种胡须的款式,因其造型向外两撇向上唇生长而得名。