Efficient Compilation of .NET Programs for Embedded Systems

Abstract : The overhead associated with object-oriented languages has been the major drawback in their adoption by the embedded world. In this paper, we propose a compilation approach based on the closed-world assumption (CWA) that should enable OO technologies such as .NET on small embedded systems. Our implementation is based on a type analysis algorithm, which extends RTA so that it eliminates some subtype tests due to array covariance, and coloring, which maintain single subtyping invariants under the CWA. The impact of our global optimizations has been evaluated on embedded applications written in C#. Preliminary results show a noticeable reduction of the code size, class hierarchy and object mechanisms such as virtual calls and subtype tests.
Type de document :
Communication dans un congrès
ECOOP'10: Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'10), Jun 2010, Maribor, Slovenia. ACM, pp.3:1-3:8, 2010, 〈http://ecoop2010.uni-mb.si/ws_program.html#ws_6〉. 〈10.1145/1925801.1925804〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00490989
Contributeur : Olivier Sallenave <>
Soumis le : jeudi 10 juin 2010 - 11:31:02
Dernière modification le : jeudi 11 janvier 2018 - 06:26:11

Identifiants

Collections

Citation

Olivier Sallenave, Roland Ducournau. Efficient Compilation of .NET Programs for Embedded Systems. ECOOP'10: Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'10), Jun 2010, Maribor, Slovenia. ACM, pp.3:1-3:8, 2010, 〈http://ecoop2010.uni-mb.si/ws_program.html#ws_6〉. 〈10.1145/1925801.1925804〉. 〈lirmm-00490989〉

Partager

Métriques

Consultations de la notice

54