Lectures

There will be 14 lectures (this is a first draft)

1: Introduction

• 2 Introduction to Operating Systems
• 3 A Dialoge on Virtualization

2: Linux 101

• The shell and basic command line interface.
• The file system, navigation, files, directories, user rights, basic operations.
• Processes, compiling, linking, running programs.
• Installing and configuration of a virtual machine.

3: Processes

• 4 The Abstraction: The Process
• 5 Interlude: Process API
• 6 Mechanism: Limited Direct Execution

4: Scheduling

• 7 Scheduling: Introduction
• 8 Scheduling: The Multi Level Feedback Queue
• 9 Scheduling: Proportional Share

5: Memory Virtualization

• 12: A Dialogue on Memory Virtualization
• 13: The abstraction: Address Spaces
• 14: Interlude: Memory API
• 15: Address Translation
• 16: Segmentation

6: Memory Management

• 17 Free-Space Management

7: Paging

• 18: Paging: Introduction
• 19: Paging: Faster Translations (TLBs)
• 20: Paging: Smaller Tables

8: Swapping

• 21: Beyond Physical Memory: Mechanisms
• 22: Beyond Physical Memory: Policies

9: Concurrency

• 26 Concurrency an Introduction
• 27 Interlude: Thread API
• 28 Locks

10: Locks, Monitors and Semaphores

• 29 Lock-based Concurrent Data Structures
• 30 Condition Variables
• 31 Semaphores
• 32 Common Concurrency Problems

11: Storage

• 36 I/O Devices
• 37 Hard Disk Drives
• 38 Redundant Arrays of Inexpensive Disks (RAIDs)/a>
• Appendix I, Flash-based SSDs

12: File Systems

• 39 Interlude: Files and Directories
• 40 File System Implementation
• 41 Locality and the Fast File System

13: Journaling

• 42 Crash Consistency: FSCK and Journaling
• 43 Log-structured File Systems

14: Virtual Machines

• Appendix B Virtual Machine Monitors