|Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau|
Operating Systems: Three Easy Pieces
Version 0.91 (Available free online!)
This course covers the principles of operating systems. It emphasizes the basic concepts of OS kernel organization and structure, processes and threads, concurrency and synchronization, memory management, file systems, and communication. It is also a project course, providing essential experience in programming with concurrency, implementing and unmasking abstractions, working within an existing complex system, and collaborating with other students in a group effort.
The following table outlines the schedule for the course. We will update it as the quarter progresses.
|4/3||Course Intro||Chap 1, Chap 2|
|4/5||OS Architectural Support||Chap 6||Homework 1: Out||Project 0: Out|
|4/9||(Monday)||Project 0: Due|
|4/10||Processes||Chap 4, Chap 5||Project 1: Out|
|4/12||Threads||Chap 26, Chap 27||
|4/17||Synchronization||Chap 28, Chap 29||
Homework 1: Due
Homework 2: Out
|4/19||Semaphores and Monitors||Chap 30, Chap 31|
|4/24||Semaphores and Monitors||Chap 30, Chap 31|
|4/26||Scheduling and Deadlock||Chap 7, Chap 8, Chap 32|
|4/27||(Friday)||Project 1: Due|
|4/28||(Saturday)||Homework 2: Due|
|5/1||Midterm Exam||Midterm Review|
|5/2||(Wednesday)||Project 2: Out|
|5/3||Memory Management||Chap 15, Chap 16, Chap 18|
|5/16||(Friday)||Homework 3: Out|
|5/8||Paging||Chap 19, Chap 20|
|5/10||Paging (cont'd)||Chap 19, Chap 20|
|5/15||Page Replacement||Chap 21, Chap 22, Chap 23|
|5/17||File Systems||Chap 37, Chap 39, Chap 40|
|5/19||(Saturday)||Project 2: Due|
|5/21||(Monday)||Homework 3: Due|
|5/22||File System Implementation||Chap 37, Chap 39, Chap 40||Project 3: Out|
|5/24||Protection||Homework 4: Out|
|6/6||(Wednesday)||Homework 4: Due|
|6/8||(Friday)||Project 3: Due|
The course is organized as a series of lectures by the instructor, discussion sections by the TAs, reading, homework, and project assignments, and exams:
The course will have four homeworks. I will post them as the quarter progresses. Due to extensive copying on homeworks in the past, I have changed how homeworks are graded. As long as you submit a technical answer related to the question, you will get full credit for the question. The goal of the homeworks is to give you practice learning the material. The homework questions both supplement and complement the material from lecture and in the project, and you will also find the homework questions to be useful for practicing for the exams. We will post solutions to all homeworks after they are submitted, and you can use them for studying as well. But, even with the solutions, the amount you learn from the homeworks will be directly correlated with your effort working on them.
The course has one tutorial project and three programming projects using the Nachos instructional operating system.
Discussion sections answer questions about the lectures, homeworks, projects, and programming environment. They may also supplement the lectures with additional material.
Your grade for the course will be based on your performance on the homeworks, midterm and final exams, and the three projects using the following weights:
The academic honesty guidelines outlined by Charles Elkan apply to this course. I urge you to resist any temptation to cheat, no matter how desperate the situation may seem. If you are in circumstances that you feel compel you to cheat, come to me first before you do so.
E. W. Dijkstra, The Structure of the 'THE'-Multiprogramming System, Communications of the ACM, Vol. 11, No. 5, May 1968, pp. 341-346.
(Additional historical background on semaphores in Wikipedia)
D. M. Ritchie and K. Thompson, The UNIX Time-Sharing System, Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375.
C. A. R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM, Vol. 17, No. 10, October, 1974, pp. 549-557.
Blaise Barney, POSIX Threads Programming, Lawrence Livermore National Laboratory.
Andrew D. Birrell, An Introduction to Programming with Threads, DEC SRC Research Report 35, January 6, 1989.