Sponsor
This research is partially supported by DARPA grant N00014-94-1-0845 and DARPA contract F19628-95-C-0193, NSF grant CCR-9224375, and grants from the Hewlett-Packard Company and Tektronix.
Document Type
Technical Report
Publication Date
6-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.
Persistent Identifier
http://archives.pdx.edu/ds/psu/10646
Citation Details
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.
Description
Oregon Graduate Institute of Science and Technology Department of Computer Science & Engineering Technical Report CSE-97-004 97-004.