Weekly Syllabus

Week (Date)	Topic	Reading*	Notes**

Week 1 (9/3)	Introduction: course overview		F00F Bug story Metdown and Spectre Lab -- VM setup and kernel building

Week 2 (9/8)	OS history, general concepts, taxonomy		Intro notes
	System primer overview: kernel modules, device drivers, system calls and ioctls	Chapter 1	Primer assignment released Lab -- Kernel module and Makefile

Week 3 (9/15)	Computer-System Structures: machine booting, interrupts, I/O, DMA, storage etc Hardware-related protection issues: CPU, memory, I/O protection etc	Chapter 2	Notes on system structures Background notes on x86 UEFI firmware and Intel's Management Engine
	OS structure: monoliths, microkernels, virtual machines etc	(Background: Bovet & Cesati + Intel manuals) Further reading (just a sampling as there are many): E.W. Dijkstra, "The Structure of the THE Multiprogramming System", SOSP, 1967 D.M. Ritchie & K. Thompson, "The UNIX Time-sharing System", CACM, 1974 J. Rushby, " The Design and Verification of Secure Systems", SOSP, 1981 J. Liedke, "On Micro-kernel Construction", SOSP, 1995 J.S. Robin & C.E. Irvine, "Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor", USENIX Security Symposium, 2000 P. Barham et al., "Xen and the Art of Virtualization", SOSP, 2003 R.West et al, "A Virtualized Separation Kernel for Mixed Criticality Systems", ACM TOCS, 2016	Lab -- Virtual Disk and GRUB

Week 4 (9/22)	The system interface: system calls and how they work Overview of process, memory, file and I/O mgmt etc		OS structure notes
	Processes: address spaces, run-states Processes versus threads	Chapter 3	Lab -- Primer assignment demos Notes on processes

Week 5 (9/29)	Discussion of grub, bootloaders, linkers, BIOS and x86 background (real versus protected mode)		MEMOS assignment released
	Discussion of MEMOS simple OS	Chapter 4 Background reading: Understanding the Linux Kernel (Bovet and Cesati)	Lab -- Protected Mode / Real Mode

Week 6 (10/6)	Discussion of Quest OS boot procedure Thread concepts		Notes on threads Example thread-specific data Additional notes on real-/protected-mode x86 features
	Scheduling - basic algorithms Coroutines	Chapter 6	Lab -- GNU Linker, GDT memos.s example code

Week 7 (10/13)	Substitute Monday Schedule of Classes		No Tuesday lecture Lab -- MEMOS assignment demos
	Scheduling - real-time algorithms/analysis	Additional documentation on main web page	Notes on scheduling Example coroutines

Week 8 (10/20)	Proportional share scheduling
	Synchronization - critical sections, mutexes, semaphores, hardware instructions	Chapter 5	Notes on synchronization Lab -- TF Office Hours

Week 9 (10/27)	Synchronization - classic problems		MICROS assignment released
	Discussion of MICROS assignment		Lab -- GDT, IDT, PIC, PIT

Week 10 (11/3)	Monitors, deadlocks -- basic conditions and solutions	Chapter 7	Extra notes on deadlocks
	Memory Management - swapping, swap files/partitions	Chapter 8	Notes on memory management Lab -- TF Office Hours

Week 11 (11/10)	Memory Management (continued)...
	Virtual Memory	Chapter 9	Lab -- TF Office Hours

Week 12 (11/17)	Virtual Memory -- page replacement		Notes on virtual memory
	Buddy Memory / Slab Allocation		Lab -- MICROS assignment demos DISCOS assignment released

Week 13 (11/24)	Discussion of DISCOS assignment Filesystem Implementation	Chapters 10-13
	Thanksgiving Recess		No Thursday lecture

Week 14 (12/1)	Filesystems continued	Chapters 16-18	Notes on filesystems Lab -- DISCOS Lab Study Guide Test file for DISCOS assignment
	Miscellaneous Topics: Quest and Quest-V		Slides provided as appropriate, depending on topics discussed Lab -- TF Office Hours

Week 15 (12/8)	Class Exam
	Miscellaneous Topics: Distributed Systems, DriveOS Q & A final assignment		Lab -- TF Office Hours Final assignment demos will be during the final exam time slot Last day of classes

*Readings are based on Silberschatz et al book, unless noted.
**Notes will be uploaded by the date they will be discussed. Do not share or upload class notes and materials to public sites.
Syllabus is subject to change.

Weekly Syllabus

Week (Date)

Topic

Reading*

Notes**

Week
(Date)