1 / 18

Microsoft Singularity

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?.

connie
Download Presentation

Microsoft Singularity

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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? • experimentaloperating system • Microsoft Research (MSR) 微軟研究院 • highly-dependable • Kernel、device drivers以及 applications 都以managed code 寫成 • 不以性能為目標，而是以系統穩定性作為首要標準 9921205 陳善淳 / 9980110 林曉含

  4. Singularity Project James 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 林曉含

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

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

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

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

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

  12. manifest-based programs • 說明化程式 • 撰寫程式方面 • 系統裡的程式 • 安裝軟體 9921205 陳善淳 / 9980110 林曉含

  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 StackGalen C. Hunt and James R. Larus, April 2007 9921205 陳善淳 / 9980110 林曉含

More Related