CSCI 432 :: Operating Systems

CSCI 432 - Fall 2023

Operating Systems

Home | Calendar | Assignments | CS@Williams

Calendar

The table below lists the topics we will discuss in class and the readings associated with each topic. Readings should be completed before their associated class meeting. (Chapter readings refer to the course textbook.)

Please note that some readings are PDFs that can only be accessed using a campus computer, proxy server, or the provided username and password. If you experience problems accessing any of the assigned papers, please let your professor know as soon as possible.

Lecture slides will be posted after each class. Click on the topic to access the slides (on campus/proxy/password only).

Note that all future dates and topics are tentative and subject to change!

Date	Topic	Readings and Assignments

[1] 9/7	Course Overview	Skim Ch 1-2

[2] 9/12	Processes and Atomic Actions	Butler Lampson. Hints for Computer System Design. ACM SOSP 1983. Background info: Ch 3-5, 13, 25-26 Project 0 out, due 9/20 at 11:59pm.

[3] 9/14	Mutexes and Locks	Background info: Ch 28

[4] 9/19	Monitors and CVs, Producers-Consumers	Dennis Ritchie and Ken Thompson. The UNIX Time-sharing System. CACM 1974. Background info: Ch 30 Project 0 due 9/20 at 11:59pm.

[5] 9/21	Producers-Consumers, RW Locks, Semaphores	Background info: Ch 31 Project 1 out: Disk scheduler due 9/27 at 11:59pm. Thread library due 10/11 at 11:59pm.

[6] 9/26	Semaphores, Implementing Threads	Background info: Ch 27

[7] 9/28	No class	Disk scheduler due 9/27 at 11:59pm

[8] 10/3	Implementing Locks	Stefan Savage, Mike Burrows, Greg Nelson, Patrick Sobalvarro, and Tom Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM TOCS 1997.

[9] 10/5	Deadlock	Background info: Ch 32, 7-9

[--] 10/10	Reading Days	Project 1 (thread library) due 10/11 at 11:59pm. Writeup due 10/12.

[10] 10/12	CPU Scheduling

[11] 10/17	Threads Wrapup and Review	Midterm Study Guide Midterm out

[12] 10/19	Intro to Memory	Background info: Ch 12-14

[13] 10/24	No class, midterm due	Midterm due 10/24 at 5pm.

[14] 10/26	Address Translation and Page Replacement	Background info: Ch 15, 22 Project 2 out: Checkpoint due 11/8 at 11:59pm Everything due 11/20 at 11:59pm

[15] 10/31	Project 2 Overview & Dual-Mode Operation

[16] 11/2	Thrashing and Intro to VMs

[17] 11/7	Virtual Machines	Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization. ACM SOSP 2003. OPTIONAL (no writeup required): Carl A. Waldspurger. Memory Resource Management in VMware ESX Server. ACM OSDI 2002. Background info: Appendix B (online only?) Checkpoint due 11/8 at 11:59pm.

[18] 11/9	Intro to Networks

[19] 11/14	Networks Wrapup/Resource Containers	Gaurav Banga, Peter Druschel, Jeffrey C. Mogul. Resource Containers: A New Facility for Resource Management in Server Systems. OSDI 1999. OPTIONAL (no writeup required): Dirk Merkel. Docker: Lightweight Linux Containers for Consistent Development and Deployment Background info: Ch 46-47

[20] 11/16	Intro to Security	Project 2 due 11/20 at 11:59pm. Writeup due 11/21.

[21] 11/21	Security

[--] 11/23	THANKSGIVING

[22] 11/28	Smashing the Stack tutorial (bring laptop to class)	Project 3 out, due 12/12 at 5:00pm.

[23] 11/30	Security wrapup/Files	Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. Enhancing Server Availability and Security Through Failure-Oblivious Computing. USENIX OSDI 2004. Background info: Ch 39

[24] 12/5	File Systems and Course Wrapup	Background info: Ch 40-43

[25] 12/7	Movie!	Pirates of Silicon Valley