Optimization Decision Analysis for Graal

• Thesis title in Czech: Analýza optimalizačních rozhodnutí pro Graal
• Thesis title in English: Optimization Decision Analysis for Graal
• Key words: překladač|optimalizace
• English key words: compiler|optimization
• Academic year of topic announcement: 2021/2022
• Thesis type: diploma thesis
• Thesis language: angličtina
• Department: Department of Distributed and Dependable Systems (32-KDSS)
• Supervisor: David Leopoldseder
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 26.09.2022
• Date of assignment: 26.09.2022
• Confirmed by Study dept. on: 06.10.2022
• Date and time of defence: 06.09.2023 09:00
• Date of electronic submission: 13.07.2023
• Date of submission of printed version: 24.07.2023
• Date of proceeded defence: 06.09.2023
• Opponents: Mgr. Tomáš Petříček, Ph.D.
• Advisors: prof. Ing. Petr Tůma, Dr.

Guidelines

Graal is a just-in-time and ahead-of-time compiler for the JVM platform. Changes to the compiler's optimization passes can cause performance regressions in various benchmarks. The identification of the compilation unit and the transformation responsible for the regression is typically a manual task.

The objective of this project is to develop a mechanism to track optimization decisions in the compiler and augment the data with an execution profile to be able to pinpoint the transformations that are likely responsible for a performance drop. The output of the thesis will include tools designed to help compiler engineers make judgements about performance-impacting changes.

References

[1] The Graal Compiler Project, https://www.graalvm.org
[2] Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko: One VM to Rule Them All, https://dl.acm.org/doi/pdf/10.1145/2509578.2509581.
[3] Lukas Stadler, Thomas Würthinger, Hanspeter Mössenböck: Partial Escape Analysis and Scalar Replacement for Java, https://dl.acm.org/doi/pdf/10.1145/2544137.2544157.
[4] Gilles Duboscq, Lukas Stadler, Thomas Würthinger, Doug Simon, Christian Wimmer, Hanspeter Mössenböck: Graal IR: An Extensible Declarative Intermediate Representation.