Skip to Main content Skip to Navigation
Journal articles

Guided just-in-time specialization

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [45 references]  Display  Hide  Download

https://hal.inria.fr/hal-02314442
Contributor : Erven Rohou <>
Submitted on : Saturday, October 12, 2019 - 3:12:18 PM
Last modification on : Saturday, July 11, 2020 - 3:14:17 AM
Long-term archiving on: : Monday, January 13, 2020 - 1:47:12 PM

File

SCICO.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

56

Files downloads

318