Virtualization
Please find the VC course under this link.
The course discusses virtualization as a concept on all layers of a computer system from hardware to software:
Process virtual machines
- Emulation: Interpretation and Binary Translation
- Process Virtual Machines and Containers
- Dynamic Binary Optimization
- High-Level Language Virtual Machine Architecture
- High-Level Language Virtual Machine Implementation
System virtual machines (+ guest lectures in Dec./Jan.)
- Co-designed Virtual Machines
- System Virtual Machines
- Multiprocessor Virtualization
- Non-functional properties: performance, security, energy
- Emerging Applications
We will use the textbook "Virtual Machines" by Smith/Nair as basis for this course.
The coursework includes four practical exercises on the following topics:
- CPU emulation
- Operating system containers
- Byte code VMs + JIT translation
- System VM analysis