ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Tue 1 Jul 2025 14:00 - 14:21 at Auditorium M003 - Compilation and Optimization Chair(s): Elisa Gonzalez Boix

Meta-compiler frameworks, such as RPython and Graal/Truffle, generate high-performance virtual machines (VMs) from interpreter definitions. Although they generate VMs with high-quality just-in-time (JIT) compilers, they still lack an important feature that dedicated VMs (i.e., VMs that are developed for specific languages) have, namely \emph{multi-tier compilation}. Multi-tier compilation uses light-weight compilers at early stages and highly-optimizing compilers at later stages in order to balance between compilation overheads and code quality. We propose a novel approach to enabling multi-tier compilation in the VMs generated by a meta-compiler framework. Instead of extending the JIT compiler backend of the framework, our approach drives an existing (heavyweight) compiler backend in the framework to quickly generate unoptimized native code by merely embedding directives and compile-time operations into interpreter definitions. As a validation of the approach, we developed 2SOM, a Simple Object Machine with a two-tier JIT compiler based on RPython. 2SOM first applies the tier-1 threaded code generator that is generated by our proposed technique, then, to the loops that exceed a threshold, applies the tier-2 tracing JIT compiler that is generated by the original RPython framework. Our performance evaluation that runs a program with a realistic workload showed that 2SOM improved, when compared against an RPython-based VM, warm-up performance by 15%, with merely a 5% reduction in peak performance.

Tue 1 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:45
Compilation and OptimizationTechnical Papers at Auditorium M003
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
14:00
21m
Talk
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Technical Papers
Yusuke Izawa Tokyo Metropolitan University, Hidehiko Masuhara Institute of Science Tokyo, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print
14:21
21m
Talk
GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Technical Papers
Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
14:42
21m
Talk
Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Technical Papers
Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
15:03
21m
Talk
Reusing Highly Optimized IR in Dynamic Compilation
Technical Papers
Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
15:24
21m
Talk
Pydrofoil: accelerating Sail-based instruction set simulators
Technical Papers
Martin Berger University of Sussex & Montanarius Ltd, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Luke Panayi Imperial College, Ferdia McKeogh University of St Andrews, Tom Spink University of St Andrews
Pre-print File Attached
:
:
:
: