|Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau|
Operating Systems: Three Easy Pieces
Version 1.00 (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.
|9/26||Course Intro||CH. 1, CH. 2|
|10/1||Architectural Support||CH. 6||Hardware events||HW 1: Out||PR 0: Out|
|10/3||Processes||CH. 4, CH. 5||Linux context switch||PR 1: Out|
|10/8||Threads||CH. 26, CH. 27|
|10/10||Synchronization||CH. 28, CH. 29||
HW 1: Due
HW 2: Out
|10/15||Semaphores and Monitors||CH. 30, CH. 31||Languages and CVs|
|10/17||Semaphores and Monitors||CH. 30, CH. 31||Languages and CVs|
|10/22||(No lecture, work on project)|
|10/24||Scheduling and Deadlock||CH. 7, CH. 8, CH. 32|
|10/25||(Friday)||PR 1: Due|
|10/26||(Saturday)||HW 2: Due|
|10/28||Review Session||5–6:20pm Ledden 216|
|10/30||(Wednesday)||PR 2: Out|
|10/31||Memory Management||CH. 15, CH. 16, CH. 18||HW 3: Out|
|11/5||Paging||CH. 19, CH. 20|
|11/7||Paging (cont'd)||CH. 19, CH. 20|
|11/12||Page Replacement||CH. 21, CH. 22, CH. 23|
|11/14||File Systems||CH. 37, CH. 39, CH. 40||Interesting behaviors|
|11/16||(Saturday)||PR 2: Due|
|11/18||(Monday)||HW 3: Due|
|11/19||File System Implementation||CH. 37, CH. 39, CH. 40||HW 4: Out||PR 3: Out|
|11/26||Virtual Machines||Appendix B|
|11/28||Thanksgiving Holiday||Thanksgiving||Food. Lots of it.||Sleep. Lots of it.|
|12/4||(Wednesday)||HW 4: Due|
|12/5||Summary & Final Review|
|12/6||(Friday)||PR 3: Due|
|12/9||Review Session||3–3:20pm PCYNH 109|
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. You may type or handwrite your answers, and we will use gradesource for submitting homeworks. We will reduce homework grades by 20% for each day that they are late.
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.
I encourage you to collaborate on the homeworks: You can learn a lot from your fellow students. Collaboration consists of discussing problems with other students and independently writing your own answers to the problems based upon those discussions. As a rule of thumb, you should be able to discuss a homework problem in the hall with others, go home, and then write up your answer to the problem on your own.
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.