Efficient compilation strategy for object‐oriented languages under the closed‐world assumption - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software: Practice and Experience Année : 2012

Efficient compilation strategy for object‐oriented languages under the closed‐world assumption

Résumé

SUMMARY Reaching the best level of runtime performance from a high‐level, object‐oriented language is often considered challenging if not unattainable. The closed‐world assumption involves considering all of the source code of an application together at compile time. That assumption makes it possible to produce an efficient code. For instance, multiple inheritance can be implemented as efficiently as single inheritance. Our compilation strategy is the result of a prolonged project, tying together several compilation techniques: call graph analysis, dead code elimination, type flow analysis, code customization, implementation of dynamic dispatch, inlining, pointer optimization, switch optimization, objects layout, and so on. Merging all of these techniques into a global strategy appears to be quite problematic. Throughout the paper, two real‐world compilers are used as benchmarks to provide measurements for compiler writers to evaluate the applicability of our approach. Type flow analysis is a fundamental aspect of our strategy to resolve method calls. We have extended type flow analysis to deal with the content of arrays, enabling us to process additional expressions and thus making it possible to obtain a true global analysis. Typically, more than 90% of method call sites are statically resolved. Our experience indicates that the closed‐world assumption is suitable for numerous applications. Surprisingly, even library‐defined control statements from dynamic languages are perfectly processed with our strategy. The Smalltalk ifTrue:ifFalse: , whileTrue: , to:do: , and so on are, for the very first time, perfectly translated. Copyright © 2012 John Wiley & Sons, Ltd.
Fichier principal
Vignette du fichier
lisaac.pdf (417.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04236571 , version 1 (11-10-2023)

Identifiants

Citer

Benoît Sonntag, Dominique Colnet. Efficient compilation strategy for object‐oriented languages under the closed‐world assumption. Software: Practice and Experience, 2012, 44 (5), pp.565-592. ⟨10.1002/spe.2174⟩. ⟨hal-04236571⟩
14 Consultations
37 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More