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
	OS history, general concepts, taxonomy		Intro notes

Week 2 (9/10)	System primer overview: kernel modules, device drivers, system calls and ioctls	Chapter 1	Primer assignment released Lab -- Kernel module and Makefile
	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

Week 3 (9/17)	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
	The system interface: system calls and how they work Overview of process, memory, file and I/O mgmt etc		OS structure notes

Week 4 (9/24)	Processes: address spaces, run-states Processes versus threads	Chapter 3	Lab -- Primer assignment demos Notes on processes
	Discussion of grub, bootloaders, linkers, BIOS and x86 background (real versus protected mode)		MEMOS assignment released

Week 5 (10/1)	Discussion of MEMOS simple OS	Chapter 4 Background reading: Understanding the Linux Kernel (Bovet and Cesati)	Lab -- Protected Mode / Real Mode
	Discussion of Quest OS boot procedure Thread concepts		Notes on threads Example thread-specific data Additional notes on real-/protected-mode x86 features

Week 6 (10/8)	Scheduling - basic algorithms Coroutines	Chapter 6	Lab -- GNU Linker, GDT memos.s example code
	Scheduling - real-time algorithms/analysis	Additional documentation on main web page	Notes on scheduling Example coroutines

Week 7 (10/15)	Substitute Monday Schedule of Classes		No Tuesday lecture Lab -- MEMOS assignment demos
	Proportional share scheduling

Week 8 (10/22)	Synchronization - critical sections, mutexes, semaphores, hardware instructions	Chapter 5	Notes on synchronization Lab -- TF Office Hours
	Synchronization - classic problems		FIFOS assignment released memos helper files. Do not share and do not upload to public repos such as gitlab, github, Google Drive, Dropbox, OneDrive, iCloud, ...

Week 9 (10/29)	Discussion of FIFOS assignment		Lab -- GDT, IDT, PIC, PIT
	Monitors, deadlocks -- basic conditions and solutions	Chapter 7	Extra notes on deadlocks

Week 10 (11/5)	Memory Management - swapping, swap files/partitions	Chapter 8	Notes on memory management Lab -- TF Office Hours
	Memory Management (continued)...

Week 11 (11/12)	Virtual Memory	Chapter 9	Lab -- TF Office Hours
	Virtual Memory -- page replacement		Notes on virtual memory

Week 12 (11/19)	Buddy Memory / Slab Allocation		Lab -- FIFOS assignment demos DISCOS assignment released
	Discussion of DISCOS assignment Filesystem Implementation	Chapters 10-13

Week 13 (11/26)	Filesystems continued	Chapters 16-18	Notes on filesystems Lab -- DISCOS Lab Study Guide Test file for DISCOS assignment
	Thanksgiving Recess		No Thursday lecture

Week 14 (12/3)	Miscellaneous Topics: Quest and Quest-V		Slides provided as appropriate, depending on topics discussed Lab -- TF Office Hours
	Class Exam

Week 15 (12/10)	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)