Specialization Classes: An Object Framework for Specialization,
Abstract
This paper presents an object-oriented framework for specifying specializations in long-running pro- grams 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 06, 1996
- Accession Number
- ADA316782
Entities
People
- Andrew N Black
- Charles Consel
- Charles Krasic
- Crispin Cowan
- Eugen-nicolae Volanschi