fbpx
维基百科

Singularity

Singularity,一種實驗性操作系统,在2003年至2010年間由微软研究院設計、發展出來。该操作系统的核心驅動程式以及应用程序都以「受控代碼」写成。系统“Singularity”在设计上完全改头换面,不再以其性能為標準,而以系統稳定性作为首要标准。[來源請求]

Singularity Project
Singularity after boot-up.
開發者Microsoft
当前版本
  • 2.0 (14 ноября 2008 г.)
许可协议Microsoft Research License
网站Microsoft Research Singularity Project

Singularity操作系统會在系统构建、編寫程式等应用微软最先进的技术,例如Singularity的核心技术之一:软件独立进程(Software Isolated Processes,SIP)将采用型別安全的编程语言以及精简的指令完成,保证系统運作之间的高度独立性。SIP保证每个程序、驅動程式以及系统扩展组件都在獨立的SIP内运行,並不允许互相共享内存或修改自身代码,能夠使系统的稳定性增強。

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

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

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

设计 编辑

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

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

版本歷史 编辑

  • 2007年:Singularity 1.0
  • 2007年3月:Singularity 1.1
  • 2008年12月14日:Singularity 2.0

参见 编辑

  • Sing♯
  • Spec♯

外部链接 编辑

  1. ^ Bartok(页面存档备份,存于互联网档案馆

singularity, 此條目或章節包含计划中或預期會发布的未来软件, 未有可靠来源的臆測內容可能會被移除, 随着软件发布日期临近或者更多相關可靠消息发布, 文章内容可能大幅变动, 關於大爆炸宇宙論的時空起點以及黑洞中心點, 請參見奇點, 一種實驗性操作系统, 在2003年至2010年間由微软研究院設計, 發展出來, 该操作系统的核心, 驅動程式以及应用程序都以, 受控代碼, 写成, 系统, 在设计上完全改头换面, 不再以其性能為標準, 而以系統稳定性作为首要标准, 來源請求, project, after, b. 此條目或章節包含计划中或預期會发布的未来软件 未有可靠来源的臆測內容可能會被移除 随着软件发布日期临近或者更多相關可靠消息发布 文章内容可能大幅变动 關於大爆炸宇宙論的時空起點Singularity以及黑洞中心點Singularity 請參見奇點 Singularity 一種實驗性操作系统 在2003年至2010年間由微软研究院設計 發展出來 该操作系统的核心 驅動程式以及应用程序都以 受控代碼 写成 系统 Singularity 在设计上完全改头换面 不再以其性能為標準 而以系統稳定性作为首要标准 來源請求 Singularity ProjectSingularity after boot up 開發者Microsoft当前版本2 0 14 noyabrya 2008 g 许可协议Microsoft Research License网站Microsoft Research Singularity ProjectSingularity操作系统會在系统构建 編寫程式等应用微软最先进的技术 例如Singularity的核心技术之一 软件独立进程 Software Isolated Processes SIP 将采用型別安全的编程语言以及精简的指令完成 保证系统運作之间的高度独立性 SIP保证每个程序 驅動程式以及系统扩展组件都在獨立的SIP内运行 並不允许互相共享内存或修改自身代码 能夠使系统的稳定性增強 微软将會在近期公布更多Singularity的详细技术资料 Singularity的低级x86中断以汇编语言和C语言写成 一旦这些代码完成工作 它将调用核心 核心的运行时代码和垃圾收集器用C 语言写成并在非安全模式下运行 Singularity的硬件抽象层用C 语言写成并运行在安全模式下 并且也有部分C代码负责调试工作 计算机的BIOS只在16位元真實模式自举 英语 Bootstrapping 阶段被调用 一旦系统进入32位元模式 Singularity将永远不再调用BIOS 而改以调用以Sing 写出的设备驱动代码 当安装时 通用中間語言形态的opcode 英语 opcode 将藉由Bartok 1 编译为x86形态的opcode Bartok是一种以C 写成的早期优化编译器 源代码和 或磁盘镜像将在工程完成时可用 目录 1 设计 2 版本歷史 3 参见 4 外部链接设计 编辑Singularity是一个微内核操作系统 无论如何 不似过去的微内核 Singularity的不同组件不在单独的地址空间 进程 内运行 而是每個软件独立进程 SIP 分配到一个独立的单一地址空间 这些SIP的行为类似普通进程 但SIP将不会在任务调度时请求开销惩罚 overhead penalty 系统的保护由不变式 invariants 集提供 比如内存不变式将维护内存内两个SIP间没有交互參照 或循环的内存指针 这项规则将在应用程序安装阶段进行检查 并且不得违反 否则Singularity将禁止安装 注意 Singularity系统中安装完全由操作系统管理 大部分不变式依赖于带有安全机制语言的使用 如Java语言或C 这些语言拥有垃圾收集机制 没有专断指针并且代码可以辑由某种计算机安全策略得以验证 版本歷史 编辑2007年 Singularity 1 0 2007年3月 Singularity 1 1 2008年12月14日 Singularity 2 0参见 编辑Sing Spec 外部链接 编辑官方主页 页面存档备份 存于互联网档案馆 Singularity Design Motivation pdf 永久失效連結 Detailed overview of the Singularity project pdf 永久失效連結 Channel9 thread with interview of Jim Larus and Galen Hunt 页面存档备份 存于互联网档案馆 The JX Operating System pdf 页面存档备份 存于互联网档案馆 another operating system similar in concept Bartok 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title Singularity amp oldid 75149479, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。