‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 10:00 - 10:30 at Michelangelo - Just-in-Time Compilation Chair(s): Stefan Marr, Edd Barrett

Meta-interpreter-based just-in-time compiler frameworks provide a convenient way for language designers to implement efficient virtual machines. Those frameworks either employ tracing-based or method- (or partial evaluation) based strategies, which have their own pros and cons.

This paper proposes an approach to enable both tracing- and method-based compilation so that the runtime can selectively apply an appropriate strategy to different parts of a program.

The proposal basically extends a meta-tracing compiler to method-based compilation by rolling back at conditional branches, trace-splitting at loop entries, and not following at function calls.

As a proof-of-concept, we implemented a tiny meta-tracing compiler in MinCaml by following the RPython’s architecture and extended it to support both tracing- and method-based compilation.

Tue 2 Apr

08:50 - 10:30: MoreVMs'19 - Just-in-Time Compilation at Michelangelo
Chair(s): Stefan MarrUniversity of Kent, Edd BarrettKing's College London
MoreVMs-201908:50 - 09:00
Day opening
Edd BarrettKing's College London, Stefan MarrUniversity of Kent
MoreVMs-201909:00 - 10:00
MoreVMs-201910:00 - 10:30
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology
Media Attached