Trace-based Just-in-Time Type Specialization for Dynamic Languages
Cached
Download Links
| Citations: | 81 - 5 self |
BibTeX
@MISC{Gal_trace-basedjust-in-time,
author = {Andreas Gal and Brendan Eich and Mike Shaver and David Anderson and David M and Mohammad R. Haghighat and Blake Kaplan and Graydon Hoare and Boris Zbarsky and Jason Orendorff and Mozilla Corporation},
title = {Trace-based Just-in-Time Type Specialization for Dynamic Languages},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit generic code that can handle all possible type combinations at runtime. We present an alternative compilation technique for dynamically-typed languages that identifies frequently executed loop traces at run-time and then generates machine code on the fly that is specialized for the actual dynamic types occurring on each path through the loop. Our method provides cheap inter-procedural type specialization, and an elegant and efficient way of incrementally compiling lazily discovered alternative paths through nested loops. We have implemented a dynamic compiler for JavaScript based on our technique and we have measured speedups of 10x and more for certain benchmark programs.
Keyphrases
dynamic language trace-based just-in-time type specialization cheap inter-procedural type specialization possible type combination actual dynamic type efficient way machine code concrete type information dynamic compiler dynamically-typed language certain benchmark program alternative compilation technique nested loop alternative path loop trace generic code traditional compiler
