SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Thu 26 Oct 2023 17:12 - 17:30 at Room XII - compilation & optimization 2 Chair(s): Fabian Muehlboeck

Efficient management of shared resources is a critical problem in high-performance computing (HPC) environments. Existing workload management systems often promote non-sharing of resources among different co-executing applications to achieve performance isolation. Such schemes lead to poor resource utilization and suboptimal process throughput, adversely affecting user productivity. Tackling this problem in a scalable fashion is extremely challenging, since it requires the workload scheduler to possess an in-depth knowledge about various application resource requirements and runtime phases at fine granularities within individual applications.

In this work, we show that \textit{applications' resource requirements and execution phase behaviour can be captured} in a scalable and lightweight manner at runtime by estimating important program artifacts termed as ``\textbf{dynamic loop characteristics}''. Specifically, \textit{we propose a solution to the problem of efficient workload scheduling by designing a compiler and runtime cooperative framework that leverages novel loop-based compiler analysis for resource allocation}.

We present \textbf{Beacons Framework}, an end-to-end compiler and scheduling framework, that \textit{estimates} dynamic loop characteristics, \textit{encapsulates} them in compiler-instrumented \textbf{beacons} in an application, and \textit{broadcasts} them during application runtime, for proactive workload scheduling. \textit{We focus on estimating four important loop characteristics}: \textbf{loop trip-count}, \textbf{loop timing}, \textbf{loop memory footprint}, and \textbf{loop data-reuse behaviour}, through a combination of compiler analysis and machine learning.

The novelty of the Beacons Framework also lies in its ability to tackle \textit{irregular loops that exhibit complex control flow with indeterminate loop bounds involving structure fields, aliased variables and function calls}, which are highly prevalent in modern workloads. At the backend, Beacons Framework entails a \textit{proactive workload scheduler that leverages the runtime information to orchestrate aggressive process co-locations, for maximizing resource concurrency, without causing cache thrashing}. Our results show that Beacons Framework can predict different loop characteristics with an accuracy of \textbf{85%} to \textbf{95%} on average, and the proactive scheduler obtains an average throughput improvement of \textbf{1.9x} (up to \textbf{3.2x}) over the state-of-the-art schedulers on an Amazon Graviton2 machine on consolidated workloads involving 1000-10000 co-executing processes, across 51 benchmarks.

Thu 26 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
compilation & optimization 2OOPSLA at Room XII
Chair(s): Fabian Muehlboeck Australian National University
16:00
18m
Talk
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
OOPSLA
Oliver Bračevac Galois, Inc., Guannan Wei Purdue University, Songlin Jia Purdue University, Supun Abeysinghe Purdue University, Yuxuan Jiang Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
DOI Pre-print
16:18
18m
Talk
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
OOPSLA
Octave Larose University of Kent, Sophie Kaleba University of Kent, Humphrey Burchell University of Kent, Stefan Marr University of Kent
DOI Pre-print
16:36
18m
Talk
Reusing Just-in-Time Compiled Code
OOPSLA
Meetesh Kalpesh Mehta IIT Bombay, Sebastián Krynski Czech Technical University in Prague, Hugo Musso Gualandi Czech Technical University in Prague, Manas Thakur IIT Bombay, Jan Vitek Northeastern University
DOI
16:54
18m
Talk
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
OOPSLA
Matt D'Souza University of Waterloo, James You University of Waterloo, Ondřej Lhoták University of Waterloo, Aleksandar Prokopec Oracle Labs
DOI
17:12
18m
Talk
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
OOPSLA
Girish Mururu Georgia Institute of Technology, Sharjeel Khan Georgia Institute of Technology, Bodhisatwa Chatterjee Georgia Institute of Technology, Chao Chen Georgia Institute of Technology, Chris Porter IBM T.J. Watson Research, Ada Gavrilovska Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology
DOI