Microsoft Singularity
18
Microsoft Singularity 2013.12. 2 9921205 陳陳陳 9980110 陳陳陳
description
Microsoft Singularity. 2013.12. 2 9921205 陳善淳 9980110 林曉含. Outline. Singularity Project Software-Isolated Processes (SIPs ) contract-based channels manifest-based programs Type-safe language Singularity Research Development Kit (RDK ) Future. What Is Singularity?. - PowerPoint PPT Presentation
Transcript of Microsoft Singularity
Microsoft Singularity2013.12. 2
9921205 陳善淳9980110 林曉含
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 林曉含
3 What Is Singularity?
experimental operating system Microsoft Research (MSR) 微軟研究院 highly-dependable Kernel 、 device drivers 以及 applications 都以
managed code 寫成 不以性能為目標，而是以系統穩定性作為首要標準
9921205 陳善淳 / 9980110 林曉含
4 Singularity ProjectJames Larus
Galen Hunt
9921205 陳善淳 / 9980110 林曉含microsoft
5 Singularity Project
Simple, 最低系統需求 NO complete function 供研究環境使用 可靠及穩定性具體化的設計標準 用來展示新技術及架構的實作 車用系統
9921205 陳善淳 / 9980110 林曉含
6 dependability
Deemphasized performance “Good enough” performance was goal
9921205 陳善淳 / 9980110 林曉含
7Software-Isolated Processes (SIPs)manifest-based programscontract-based channels
9921205 陳善淳 / 9980110 林曉含
8 Software-Isolated Processes (SIPs)
Type-safe language 保證系統運作之間的高度獨立性 process 在獨立的 SIP 內執行 NO shared memory
增強系統的穩定性9921205 陳善淳 / 9980110 林曉含microsoft
9 Sealed Processes
9921205 陳善淳 / 9980110 林曉含 microsoft
10 Software-Isolated Processes (SIPs)
exchange heap Bidirectional channels
9921205 陳善淳 / 9980110 林曉含
microsoft
11 contract-based channels
9921205 陳善淳 / 9980110 林曉含 microsoft
12 manifest-based programs
說明化程式 撰寫程式方面 系統裡的程式 安裝軟體
9921205 陳善淳 / 9980110 林曉含
13
9921205 陳善淳 / 9980110 林曉含microsoft
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
15 Type-safe Language
9921205 陳善淳 / 9980110 林曉含
stackoverflow
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 林曉含
17
Future Midori?
9921205 陳善淳 / 9980110 林曉含
18 Reference
Microsoft Type-safe – stackoverflow Singularity: Rethinking the Software Stack
Galen C. Hunt and James R. Larus, April 2007
9921205 陳善淳 / 9980110 林曉含
