GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers
This program is tentative and subject to change.
Optimizing compilers often sacrifice binary size in pursuit of higher run-time performance. In the absence of method execution profiles, they uniformly apply performance-oriented optimizations, typically various forms of code duplication. Duplications in methods that are rarely or never executed only increase binary size without improving performance. Modern static profiler use ML to predict branch profiles, yet they do not identify which methods will be frequently executed at run time. Doing so would enable more selective optimizations, reducing binary size while preserving or only minimally affecting run-time performance.
We present GraalMHC, a machine–learning–based static profiler that predicts method hotness. GraalMHC uses the XGBoost ensemble to classify methods as cold and warm. For cold methods, GraalMHC enables code-size-reducing optimizations, and for warm methods, it enables performance-improving optimizations. In this way, GraalMHC enables binary-size reductions with no or minimal impact on run-time performance. In addition, GraalMHC allows users to choose between three different size-optimization levels: (S1) 9–13% binary-size reduction with 1–2% performance loss, (S2) 15–25% reduction with 3–5% performance loss, and (S3) 17–35% reduction with 5–7% performance loss. We integrate GraalMHC into the Oracle GraalVM Native Image compiler, delivering a complete end-to-end solution.
This program is tentative and subject to change.
Sat 31 JanDisplayed time zone: Hobart change
11:00 - 12:45 | OptimizationsMain Conference | ||
11:00 26mTalk | GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers Main Conference Milan Cugurovic Oracle & University of Belgrade, Aleksandar Prokopec Oracle Labs, Boris Spasojevic Oracle Labs, Zurich, Switzerland, Vojin Jovanovic Oracle Labs, Milena Vujosevic Janicic Faculty of Mathematics, University of Belgrade; Oralce | ||
11:26 26mTalk | It’s about Time - Temporal Abstractions for Asynchronous GPU Tensor Computations Main Conference | ||
11:52 26mTalk | Optimizing Sparse Tensor Compilation for Sparse Output Main Conference Shideh Hashemian University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh, Amir Shaikhha University of Edinburgh | ||
12:18 26mTalk | RIFS: Run-time Invariant Function Specialization Main Conference Saba Jamilan University of California, Santa Cruz, Snehasish Kumar Google LLC, Heiner Litz UC Santa Cruz | ||