Optimization Decision Analysis for Graal

• Název práce v češtině: Analýza optimalizačních rozhodnutí pro Graal
• Název v anglickém jazyce: Optimization Decision Analysis for Graal
• Klíčová slova: překladač|optimalizace
• Klíčová slova anglicky: compiler|optimization
• Akademický rok vypsání: 2021/2022
• Typ práce: diplomová práce
• Jazyk práce: angličtina
• Ústav: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Vedoucí / školitel: David Leopoldseder
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 26.09.2022
• Datum zadání: 26.09.2022
• Datum potvrzení stud. oddělením: 06.10.2022
• Datum a čas obhajoby: 06.09.2023 09:00
• Datum odevzdání elektronické podoby: 13.07.2023
• Datum odevzdání tištěné podoby: 24.07.2023
• Datum proběhlé obhajoby: 06.09.2023
• Oponenti: Mgr. Tomáš Petříček, Ph.D.
• Konzultanti: prof. Ing. Petr Tůma, Dr.

Zásady pro vypracování

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.

Seznam odborné literatury

[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.