Document Type

Technical Report

Publication Date



Computer architecture, Operating systems (Computers) -- Evaluation, Operating systems (Computers) -- Design and construction


The Synthesis kernel [21,22,23,27,28] showed that dynamic code generation, software feedback, and fine-grain modular kernel organization are useful implementation techniques for improving the performance of operating system kernels. In addition, and perhaps more importantly, we discovered that there are strong interactions between the techniques. Hence, a careful and systematic combination of the techniques can be very powerful even though each one by itself may have serious limitations. By identifying these interactions we illustrate the problems of applying each technique in isolation to existing kernels. We also highlight the important common under-pinnings of the Synthesis experience and present our ideas on future operating system design and implementation. Finally, we outline a more uniform approach to dynamic optimizations called incremental partial evaluation.


Oregon Graduate Institute of Science and Technology Department of Computer Science & Engineering Technical Report OGI-CSE-93-007.

Persistent Identifier