Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
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 OctDisplayed time zone: Lisbon change
16:00 - 17:30 | compilation & optimization 2OOPSLA at Room XII Chair(s): Fabian Muehlboeck Australian National University | ||
16:00 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 |