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.
Pu, Calton and Walpole, Jonathan, "A Study of Dynamic Optimization Techniques: Lessons and Directions in Kernel Design" (1993). Computer Science Faculty Publications and Presentations. 78.