Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Runtime Systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
NI-RUN Z,ZK 5 2P+1C English
Garant předmětu:
Filip Křikava, Michal Vlasák
Lecturer:
Filip Křikava, Michal Vlasák
Tutor:
Filip Křikava, Michal Vlasák
Supervisor:
Department of Theoretical Computer Science
Synopsis:

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.

Requirements:

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

Syllabus of lectures:

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.

Syllabus of tutorials:

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

Study Objective:
Study materials:

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.

Note:
Further information:
https://courses.fit.cvut.cz/MI-RUN/
Time-table for winter semester 2023/2024:
Time-table is not available yet
Time-table for summer semester 2023/2024:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
roomT9:302
Vlasák M.
Křikava F.

12:45–14:15
ODD WEEK

(lecture parallel1
parallel nr.101)

Dejvice
NBFIT učebna
roomT9:302
Vlasák M.
Křikava F.

14:30–16:00
(lecture parallel1)
Dejvice
NBFIT učebna
Wed
Thu
Fri
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet6114506.html