Évaluation de l'efficacité des implémentations de l'héritage multiple en typage statique

Résumé : La programmation par objets présente une apparente incompatibilité entre trois termes : l'héritage multiple, l'efficacité et l'hypothèse du monde ouvert --- en particulier, le chargement dynamique. Cet article présente des résultats d'expérimentations exhaustives comparant l'efficacité de différentes techniques d'implémentation (coloration, BTD, hachage parfait, ...) dans le contexte de différents schémas de compilation (de la compilation séparée avec chargement dynamique à la compilation purement globale). Les tests sont effectués avec et sur le compilateur du langage Prm. Ils confirment pour l'essentiel les résultats théoriques antérieurs tout en montrant une sur-additivité marquée des surcoûts. Les schémas d'optimisation globale démontrent un gain significatif par rapport à la coloration qui fait fonction de référence. Des techniques comme la simulation des accesseurs ou le hachage parfait entraînent un surcoût limité, mais la combinaison des deux double le surcoût total.
Type de document :
Communication dans un congrès
RNTI. LMO: Langages et Modèles à Objets, Mar 2009, Nancy, France. 15ème Conférence Francophone sur les Langages et Modèles à Objets, pp.17-32, 2009, 〈http://cal-idm-lmo-2009.loria.fr/LMO/lmo.html〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00352697
Contributeur : Floréal Morandat <>
Soumis le : mardi 13 janvier 2009 - 15:19:36
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

  • HAL Id : lirmm-00352697, version 1

Collections

Citation

Floréal Morandat, Roland Ducournau, Jean Privat. Évaluation de l'efficacité des implémentations de l'héritage multiple en typage statique. RNTI. LMO: Langages et Modèles à Objets, Mar 2009, Nancy, France. 15ème Conférence Francophone sur les Langages et Modèles à Objets, pp.17-32, 2009, 〈http://cal-idm-lmo-2009.loria.fr/LMO/lmo.html〉. 〈lirmm-00352697〉

Partager

Métriques

Consultations de la notice

116