Efficient Compilation of .NET Programs for Embedded Systems

Olivier Sallenave 1 Roland Ducournau 2
1 LIRMM/DOC - Données Objets Composants pour les systèmes complexes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Compiling under the closed-world assumption (CWA) has been shown to be an appropriate way for implementing object-oriented languages such as Java on low-end embedded systems. In this paper, we explore the implications of using whole program optimizations such as Rapid Type Analysis (RTA) and coloring on programs targeting the .NET infrastructure. We extended RTA so that it takes into account .Net specific features such as (i) array covariance, a language feature also supported in Java, (ii) generics, whose specifications in .NET impacts type analysis and (iii) delegates, which encapsulate methods within objects. We also use an intraprocedural control flow analysis in addition to RTA . We evaluated the optimizations that we implemented on programs written in C#. Preliminary results show a noticeable reduction of the code size, class hierarchy and polymorphism of the programs we optimize. Array covariance is safe in almost all cases, and some delegate calls can be implemented as direct calls.
Type de document :
Article dans une revue
The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), pp.28. 〈10.5381/jot.2012.11.3.a5〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00661460
Contributeur : Olivier Sallenave <>
Soumis le : jeudi 19 janvier 2012 - 16:16:11
Dernière modification le : jeudi 11 janvier 2018 - 06:27:10

Lien texte intégral

Identifiants

Collections

Citation

Olivier Sallenave, Roland Ducournau. Efficient Compilation of .NET Programs for Embedded Systems. The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), pp.28. 〈10.5381/jot.2012.11.3.a5〉. 〈lirmm-00661460〉

Partager

Métriques

Consultations de la notice

109