Learning Outcomes & Objectives
At the end of the course, the student will be able to:
- Understand the role of virtualization, concurrency and persistence in a modern operating systems
- Transcend the abstractions used by the operating systems that provide such functionality
- Know, at least in first approximation, the implementation of mechanisms that support it
The course is strongly influenced by Operating Systems: Three Easy Pieces
Lecture notes
- Course Presentation Slides
- Introduction to Operating systems [Slides],[,Book chapter]
- Virtualization
- The Abstraction: The Process [Slides],[Book Chapter]
- Interlude: Process API [Slides],[Book Chapter]
- Mechanism: Limited Direct Execution [Slides],[Book Chapter]
- Scheduling Introduction [Slides],[Book Chapter]
- Scheduling: The Multi-Level Feedback Queue [Slides],[Book Chapter]
- Scheduling: Proportional Share [Slides],[Book Chapter]
- Multiprocessor Scheduling (Advanced) [Slides],[Book Chapter]
- The Abstraction: Address Spaces [Slides],[Book Chapter]
- Interlude: Memory API [Slides],[Book Chapter]
- Mechanism: Address Translation [Slides],[Book Chapter]
- Segmentation [Slides],[Book Chapter]
- Free Space Management [Slides],[Book Chapter]
- Paging Introduction [Slides],[Book Chapter]
- TLB [Slides],[Book Chapter]
- Advanced Page Tables [Slides],[Book Chapter]
- Swapping Mechanisms [Slides],[Book Chapter]
- Swapping Policies [Slides],[Book Chapter]
Concurrency
- Concurrency an Introduction [Slides],[Book Chapter]
- Thread API [Slides],[Book Chapter]
- Locks [Slides],[Book Chapter]
- Locked Data Structures [Slides],[Book Chapter]
Condition Variables [Slides],[Book Chapter]
Concurrency Bugs [Slides],[Book Chapter
Persistency
- I/O Devices [Slides],[Book Chapter]
- Hard Disks [Slides],[Book Chapter]
- Files and Directories [Slides],[Book Chapter]
- File System Implementation [Slides],[Book Chapter]
- Fast File System (FFS) [Slides],[Book Chapter]
- FSCK and Journaling [Slides],[Book Chapter]
- Log-structured File System (LFS) [Slides],[Book Chapter]
- SSD Disks [Slides],[Book Chapter]
Labs Material
Exams
- Go to git