Specialization Classes: An Object Framework for Specialization

摘要

This paper presents an object-oriented framework for specifying specializationsin long-running programs such as operating systems. This model is based on the following concepts: (1) Inheritance allows replacement implementations of member functions. We thus use a graph of sub-classes to specify a set of potential specializations of a given facility by replacing generic implementations with specialized implementations. (2) Specializations in long-running programs are temporary, because the particular circumstances that permit the use of a specialized implementation are likely to change eventually. We thus support temporary and even optimistic specializations. (3) Ensuring that it is valid to use a specialized implementation can be more difficult than creating the specialized implementation. We thus use a formal method to specify when a specialization is valid. This lets us automatically detect when specialization circumstances have changed 8, and also automatically generate specialized implementations using partial evaluation.