Operating System Engineering

Lecture Notes

LEC #	TOPICS
1	Operating Systems (PDF)
2	PC Hardware and x86 Programming (PDF)
3	OS Organization (PDF)
4	Address Spaces using Segmentation (Handout) (PDF)
5	Address Spaces using Page Tables (Handout) (PDF)
6	Interrupt and Exception Handling (PDF)
7	Multiprocessors and Locking (PDF)
8	Processes and Context Switching (PDF)
9	Processes and Coordination (PDF)
10	Files and Disk I/O (PDF)
11	Naming (PDF)
12	High-performance File Systems (PDF)
13	Multics and UNIX® (PDF)
14	Abstraction of OS Services (PDF)
15	Microkernels (PDF)
16	Virtual Machines (PDF)
17	Scheduling (PDF)
18	Scalable Coordination (PDF)
19	Shell for 6.828 Kernel (PDF)
20	Security: OKWS (PDF)
21	XFI (PDF)
22	OS Bugs (PDF)
23	OS Bakeoff

Labs

Some of the labs in this section refer to Athena, which is MIT's UNIX®-based computing environment.

LABS	SUPPORTING FILES
Lab 1 - Booting a PC (PDF)	lab1-handout.gz (GZ)
Lab 2 - Memory Management (PDF)	lab2-handout.gz (GZ)
Lab 3 - User Environments (PDF)	lab3-handout.gz (GZ)
Lab 4 - Preemptive Multitasking (PDF)	lab4-handout.gz (GZ)
Lab 5 - File Systems and Spawn (PDF)	lab5-handout.gz (GZ)
Lab 6 - The Shell (PDF)	lab6-handout.gz (GZ)

Assignments

ASSIGNMENTS	TOPICS
2	Intro to x86 and PC (PDF)
3	OS Organization (PDF)
4	Intro to xv6 (PDF)
5	x86 MMU (PDF)
6	xv6 and Interrupts and Exceptions (PDF)
7	Locking (PDF)
8	Threads and Context Switching (PDF)
9	Sleep and Wakeup (PDF)
10	Files and Disk I/O (PDF)
11	Naming (PDF)
12	Reliable Files and Directories (PDF)
13	The Plan 9 OS (PDF)
14	Microkernels (PDF)
15	Disco (PDF)
17	Receive Livelock (PDF)
18	Multiprocessor Synchronization (PDF)
19	Shells (PDF)
20	OKWS (PDF)
21	XFI (PDF)
22	OS Bugs (PDF)

Exams