É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.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00352697
Contributor : Floréal Morandat <>
Submitted on : Tuesday, January 13, 2009 - 3:19:36 PM
Last modification on : Wednesday, August 14, 2019 - 3:10:21 PM

Identifiers

  • 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. LMO: Langages et Modèles à Objets, Mar 2009, Nancy, France. pp.17-32. ⟨lirmm-00352697⟩

Share

Metrics

Record views

148