Microsoft Singularity 2013 12 2 9921205 9980110 2

Microsoft Singularity 2013. 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 Project Galen Hunt James Larus 9921205 陳善淳 / 9980110 林曉含 microsoft

6 dependability Deemphasized performance “Good enough” performance was goal 9921205 陳善淳 / 9980110 林曉含

7 Software-Isolated Processes (SIPs) manifest-based programs contract-based channels 9921205 陳善淳 / 9980110 林曉含

8 Software-Isolated Processes (SIPs) Type-safe language 保證系統運作之間的高度獨立性 process在獨立的SIP內執行 NO shared memory 增強系統的穩定性 microsoft 9921205 陳善淳 / 9980110 林曉含

9 Sealed Processes 9921205 陳善淳 / 9980110 林曉含 microsoft

10 Software-Isolated Processes (SIPs) microsoft exchange heap Bidirectional channels 9921205 陳善淳 / 9980110 林曉含

11 contract-based channels 9921205 陳善淳 / 9980110 林曉含 microsoft

13 microsoft 9921205 陳善淳 / 9980110 林曉含

14 Type-safe Language In computer science, type safety is the extent to which a programming language discourages or prevents type errors. stackoverflow 9921205 陳善淳 / 9980110 林曉含

15 Type-safe Language stackoverflow 9921205 陳善淳 / 9980110 林曉含

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 林曉含