Mapping Software Architectures to Efficient Implementations via Partial Evaluation

Abstract : Flexibility is recognized as a key feature in structuring software, and many architectures have been designed to that effect. However, they often come with performance and code size overhead, resulting in a flexibility vs efficiency dilemma. The source of inefficiency in software architectures can be identified in the data and control integration of components, because flexibility is present not only at the design level but also in the implementation. We propose the use of program specialization in software engineering as a systematic way to improve performance and, in some cases, to reduce program size. In particular, we advocate the use of partial evaluation, which is an automatic technique to produce efficient, specialized instances of generic programs. We study several representative, flexible mechanisms found in software architectures: selective broadcast, pattern matching, interpreters, software layers, and generic libraries. We show how partial evaluation can systematically be applied in order to optimize those mechanisms.
Type de document :
[Research Report] RR-3217, INRIA. 1997
Liste complète des métadonnées

Littérature citée [40 références]  Voir  Masquer  Télécharger
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:56:36
Dernière modification le : mardi 26 février 2019 - 10:14:09
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:47:40



  • HAL Id : inria-00073472, version 1



Renaud Marlet, Scott Thibault, Charles Consel. Mapping Software Architectures to Efficient Implementations via Partial Evaluation. [Research Report] RR-3217, INRIA. 1997. 〈inria-00073472〉



Consultations de la notice


Téléchargements de fichiers