Virtualization Techniques (IN2125) (Vorlesung)
| Lecturer (assistant) | |
|---|---|
| Type | lecture |
| Term | Wintersemester 2022/23 |
| Language of instruction | English |
| Dates | See TUMonline |
Description
- Operating System Virtualization
- ISA Virtualization
- Interpretation
- Binary Translation
- Dynamic Optimization
- Process Virtual Machines
- high-Level Language Virtual Machines
- HW/SW-Codesign Virtual Machines
- System Virtual Machines
- Multiprocessor Virtualization
- Applications
This lecture will be held in English.
Email Lecturer: Josef Weidendorfer
Time: Every Wednesday, 14:00 - 16:30 (15 min break in the middle).
Location: Hybrid - FMI 00.13.009A and via https://live.rbg.tum.de/
First lecture: Wednesday, October 19, 2022. Last lecture: February 8, 2023.
Exam
Time/Date: Wedmesday. March 1, 2023, at 11:30. Please be there 10 minutes early.
Location: 2501, Rudolf-Mößbauer-Hörsaal (5101.EG.501)
Duration: 75 minutes.
Lecture content covered by the exam: up to slide 31 in chapter System-VMs.
An example exam from WS10/11 can be found here (exam will be 75 minutes not 60 minutes as this one from WS10/11).
Labs
During the semester, instead of the lecture, there will be 3 labs spanning the timeframe of one lecture each, with date announced in advance. Topics for the labs are getting insights into the working of a process VM, Java JVM, and a system VM.
Schedule
| Date | Topic | Comments / Material |
|---|---|---|
| Oct 19 | Organization / Introduction | Slides Organization, Slides Intro, Homework 1 |
| Oct 26 | Introduction (2) | |
| Nov 2 | Introduction (3) / ISA Emulation (1) | Slides ISA Emulation, Homework 2. C file for Homework 2 |
| Nov 9 | ISA Emulation (2) | Discussion Homework 2 Task 1 |
| (Nov 16) | - | Cancelled |
| Nov 23 | Lab 1: Valgrind (14:00 - 17:00) | Task sheet, Observer skeleton, IISCW Tutorial |
| Nov 30 | ISA Emulation (3) | |
| Dec 7 | Process-VMs (1) | Slides Process VMs, example solution HW 2 Task 3, other solution |
| Dec 14 | Process-VMs (2), HLL-VMs (1) | Slides HLL-VMs |
| Dec 21 | HLL-VMs (2) | |
| Jan 11 | Lab 2: JVM | Task sheet, Jasmin, Verifier, JVM source |
| Jan 18 | System-VMs (1) | Slides System VMs |
| Jan 25 | System-VMs (2) | |
| Fab 1 | Lab 3: SystemVMs | Task sheet, lguest Paper |
| Feb 8 | System-VMs (3), Exam Q&A | C file solution for Homework 2 |
| March 1 | Exam | See above |
Student Presentations
A student presentation, done well, will give you a bonus grade of 0.3 for the final exam.
Should be 15-20 min. Topics can be motivation/techniques/benchmarks of existing VM implementations, for example (also propose your own!): related to Process-VMs: QEmu, Rosetta, related to OS-level virtualisation: Docker, Singularity. Related to HLL-VM: platform (bytecode) used in Python, .NET related to System-VMs: Xen, KVM
Presentations:
- 7.12.22: Chip8
- 14.12.22: Docker
- 25.1.23: EVM
- (updated when students ask for dates/topics)