1 / 7

CS533 Concepts of Operating Systems Class 16

CS533 Concepts of Operating Systems Class 16. Exokernel & Specialization. Questions. What is the difference between virtualization and secure multiplexing? What do Exokernel and Disco have in common? What do Exokernel and Xen have in common? Do Xen or Disco do secure multiplexing?

kellie-travis
Download Presentation

CS533 Concepts of Operating Systems Class 16

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. CS533 Concepts of Operating SystemsClass 16 Exokernel & Specialization

  2. Questions • What is the difference between virtualization and secure multiplexing? • What do Exokernel and Disco have in common? • What do Exokernel and Xen have in common? • Do Xen or Disco do secure multiplexing? • Does Exokernel create virtual machines? • Is Exokernel a micro-kernel? • What abstractions does it support? CS533 - Concepts of Operating Systems

  3. Questions • What is a "process" in the Exokernel? • Does the Exokernel "paravirtualize" privileged instructions? • How are address translations and physical memory managed in the Exokernel? • How does Exokernel’s visible revocation relate to scheduler activations? • How does it differ from Xen and Disco in this respect? • How does PCT relate to LRPC? • What is the difference between synchronous and asynchronous PCT? CS533 - Concepts of Operating Systems

  4. Questions • How does Exokernel use hardware support to improve performance? • How are "software caches" used to improve performance? • How is "downloaded code" used to improve performance? • How does this relate to Sandboxing? • How does this relate to SPIN? • How does this relate to Specialization? • What do hardware support, software caches and downloaded code have in common? CS533 - Concepts of Operating Systems

  5. Questions • What does specialization have to do with extensibility? • Why do people want extensible kernels? • Is the interface or the implementation the problem? • What does specialization do? CS533 - Concepts of Operating Systems

  6. Questions • What impact do conventional forms of extensibility have on software engineering concerns? • What impact does specialization have on software engineering concerns? • What if its tool-assisted? • What if its fully automated? CS533 - Concepts of Operating Systems

  7. Reminder • For information on hand-coded specialization see: "Optimistic Incremental Specialization: Streamlining a Commercial Operating System", Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, and Ke Zhang, In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95), December 3-6, 1995, Copper Mountain, Colorado. http://www.cs.pdx.edu/~walpole/papers/sosp1995.pdf • Send me a draft of your slides early CS533 - Concepts of Operating Systems

More Related