Schedule
Slides and Reference Material
- 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 Sapace 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]
- Data Integrity and protection [Slides],[Book Chapter]
- RAID [Slides],[Book Chapter]
Labs/Homework Material
Exams (Spanish)
Material to develop the Labs