CS533 Concepts of Operating Systems Class 16 Exokernel & Specialization

CS533 - Concepts of Operating Systems 2 Questions  What is the difference between virtualization and secure multiplexing? o What do Exokernel and Disco have in common? o What do Exokernel and Xen have in common? o Do Xen or Disco do secure multiplexing? o Does Exokernel create virtual machines?  What does specialization have to do with extensibility? o Why do people want extensible kernels? o Is the interface or the implementation the problem? o What does specialization do?

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

CS533 - Concepts of Operating Systems 4 Reminder  For information on hand-coded specialization see: "Optimistic Incremental Specialization: Streamlining a Commercial Operating System", "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.15th ACM Symposium on Operating Systems Principles (SOSP'95)  Send me a draft of your slides early