More Web Proxy on the site http://driver.im/

Article

Free access

Optimistic incremental specialization: streamlining a commercial operating system

Authors:

K. ZhangAuthors Info & Claims

SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles

Pages 314 - 321

https://doi.org/10.1145/224056.224080

Published: 03 December 1995 Publication History

First page of PDF

References

[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. A CM Transactions on Computer Systems, 10(1):53-79, February 1992.]]

Digital Library

[3]

Arindam Banerji and David L. Cohn. An Infrastructure for Application-Specific Customization. In Proceedings of the ACM European SIGOPS Workshop, September 1994.]]

Digital Library

[4]

Brian N. Bershad, Stefan Savage, Przemystaw Pardyak, Emin G/in 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.]]

Digital Library

[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 M~cro-Kernels and Other Kernel Architectures, pages 11-30, Seattle, April 1992.]]

Digital Library

[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 A CM, 31(3):314-333, March 1988.]]

Digital Library

[10]

David R. Cheriton and Kenneth J. Duda. A Caching Model of Operating System Kernel Functionality. In Symposium on Operating Systems Design and Implementation (OSD{), pages 179-193, November 1994.]]

Digital Library

[11]

David R. Cheriton, M. A. Malcolm, L. S. Melen, and G. R. Sager. Thoth, A Portable Real-Time Operating System. Communications of the A CM, 22(2):105-115, February 1979.]]

Digital Library

[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 A CM Symposium on Principles of Programming Languages, pages 493-501, 1993.]]

Digital Library

[14]

C. Consel and F. No/51. 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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[19]

Kieran Harry and David R. Cheriton. Applicationcontrolled 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.]]

Digital Library

[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.]]

Digital Library

[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://ww~.xerox.com/PAltC/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.]]

Digital Library

[24]

Samuel J. Leffier, Marshall Kirk McKusick, Michael J. Karels, and John S. Quarterman. j.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 Princ,ples, pages 191- 201, Arizona, December 1989.]]

Digital Library

[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. Mullender, 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.]]

Digital Library

[28]

C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. Computing Systems, 1(1):11-32, Winter 1988.]]

[29]

M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. GuiUemont, 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.]]

Digital Library

[30]

P. Sestoft and A. V. Zamulin. Annotated bibliography on partial evaluation and mixed computation. In D. Bj0rner, 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.]]

Digital Library

Cited By

Ott MRaffeck PSieh VSchröder-Preikschat W(2023)Towards Just-In-Time Compiling of Operating SystemsProceedings of the 12th Workshop on Programming Languages and Operating Systems10.1145/3623759.3624551(41-48)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1145/3623759.3624551
Doddamani SSinha PLu HCheng TBagdi HGopalan KSartor JNaik MRossbach C(2019)Fast and live hypervisor replacementProceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3313808.3313821(45-58)Online publication date: 14-Apr-2019
https://dl.acm.org/doi/10.1145/3313808.3313821
Huang JAllen-Bond MZhang X(2017)PallasACM SIGARCH Computer Architecture News10.1145/3093337.303774345:1(709-722)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093337.3037743
Show More Cited By

Index Terms

Optimistic incremental specialization: streamlining a commercial operating system
1. General and reference
  1. Cross-computing tools and techniques
    1. Performance
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
  2. Software organization and properties
    1. Extra-functional properties
      1. Software performance

Recommendations

Optimistic incremental specialization: streamlining a commercial operating system
Dream and Reality: Incremental Specialization in a CommercialOperating System
Functional specialization in distributed operating systems
EW 3: Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?

A distributed operating system provides the same functionality and interface as a monolithic operating system. That is, for both systems the goal is to make the computing and storage facilities as provided by the hardware available to the users of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles

December 1995

332 pages

ISBN:0897917154

DOI:10.1145/224056

Editor:
Michael B. Jones

ACM SIGOPS Operating Systems Review Volume 29, Issue 5
Dec. 3, 1995
324 pages
ISSN:0163-5980
DOI:10.1145/224057
Editor:
Michael B. Jones
Issue’s Table of Contents

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOSP95

Sponsor:

SIGOPS

SOSP95: 15th ACM Symposium on Operating Systems Principles

December 3 - 6, 1995

Colorado, Copper Mountain, USA

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

142
Total Citations
View Citations
867
Total Downloads

Downloads (Last 12 months)122
Downloads (Last 6 weeks)31

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ott MRaffeck PSieh VSchröder-Preikschat W(2023)Towards Just-In-Time Compiling of Operating SystemsProceedings of the 12th Workshop on Programming Languages and Operating Systems10.1145/3623759.3624551(41-48)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1145/3623759.3624551
Doddamani SSinha PLu HCheng TBagdi HGopalan KSartor JNaik MRossbach C(2019)Fast and live hypervisor replacementProceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3313808.3313821(45-58)Online publication date: 14-Apr-2019
https://dl.acm.org/doi/10.1145/3313808.3313821
Huang JAllen-Bond MZhang X(2017)PallasACM SIGARCH Computer Architecture News10.1145/3093337.303774345:1(709-722)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093337.3037743
Huang JAllen-Bond MZhang X(2017)PallasACM SIGPLAN Notices10.1145/3093336.303774352:4(709-722)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3093336.3037743
Huang JAllen-Bond MZhang X(2017)PallasACM SIGOPS Operating Systems Review10.1145/3093315.303774351:2(709-722)Online publication date: 4-Apr-2017
https://doi.org/10.1145/3093315.3037743
Huang JAllen-Bond MZhang XChen YTemam OCarter J(2017)PallasProceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3037697.3037743(709-722)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3037697.3037743
Lu LZhang YDo TAl-Kiswany SArpaci-Dusseau AArpaci-Dusseau RFlinn JLevy H(2014)Physical disentanglement in a container-based file systemProceedings of the 11th USENIX conference on Operating Systems Design and Implementation10.5555/2685048.2685056(81-96)Online publication date: 6-Oct-2014
https://dl.acm.org/doi/10.5555/2685048.2685056
Marlet R(2013)BibliographyProgram Specialization10.1002/9781118576984.biblio(487-522)Online publication date: 5-Feb-2013
https://doi.org/10.1002/9781118576984.biblio
Zhang RDebray SSnodgrass REidt CHoller ASrinivasan UAmarasinghe S(2012)Micro-specializationProceedings of the Tenth International Symposium on Code Generation and Optimization10.1145/2259016.2259025(63-73)Online publication date: 31-Mar-2012
https://dl.acm.org/doi/10.1145/2259016.2259025
de Bruijn WBos HBal H(2011)Application-Tailored I/O with StreamlineACM Transactions on Computer Systems10.1145/1963559.196356229:2(1-33)Online publication date: 1-May-2011
https://dl.acm.org/doi/10.1145/1963559.1963562
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents