Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

NI-RUN Runtime Systems Extent of teaching: 2P+1C
Instructor: Křikava F., Vlasák M. Completion: Z,ZK
Department: 18101 Credits: 5 Semester: L

Annotation:
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.

Lecture syllabus:
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.

Seminar syllabus:
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

Literature:
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.

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

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/MI-RUN/

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
NI-PSS.2020 Computer Systems and Networks V 2
NI-ZI.2020 Knowledge Engineering V 2
NIE-DBE.2023 Digital Business Engineering VO 2
NI-SPOL.2020 Unspecified Branch/Specialisation of Study VO 2
NI-SP.2023 System Programming PS 2
NI-MI.2020 Managerial Informatics V 2
NI-WI.2020 Web Engineering V 2
NI-SP.2020 System Programming PS 2
NI-TI.2023 Computer Science V 2
NI-TI.2020 Computer Science V 2
NI-NPVS.2020 Design and Programming of Embedded Systems V 2
NI-SPOL.2020 Unspecified Branch/Specialisation of Study VO 2
NI-SI.2020 Software Engineering (in Czech) V 2
NI-PB.2020 Computer Security V 2


Page updated 26. 4. 2024, semester: Z/2020-1, L/2021-2, L/2019-20, L/2022-3, Z/2019-20, L/2020-1, L/2023-4, Z/2022-3, Z/2021-2, Z/2023-4, Z/2024-5, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška