Runtime systémy

Garant předmětu:

Filip Křikava

Přednášející:

Filip Křikava

Cvičící:

Filip Křikava

Předmět zajišťuje:

katedra teoretické informatiky

Anotace:

As the abstraction level of programming languages steadily rises, modern programs require greater and greater support during their runtime. This course introduces students to various aspects of the runtime support, such as runtime-effective program description, memory management support and garbage collection, just-in-time compilation, and interoperability with other languages and systems.

Požadavky:

Object-oritented programming, machine code, programming languages (C, C++, Java, Smalltalk, or another dynamic language).

Osnova přednášek:

1. Calling conventions, system calls, signals, and exceptions

2. Virtual machines (VMs) for high-level languages.

3. Object heap organization. Object table. Immediate values.

4. Memory management, basic garbage collection methods.

5. Bytecode and its interpretation.

6. Just-in-time compilation, method lookup optimization techniques.

7. Advanced optimization techniques: inlining, custom-compilation.

8. Thread implementation, green vs. native threads.

9. JVM: mapping of threads and synchronization primitives to OS resources.

10. Security mechanisms in VMs. Verification of the bytecode. Security Manager.

11. Foreign function calls. Cross-language calls.

12. VM Bootstrap. Metacircular VM.

Osnova cvičení:

1. Language introduction and AST interpretation

2. Bytecode compilation and interpretation

3. Memory management

4. Tagging

5. Dynamic compilation

6. Primitive inlining and callsite caches

7. Multithreading support

Cíle studia:

Studijní materiály:

1. Li, X. F. : Advanced Design and Implementation of Virtual Machines. CRC Press, 2016. ISBN 978-1466582606.

2. Craig, I. D. : Virtual Machines. Springer, 2005. ISBN 978-1852339692.

3. Jones, R. - Hosking, A. - Moss, E. : The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman and Hall/CRC, 2011. ISBN 978-1420082791.

Poznámka:

Information about the course and courseware are available at https://courses.fit.cvut.cz/NI-RUN/

Další informace:

https://courses.fit.cvut.cz/NI-RUN/

Rozvrh na zimní semestr 2025/2026:

Rozvrh není připraven

Rozvrh na letní semestr 2025/2026:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů: