Optimistic incremental specialization: Streamlining a commercial operating system

Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995

Volumn , Issue , 1995, Pages 314-324

  Pu, Calton ^a   Autrey, Tito ^a   Black, Andrew ^a   Consel, Charles ^a   Cowan, Crispin ^a,b   Inouye, Jon ^a   Kethana, Lakshmi ^a   Walpole, Jonathan ^a   Zhang, Ke ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE OPERATING SYSTEM; COMMERCIAL OPERATING SYSTEMS; FILE SYSTEMS; KERNEL DESIGN; SYSTEM CALLS; SYSTEM CODES; SYSTEM FUNCTIONALITY; SYSTEM STATE;

SEMANTICS;

EID: 84883517546     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224056.224080     Document Type: Conference Paper

References (31)

1. Thomas B. Alexander, Kenneth G. Robertson, Dean T. Lindsey, Donald L. Rogers, John R. Obermeyer, John R. Keller, Keith Y. Oka, and Marlin M. Jones II. Corporate Business Servers: An Alternative to Mainframes for Business Computing. Hewlett-Packard Journal, 45(3): 8-30, June 1994.
2. Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 10(1): 53-79, February 1992.
3. Arindam Banerji and David L. Cohn. An Infrastructure for Application-Specific Customization. In Proceedings of the ACM European SIGOPS Workshop, September 1994.
4. Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc Fiuczynski, David Becker, Susan Eggers, and Craig Chambers. Extensibility, Safety and Performance in the SPIN Operating System. In Symposium on Operating Systems Principles (SOSP), Copper Mountain, Colorado, December 1995.
5. D. L. Black, D. B. Golub, D. P. Julin, R. F. Rashid, R. P. Draves, R. W. Dean, A. Forin, J. Barrera, H. Tokuda, G. Malan, and D. Bohman. Microkernel operating system architecture and Mach. In Proceedings of the Workshop on Micro-Kernels and Other Kernel Architectures, pages 11-30, Seattle, April 1992.
6. F. J. Burkowski, C. L. A. Clarke, Crispin Cowan, and G. J. Vreugdenhil. Architectural Support for Lightweight Tasking in the Sylvan Multiprocessor System. In Symposium on Experience with Distributed and Multiprocessor Systems (SEDMS II), pages 165-184, Atlanta, Georgia, March 1991.
7. Roy H. Campbell, Nayeem Islam, and Peter Madany. Choices: Frameworks and Refinement. Computing Systems, 5(3): 217-257, 1992.
8. John B. Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeffrey Law, Lay Lepreau, Douglas B. Orr, Leigh Stoller, and Mark Swanson. FLEX: A Tool for Building Efficient and Flexible Systems. In Proceedings of the Fourth Workshop on Workstation Operating Systems, pages 198-202, Napa, CA, October 1993.
9. David R. Cheriton. The V Distributed System. Communications of the ACM, 31(3): 314-333, March 1988.
10. David R. Cheriton and Kenneth J. Duda. A Caching Model of Operating System Kernel Functionality. In Symposium on Operating Systems Design and Implementation (OSDI), pages 179-193, November 1994.
11. David R. Cheriton, M. A. Malcolm, L. S. Melen, and G. R. Sager. Thoth, A Portable Real-Time Operating System. Communications of the ACM, 22(2): 105-115, February 1979.
12. Frederick W. Clegg, Gary Shiu-Fan Ho, Steven R. Kusmer, and John R. Sontag. The HP-UX Operating System on HP Precision Architecture Computers. Hewlett-Packard Journal, 37(12): 4-22, December 1986.
13. C. Consel and O. Danvy. Tutorial notes on partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 493-501, 1993.
14. C. Consel and F. Noël. A general approach to run-time specialization and its application to C. Report 946, Inria/Irisa, Rennes, France, July 1995.
15. C. Consel, C. Pu, and J. Walpole. Incremental specialization: The key to high performance, modularity and portability in operating systems. In Proceedings of A CM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, June 1993.
16. Eric DeLano, Will Walker, and Mark Forsyth. A High Speed Superscalar PA-RISC Processor. In COMPCON 92, pages 116-121, San Francisco, CA, February 24-28 1992.
17. Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Symposium on Operating Systems Principles (SOSP), Copper Mountain, Colorado, December 1995.
18. Graham Hamilton, Michael L. Powell, and James G. Mitchell. Subcontract: A flexible base of distributed programming. In Proceedings of the Fourteenth ACM Symposium on Operating System Principles, pages 69-79, Asheville, NC, December 1993.
19. Kieran Harty and David R. Cheriton. Application-controlled physical memory using external page-cache management. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 187-197, Boston, MA, October 1992.
20. Hewlett-Packard. PA-RISC 1.1 Architecture and Instruction Set Reference Manual, second edition, September 1992.
21. Dan Hildebrand. An Architectural Overview of QNX. In Proceedings of the USENIX Workshop on Microkernels and Other Kernel Architectures, pages 113-123, Seattle, WA, April 1992.
22. Gregor Kiczales. Towards a new model of abstraction in software engineering. In Proc. of the IMSA '92 Work-' shop on Reflection and Meta-level Architectures, 1992. See http://www.xerox.com/PARC/spl/eca/oi.html for updates.
23. Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
24. Samuel J. Leffler, Marshall Kirk McKusick, Michael J. Karels, and John S. Quarterman. 4.3BSD UNIX Operating System. Addison-Wesley Publishing Company, Reading, MA, 1989.
25. H. Massalin and C. Pu. Threads and input/output in the Synthesis kernel. In Proceedings of the Twelfth Symposium on Operating Systems Principles, pages 191-201, Arizona, December 1989.
26. David Mosberger, Larry L. Peterson, and Sean O'Malley. Protocol Latency: MIPS and Reality. Report TR 95-02, Dept of Computer Science, University of Arizona, Tuscon, Arizona, April 1995.
27. S. J. Muilender, G. van Rossum, A. S. Tanenbaum, R. van Renesse, and H. van Staveren. Amoeba - A distributed Operating System for the 1990's. IEEE Computer, 23(5), May 1990.
28. C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. Computing Systems, 2(1):11-32, Winter 1988.
29. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrman, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. Overview of the Chorus distributed operating system. In Proceedings of the Workshop on Micro-Kernels and Other Kernel Architectures, pages 39-69, Seattle, April 1992.
30. P. Sestoft and A. V. Zamulin. Annotated bibliography on partial evaluation and mixed computation. In D. Björner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988.
31. Yasuhiko Yokote. The Apertos Reflective Operating System: The Concept and Its Implementation. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOP-SLA), pages 414-434, Vancouver, BC, October 1992.