Microsoft Singularity
description
Transcript of Microsoft Singularity
![Page 1: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/1.jpg)
Microsoft Singularity2013.12. 2
9921205 陳善淳9980110 林曉含
![Page 2: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/2.jpg)
2 Outline
Singularity Project Software-Isolated Processes (SIPs) contract-based channels manifest-based programs Type-safe language Singularity Research Development Kit (RDK) Future
9921205 陳善淳 / 9980110 林曉含
![Page 3: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/3.jpg)
3 What Is Singularity?
experimental operating system Microsoft Research (MSR) 微軟研究院 highly-dependable Kernel 、 device drivers 以及 applications 都以
managed code 寫成 不以性能為目標,而是以系統穩定性作為首要標準
9921205 陳善淳 / 9980110 林曉含
![Page 4: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/4.jpg)
4 Singularity ProjectJames Larus
Galen Hunt
9921205 陳善淳 / 9980110 林曉含microsoft
![Page 5: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/5.jpg)
5 Singularity Project
Simple, 最低系統需求 NO complete function 供研究環境使用 可靠及穩定性具體化的設計標準 用來展示新技術及架構的實作 車用系統
9921205 陳善淳 / 9980110 林曉含
![Page 6: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/6.jpg)
6 dependability
Deemphasized performance “Good enough” performance was goal
9921205 陳善淳 / 9980110 林曉含
![Page 7: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/7.jpg)
7Software-Isolated Processes (SIPs)manifest-based programscontract-based channels
9921205 陳善淳 / 9980110 林曉含
![Page 8: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/8.jpg)
8 Software-Isolated Processes (SIPs)
Type-safe language 保證系統運作之間的高度獨立性 process 在獨立的 SIP 內執行 NO shared memory
增強系統的穩定性9921205 陳善淳 / 9980110 林曉含microsoft
![Page 9: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/9.jpg)
9 Sealed Processes
9921205 陳善淳 / 9980110 林曉含 microsoft
![Page 10: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/10.jpg)
10 Software-Isolated Processes (SIPs)
exchange heap Bidirectional channels
9921205 陳善淳 / 9980110 林曉含
microsoft
![Page 11: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/11.jpg)
11 contract-based channels
9921205 陳善淳 / 9980110 林曉含 microsoft
![Page 12: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/12.jpg)
12 manifest-based programs
說明化程式 撰寫程式方面 系統裡的程式 安裝軟體
9921205 陳善淳 / 9980110 林曉含
![Page 13: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/13.jpg)
13
9921205 陳善淳 / 9980110 林曉含microsoft
![Page 14: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/14.jpg)
14 Type-safe Language
In computer science, type safety is the extent to which a programming language discourages or prevents type errors.
9921205 陳善淳 / 9980110 林曉含
stackoverflow
![Page 15: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/15.jpg)
15 Type-safe Language
9921205 陳善淳 / 9980110 林曉含
stackoverflow
![Page 16: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/16.jpg)
16 Singularity Research Development Kit (RDK) source code, build tools, test suites, design notes, and other background
materials for academic non-commercial use and is governed by this license
9921205 陳善淳 / 9980110 林曉含
![Page 17: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/17.jpg)
17
Future Midori?
9921205 陳善淳 / 9980110 林曉含
![Page 18: Microsoft Singularity](https://reader035.fdocument.pub/reader035/viewer/2022081505/56816109550346895dd054e9/html5/thumbnails/18.jpg)
18 Reference
Microsoft Type-safe – stackoverflow Singularity: Rethinking the Software Stack
Galen C. Hunt and James R. Larus, April 2007
9921205 陳善淳 / 9980110 林曉含