Making Production Operating System Kernels Adaptive: Incremental Specializationin Practice (Synthetix Project)

摘要

We summarize the results produced by the DARPA contract 'Making ProductionOperating System kernels Adaptive: Incremental Specialization in Practice', also known as the Synthetix Project. The main objective of the project is to develop specialization technology to improve the modularity, adaptiveness, and performance of production operating system code. The main results are software toolkits that help programmers to build systems with specialized components that maintain their modularity and portability. The project is being extended by the Microlanguage and Immunix projects. We have released the Synthetix Specialization Toolkit and Software Feedback Toolkit.