Guided just-in-time specialization - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2019

Guided just-in-time specialization

Résumé

JavaScript's portability across a vast ecosystem of browsers makes it today a core building block of the web. Yet, building efficient systems in JavaScript is still challenging. Because this language is so dynamic, JavaScript programs provide little information that just-in-time compilers can use to carry out safe optimizations. Motivated by this observation, we propose to guide the JIT compiler in the task of code specialization. To this end, we have augmented the language with an annotation that indicates which function call sites are likely to benefit from specialization. To support the automatic annotation of programs, we have introduced a novel static analysis that identifies profitable specialization points. We have implemented our ideas in JavaScriptCore, the built-in JavaScript engine for WebKit. The addition of guided specialization to this engine required us to change it in several non-trivial ways, which we describe in this paper. Such changes let us observe speedups of up to 1.7x on programs present in synthetic benchmarks.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
SCICO.pdf (5.44 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02314442 , version 1 (12-10-2019)

Identifiants

Citer

Caio Lima, Junio Cezar, Guilherme Vieira Leobas, Erven Rohou, Fernando Magno Quintão Pereira. Guided just-in-time specialization. Science of Computer Programming, 2019, 185, pp.41. ⟨10.1016/j.scico.2019.102318⟩. ⟨hal-02314442⟩
88 Consultations
191 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More