Skip to main content
Article
A Toolkit for Specializing Production Operating System Code
Computer Science Faculty Publications and Presentations
  • Crispin Cowan, Oregon Graduate Institute of Science & Technology
  • Dylan McNamee, Oregon Graduate Institute of Science & Technology
  • Andrew P. Black, Oregon Graduate Institute of Science & Technology
  • Calton Pu, Oregon Graduate Institute of Science & Technology
  • Jonathan Walpole, Oregon Graduate Institute of Science & Technology
  • Charles Krasic, Oregon Graduate Institute of Science & Technology
  • Perry Wagle, Oregon Graduate Institute of Science & Technology
  • Qian Zhang, Oregon Graduate Institute of Science & Technology
Document Type
Technical Report
Publication Date
6-1-1997
Subjects
  • Computer architecture,
  • Operating systems (Computers) -- Evaluation,
  • Operating systems (Computers) -- Design and construction
Abstract

Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because the current techniques, based on manual specialization, are time-consuming and error-prone. This paper describes a specialization toolkit that should help broaden the applicability of specializing operating systems by assisting in the automatic generation of specialized code, and {\em guarding} the specialized code to ensure the specialized system continues to be correct. We demonstrate the effectiveness of the toolkit by describing experiences we have had applying it in real, production environments. We report on our experiences with applying the tools to three disparate portions of operating systems: signal delivery, memory allocation and RPC. We describe how we used the toolkit to specialize these components, and present the resulting performance improvements. We conclude that a toolkit-based approach to specialization can work, and is an effective operating system optimization technique.

Description

Oregon Graduate Institute of Science and Technology Department of Computer Science & Engineering Technical Report CSE-97-004 97-004.

Persistent Identifier
http://archives.pdx.edu/ds/psu/10646
Citation Information
Cowan, Crispin, Dylan McNamee, Andrew Black, Calton Pu, Jonathan Walpole, Charles Krasic, and Qian Zhang. A toolkit for specializing production operating system code. Technical Report CSE-97-004, Dept. of Computer Science and Engineering, Oregon Graduate Institute, 1997.