Mon 26 Oct 2015 15:30 - 16:00 at Haselton 1 - Research Reports 3 Chair(s): Matthias Hauswirth

Trace-based JIT compilers identify frequently executed program paths at run-time and subsequently record, compile and optimize their execution. In order to improve the performance of the generated machine instructions, JIT compilers heavily rely on dynamic analysis of the code. Existing work treats the components of a JIT compiler as a monolithic whole, tied to particular execution semantics. We propose a formal framework that facilitates the design and implementation of a tracing JIT compiler and its accompanying dynamic analyses by decoupling the tracing, optimization, and interpretation processes. This results in a framework that is more configurable and extensible than existing formal tracing models. We formalize the tracer and interpreter as two abstract state machines that communicate through a minimal, well-defined interface. Developing a tracing JIT compiler becomes possible for arbitrary interpreters that implement this interface. The abstract machines also provide the necessary hooks to plug in custom analyses and optimizations.

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 16:00
Research Reports 3WODA at Haselton 1
Chair(s): Matthias Hauswirth University of Lugano, Switzerland
A Formal Foundation for Trace-Based JIT Compilers
Maarten Vandercammen Vrije Universiteit Brussel, Jens Nicolay , Stefan Marr INRIA, France, Joeri De Koster Vrije Universiteit Brussel, Theo D'Hondt Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print