COL732 Virtualization and Cloud Computing
2022-2023 Sem I
This course introduces virtualization techniques and their usage in cloud infrastructure. Students will learn various approaches towards virtualization and get hands-on experience with a modern systems programming language.
- Course Information
- Tentative topics
- Tentative Schedule
- Prerequisites: COL331 or equivalent.
Note: The course includes programming assignments and thus expects proficiency with systems programming and debugging.
- Credits: 3-0-2
- Slot: AA, Mondays and Thursdays 2-3:15pm.
- Where: LH308
- Abhisek Panda: csz202445 AT cse.iitd.ac.in
- Abhishrut Omprakash Vaidya: siy217558 AT cse.iitd.ac.in
- Reading material:
- Hardware and Software Support for Virtualization.
- Research papers linked from each lecture.
- 20% labs (programming + analysis assignments)
- 25% project
- 5% quizzes
- 20% minor exam
- 30% major exam
- Discussions should be done on Piazza. Sending emails is discouraged.
- Labs will be submitted through Moodle. Grades will also be uploaded there.
Thanks to Mythilli Vutukuru, IITB and Xi Wang, UoW; parts of this course have been inspired by courses made available by them.
- Audit criteria:
B grade40% marks or higher.
- Ethics: We will employ various methods to catch cheating. Cheating in labs/quizzes will bring zero in that lab/quiz. Cheating twice gets an F in the course.
- To help you cope with unexpected emergencies, you can hand in your Labs solutions late, but the total amount of lateness summed over all the lab deadlines must not exceed 72 hours. You can divide up your 72 hours among the labs however you like; you don’t have to ask or tell us. You can only use late hours only for Labs.
- 1 quiz in the course can be skipped without penalty.
We will deeply study a hypervisor written in rust. All the labs and the project will therefore use rust.
- Getting comfortable with Rust
- Popek Goldberg theorem
- Virtualization techniques
- Software-based virtualization:
- Full virtualization: Binary translation, shadow paging, ballooning, IO virtualization
- Paravirtualization: memory virtualization, virtio
- Hardware-assisted virtualization: KVM, EPT
- Software-based virtualization:
- Live migration
- State machine replication
- What’s new with virtualization?
Disclaimer: Actual course contents may differ depending on student interest. Reach out to the instructor as soon as possible if there is a particular interest in a topic.
LEC 1: Introduction.
LEC 2: OS Background: Virtual memory. Ch: 13-15, 18-20 OSTEP book
LEC 3: OS Background: Virtualizing CPU Ch: 4-6, OSTEP book
|Lab 1 due|
LEC 4: Rust background: Ownership and borrowing Ch. 4, 10.3, Rust book
LEC 5: Rust background: smart pointers Ch. 15, Rust book
LEC 6: Rust background: concurrency Ch. 16, Rust book
LEC 7: Trap and emulate hypervisors, Popek-Goldberg Theorem, KVM API
|Lab 2 due|
LEC 8: Rust VMM
LEC 9: Rust VMM
LEC 10: Shadow page tables. Sec 6.2.2, ToCS’12
LEC 11: Introduce projects. Shadow page tables (2) Sec 4.3, 4.4, 6.2, ASPLOS’06
LEC 12: Extended page tables. Memory management
LEC 13: Nested virtualization
LEC 14: IO virtualization. Sec 6.1, 6.2, 6.3 of the book
LEC 15: IO virtualization (2). Sec 6.4.1, 6.4.2 of the book.
Live migration (post copy)
LEC 16: Live migration (pre copy). Virtualization without architectural support. QEMU sec 2
LEC 17: Virtualization without architectural support. VMWare papers 1 and 2. Xen paper Sec 2.1.1, 2.1.2, 4.2, 4.5.
LEC 18: Fault tolerant virtual machines
LEC 19: Raft
LEC 20: Raft (2)
LEC 21: Scalability
Ch.5 of Introduction to Parallel Computing, Struggles with DSM
LEC 22: Spark
LEC 23: Lightweight Asynchronous Snapshots (Flink), Unikernels
Project presentations. Firecracker
Student comments after the course
The course was well structured and lectures were really interesting. Thank you for making us love with system :)
The overall teaching methodology was engaging with the right amount of labs.