This work supported in part under DARPA grant N00014-94-1-0845, DARPA contract F19628-95-C-0193, Air Force contract F19628-93-C-0069, and by the Intel corporation.
Programming languages (Electronic computers), Operating systems (Computers) -- Programming
Specialization is a technique that has the potential to provide operating system clients with the performance and functionality that they need, while still retaining the advantages of a simple generic code base for the operating system maintainer. However, at present the specialization process is labor-intensive and requires the knowledge of an expert in the domain of application behavior. In order to realize the full advantages of specialization, we believe that the process must be automated. This means building tools for specialization, and also making the domain knowledge explicit in some form or other. A specialization toolkit has been developed jointly at the Oregon Graduate Institute and IRISA, as part of the Synthetix project. This paper discusses our preliminary ideas on the use of Microlanguages to describe application behavior and to make that information available to the specialization tools.
"Microlanguages for Operating System Specialization", Calton Pu, Andrew Black, Crispin Cowan, and Jonathan Walpole, In Proceedings of the SIGPLAN POPL Workshop on Domain-Specific Languages, Paris, France, January, 1997.