Toward type-oriented dynamic vertical migration

Abstract

The study of structured programming has shown that through data abstraction, program reliability and maintainability can be improved. At the same time, vertical migration has been shown to be an effective way to improve the performance of programs. Contemporary techniques, however, tend to address the needs of only certain classes of programs and therefore may overlook or even preclude certain optimization opportunities. Dynamic microprogramming can overcome the problem of applicability of a particular vertical migration by allowing the migration to be tailored for each particular application. This paper describes a project which is exploring the interactions of these three concepts of dynamic microprogramming, vertical migration, and data abstraction and how they can be integrated to form a coherent facility which provides automated redefinition of computer architecture for each application model.