Een flexibel framework voor het bestuderen van trace-based Just-in-time compilatie

Onderzoeksoutput: Article

92 Downloads (Pure)


Just-in-time compilation has proven an effective, though effort-intensive, choice for realizing performant language runtimes. Recently introduced JIT compilation frameworks advocate applying meta-compilation techniques such as partial evaluation or meta-tracing on simple interpreters to reduce the implementation effort. However, such frameworks are few and far between. Designed and highly optimized for performance, they are difficult to experiment with. We therefore present STRAF, a minimalistic yet flexible Scala framework for studying trace-based JIT compilation. STRAF is sufficiently general to support a diverse set of language interpreters, but also sufficiently extensible to enable experiments with trace recording and optimization. We demonstrate the former by plugging two different interpreters into STRAF. We demonstrate the latter by extending STRAF with e.g., constant folding and type-specialization optimizations, which are commonly found in dedicated trace-based JIT compilers. The evaluation shows that STRAF is suitable for prototyping new techniques and formalisms in the domain of trace-based JIT compilation.

Originele taal-2English
Pagina's (van-tot)22-47
Aantal pagina's26
TijdschriftComputer Languages, Systems and Structures
StatusPublished - 1 jan 2018


Duik in de onderzoeksthema's van 'Een flexibel framework voor het bestuderen van trace-based Just-in-time compilatie'. Samen vormen ze een unieke vingerafdruk.

Citeer dit