Special Topics in Software Engineering:
Dynamic Compilation and Run-time Optimization in Virtual Machines
This course discusses state-of-the-art dynamic compilation techniques.
The first part of this course includes the following topics:
The second part of this course shows how these dynamic compilation techniques are applied in practice. We will use the Graal/Truffle system as a case study, which is developed by Oracle Labs, in cooperation with the SSW.
- Intermediate Representations of Optimizing Compilers: We discuss common IRs in optimizing compilers, including CFG, Sea of nodes, Graal IR, and ASTs.
- Profile Information: We discuss how dynamic compilers collect information about a running program and how this information is used to optimize it. Topics include type profiling, value profiling, branch profiling, ...
- Deoptimization: We discuss how dynamic compilers can make speculative assumptions about a running program execution and what deoptimization is.
- Inline caches: We will discuss what monomorphic, polymorphic, and megamorphic call sites are and discuss (polymorphic) inline caches as an optimization.
- and many more ....
Participants will learn how they can generate a high-performant compiler for a language based on this system, by implementing a simple AST interpreter.
There will be an oral exam about the topics as discussed in the first part.
|Fr, 12.5.2017 ||13:45 - 17:00||S3 055|
|Fr, 19.5.2017 ||13:45 - 17:00||S3 055|