Efficient Compilation of .NET Programs for Embedded Systems - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2010

Efficient Compilation of .NET Programs for Embedded Systems

Résumé

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.
Fichier principal
Vignette du fichier
article5.pdf (1.25 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-00490989 , version 1 (25-04-2023)

Identifiants

Citer

Olivier Sallenave, Roland Ducournau. Efficient Compilation of .NET Programs for Embedded Systems. ECOOP 2010 - Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems @ICOOOLPS'10, Jun 2010, Maribor, Slovenia. pp.3:1-3:8, ⟨10.1145/1925801.1925804⟩. ⟨lirmm-00490989⟩
89 Consultations
29 Téléchargements

Altmetric

Partager

More