EECS-343 Operating Systems, Fall 2014

Announcements

Go to our Piazza course page

Administrative Information

Professor

Fabián E. Bustamante
Technological Institute, L465
+1 847 491-2745
This email address is being protected from spambots. You need JavaScript enabled to view it.

TAs

John Rula
Ford Design Building, 2-230
+1 847 467-3250
This email address is being protected from spambots. You need JavaScript enabled to view it.

Dipendra Jha
Ford Design Building, 2-217
+1 847 467-3250
This email address is being protected from spambots. You need JavaScript enabled to view it.

Location and Time

Lectures: Tuesdays and Thursdays 11:00AM-12:20PM
F. Searle 2407

Discussion Sessions: Wednesdays 6:00-7:00PM (Labs)

Professor Office Hours: by appointment

TA Office Hours: Monday and Friday 3:00 - 5:00PM (Wilkinson)

Final Exam: Tuesday, Dec. 9, 2014 12:00-2:00PM

Course Description

Catalog Description: Fundamental overview of operating systems. Operating systems structures, processes, process synchronization, deadlocks, CPU scheduling, and memory management.

Detailed Description: Operating systems control all of a computer's resources and present users with the equivalent of virtual machines that are easier to program than their underlying hardware. This course provides an overview of fundamental operating system principles, complemented with discussions of concrete modern systems to help you understand how these principles are applied in real OSs. Topics covered include an overview of the components of an operating system, mutual exclusion and synchronization, implementation of processes, scheduling algorithms, memory management and file systems.

Although the main learning objective of the course is to understand the requirements, design and implementation of modern operating systems, at a higher level the course aims to provide you with a good grasp of basic abstractions employed in system-level software (such as processes, threads, virtual memory, caching, etc.), while uncovering the "magic" that happens inside the box.

The course has a strong project component intended to provide essential experience in designing and implementing complex systems and working as part of a team. In designing the projects and estimating their required effort/hours, I am assuming you are (1) familiar with basic computer organization and data structures and (2) capable of programming in C in UNIX (or UNIX-like) systems (experience with pointers, explicit dynamic memory allocation, multi-file projects, etc.).

In compliance with Section 504 of the 1973 Rehabilitation Act and the Americans with Disabilities Act, Northwestern University is committed to providing equal access to all programming. Students with disabilities seeking accommodations are encouraged to contact the office of Services for Students with Disabilities (SSD) at +1 847 467-5530 or This email address is being protected from spambots. You need JavaScript enabled to view it. . SSD is located in the basement of Scott Hall. Additionally, I am available to discuss disability-related needs during office hours or by appointment.

Course Prerequisites

Communication Channels

There are a number of communication channels set up for this class:

  • We will use the course web site to post homework assignments, projects, course-related announcements, etc. You should check this regularly.
  • We will use Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates, the TA, and myself. Rather than emailing questions to the teaching staff, I encourage you to post your questions on our Piazza. To register go here.
  • Finally, there is always email for questions that would be inappropriate to post on the newsgroup (source code being a good example).When using email to contact the staff, please start your subject line with "eecs343: helpful-comment" to ensure a prompt response.

Course Organization

The course is organized as a series of lectures, TA sessions, reading, homework, projects and exams:

  • Lectures - A set of lectures through which I present the core of the material.
  • TA Sessions - Discussion sessions held by the TAs to answer questions about the lecture, readings, homework assignments, and projects.
  • Readings - Textbook reading in preparation for (not substitution of) the lecture and additional reading for those interested in delving further into some topics. The outline includes the reading assignments. Each exam, midterm and final, will include two extra credit questions based on the reading list.
  • Homework - Four homework assignments with questions from (or similar to those in) your textbook, aimed at reinforcing the material covered in the reading and the lectures. A last homework assignment on the reading material for our last lecture.
  • Projects - Four programming projects to give you a better understanding of the subject matter and some experience with system level programming including thread-level programming.
  • Exams - Two exams: a midterm and a final exam. These exams cover the material presented in the lecture, homework assignments and projects. Each exam, midterm and final, will include two extra credit questions based on the reading list. You'll be able to bring one page of notes to assist you during the exam.

Exams

There will be a midterm and a final exam. Exams will be in-class, closed-book (except for one page of notes you are allowed to bring in), and will cover materials from lecture, required readings and projects. The final exam will not be cumulative.

Sample final exam

Grading

I use a criterion-referenced method to assign your grade; in other words, your grade will be based on how well you do relative to predetermined performance levels, instead of in comparison with the rest of the class. Thus, if a test has 100 possible points, anyone with a score of 90 or greater will get an A, those with scores of 80 or greater will get a B, those with scores of 70 or greater will get a C, and so on. Notice that this means that if everyone works hard and gets >90, everyone gets an A.

Total scores (between 0 and 100) will be determined, roughly, as follows:

  • Homework 20%
  • Projects 40%
  • Exams (20% each) 40%

A note about class participation: while not explicitly included as an item in the previous list, your participation in class will be taken into consideration throughout the quarter and when granting partial and final scores/grades.

To check your grades you can use this form.

Policies

Late policy:

Unless otherwise indicated, homework assignments and projects are due by midnight on their due date. If you hand in an assignment late, we will take off 10% for each day (or portion thereof) it is late. Assignments that are three or more days late receive no credit.

Cheating vs. Collaboration:

Collaboration is a really good thing and we encourage it. On the other hand, cheating is considered a very serious offense. When in doubt, remember that it's OK to meet with colleagues, study for exams together, and discuss assignments with them. However, what you turn in must be your own (or for group projects, your group's own) work. Copying code, solution sets, etc. from other people or any other sources is strictly prohibited.

Course Outline and Approximate Dates

Because one has to be an optimist to begin an ambitious project, it is not surprising that underestimation of completion time is the norm.
-- Fernando J. Corbató, ``On Building Systems that Will Fail'', 1990 Turing Award Lecture.
Date Topic (slides) Reading
09/23 Introduction [PDF] Brinch Hansen, 2000; OSC 1; MOS 1.1-1.2
09/25 Architectural Support for OS [PDF] OSC 1; MOS 1.3
09/30 Operating System Concepts & Structure [PDF] Redell et al., 1980; OSC 2; MOS 1.5-1.7
10/02 Processes [PDF] OSC 3; MOS 2.1
10/07 Scheduling [PDF] C. Waldspurger et al., 1994; OSC 6; MOS 2.4
10/09 Scheduling [PDF] OSC 6; MOS 2.4
10/14 Memory Management [PDF] OSC 8; MOS 3.1-3.2
10/16 Virtual Memory 1 [PDF] H. Levy and P. Lipman, 1982; OSC 9; MOS 3.3, 3.7
10/21 Virtual Memory 2 [PDF] OSC 9; MOS 3.3
10/23 Virtual Memory 3 [PDF] OSC 9; MOS 3.4-3.6
10/28 Virtual Machines [PDF] OSC 9; MOS 8.3
10/30 Midterm
11/04 Threads [PDF] Lampson and Redell, 1980; OSC 4; MOS 2.2
11/06 Synchronization [PDF] OSC 5; MOS 2.3, 2.5
11/11 Synchronization [PDF] OSC 5; MOS 2.3, 2.5
11/13 Deadlocks [PDF] OSC 7; MOS 6
11/18 I/O [PDF] OSC 13, 10; MOS 5.1-5.4
11/20 File Systems [PDF] Rosenblum and Ousterhout, 1991; OSC 11; MOS 4.1-2
11/25 File Systems [PDF] OSC 12; MOS 4.3-5
11/27 Thanksgiving
12/02 Distributed Systems [PDF] OSC 17; MOS 8.4
12/04 Research in Operating Systems [PDF] Ousterhout et al., 2013
12/09 Final (12-2PM) -

Calendar

This calendar shows the dates for the course, including lectures, assignments, exams, etc.

Homework & Projects

Homework

There will be two kinds of homework assignments given throughout the class: reading assignments and textbook-style questions. You should have finished the assigned reading before coming to lecture. In addition, there will be a set of written homework assignments that must be done alone and turned in by midnight on the due date (see course policies below).

HomeworkOutInSolution
1: Operating Systems, processes, scheduling 10/06 10/14 Solution
2: Memory Management and Virtual Memory 10/20 10/27 Solution
3: Threads and Synchronization 11/07 11/14 Solution
4: I/O and File Systems 11/22 12/03 Solution
5: Research in Operating Systems 12/04 12/04

To submit your homework solutions (ASCII text only!) use the following page: SUBMISSIONS.

Projects

As you can deduce from the allocation of weights for grading, programming projects make up a major portion of this class. There will be four (4) projects. All projects are to be done by teams of two to three (2-3) people. Team members should work cooperatively on the design, implementation, and testing of their solution.

The following table of deadlines should serve you as a guideline for planning your quarter. You are given about two weeks per project. This should be plenty of time if managed carefully. Keep in mind that projects cannot be handed in more than three days late (check the course late policy for details).

You can get a copy of the handout and skeleton for any of your projects here. The skeleton for any project would be available in the format blah.tar.gz. You should save (transfer) this file to your Unix box and run % gunzip blah.tar.gz and % tar xvf blah.tar, in that order. This will create a skeleton directory that will include the source code and makefile for the skeleton as well as the associated regression testing framework.

Info on the EECS Wilkinson and T labs.

To submit your projects use the following page: SUBMISSIONS.

ProjectOutInGrade
Project 1: Tiny Shell [shell.tar.gz] 09/24 10/10 TBD
Project 2: Kernel Memory Allocator [kma.tar.gz] 10/13 10/28 TBD
Project 3: Multi-threaded Server [server.tar.gz] 11/03 11/17 TBD
Project 4: File System [ext2cat_skeleton.tar.gz] 11/19 12/03 TBD

Code Walkthrough

As part of every project grading a subset of 2-8 teams will be randomly selected to conduct a walkthrough of their code for the TAs and instructor. A walkthrough is a form of software peer review in which a designer or programmer leads participants through the software product, while the participants ask questions and make comments on code functionality, style, compliance to standards, etc.

Note: To be granted full credit for a project you must be able to carry the walkthrough and unquestionably show a full understanding of your own code.

A few points on the topic

  • For each of the four projects during the quarter, between 2-8 teams will be selected to conduct a walkthrough
  • The selection will be random with replacement; in other words, your team could be selected multiple times over the quarter
  • The walkthrough must be done in the first week immediately following submission
  • All team members must be present; one of the members will conduct the walkthrough while the other(s) take note of the questions and comments
  • Every participant (TAs, instructor and members of other teams) can ask question about and comment on the code
  • All members of the team conducting the code-review must drive the walkthrough at different times during the meeting
  • Members of other teams present during a code review session are require to provide comments on the code being presented (besides their own). They can submit their comments to the TA after the session for a total of 2.5% extra (from total) points.

Materials

Textbook

There is no "official" book for the course. A few books we have used in the past include:

I also really like Remzi and Andrea Arpaci-Dusseau's Operating Systems: Three Easy Pieces and the authors' case for "free online books" ("OS3").

Course Virtual Machine

Due to the differences which arise in compilation and behavior of systems level programs across platforms, we use a virtual machine to ensure runtime consistency for projects. Your projects will be graded on a 32-bit Ubuntu 14.04LTS virtual machine for this course. We are distributing a packaged Virtual Box VM Image to allow you to guarantee your code compiles and runs as intended.

Instructions and image files are found here.

Reference Material

  • Advanced Programming in the Unix Environment, R. Stevens, Addison-Wesley, 1992. A fantastic reference book for anyone writing programs that run under Unix (Highly recommended). There is also a nicely updated second edition out there.
  • The Practice of Programming, Brian W. Kernighan and Rob Pike. Addison-Wesley, 1999. There is more to writing a program than getting the syntax right, fixing the bugs you have noticed, and making it run fast enough. Programs are read not only by computers but also by programmers. A well-written program is easier to understand, grade, and modify than a poorly-written one. This book is packed with great practical advice on style, design, interfaces, testing and debugging, maintenance, ...; all issues that programmers must deal with in the real world.
  • The C Programming Language, 2nd Ed., B. W. Kernighan and D. M. Ritchie, Prentice Hall, 1988. ``The'' reference book.
  • Chapter 12 Kernel Memory Allocation, In UNIX Internals: The new frontier, Uresh Vahalia, 1996. A nice presentation of KMA, algorithms and their evaluation.
  • Concurrent Data Structures, Mark Moir and Nir Shavit, In Handbook of Data Structures and Applications, CRC Press, 2004. A useful reference, if a bit out-of-date, on concurrent data structures.
  • Xv6: a simple Unix-like teaching OS - source code and book

Reading List

A set of papers providing a deeper historical perspective of operating systems, in-depth treatment of some of the topics I can only briefly cover in class, and some useful practical advice in designing and implementing complex systems.

  1. The IBM 701 Computer at the General Motor Research Laboratories, George F. Ryckman, IEEE Annals, Apr-Jun 1983.
  2. The nucleus of a multiprogramming system, Per Brinch Hansen, Communications of the ACM, April 1970.
  3. Pilot: an operating system for a personal computer, D. Redell, Y.K. Dalal, T.R. Horsley, H.C. Lauer, W.C. Lynch, P.R. McJones, H.G. Murraly and S.C. Purcell, Communication of the ACM, February 1980. [Exam question]
  4. Lottery scheduling: Flexible proportional-share resource management, Carl Waldspurger and William Weihl, Proc. of First USENIX Symoium on Operating Systems Design and Implementation, November 1994.[Exam question]
  5. Virtual Memory management in the VAX/VMS Operating System, H. Levy and P. Lipman, IEEE Computer, March 1982. [Exam question]
  6. The Slab Alloctor: An Object-Caching Kernell Memory Allocator, J. Bonwick, In Proc. of USENIX Summer, 1994.li>
  7. The Working Set Model for Program Behavior, Peter J. Denning, Proc. of the First ACM Symposium on Operating Systems Principles, October 1967.
  8. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism, Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska and Henry M. Levy, Proc. of the ACM Symposium on Operating Systems Principles, October 1991. [Exam question]
  9. Experiences with Processes and Monitors in Mesa, Butler W. Lampson and David D. Redell, Communications of the ACM, 23(2):105-117, February 1980. [Exam question]
  10. Design and implementation of the log-structured file system, Mendel Rosenblum and John Ousterhout, Proc. of the ACM Symposium on Operating Systems Principles, October 1991. [Exam question]
  11. Sparrow: Distributed, Low Latency Scheduling, Kay Ousterhout, Patrick Wendell, Matei Zaharia and Ion Stoica, Proc. of the ACM Syposium on Operating Sytstems Principles, November 2013.[Required]

When reading papers it is normally useful to write down a summary of about a page. Your summary should include at least:

  1. Paper title and its author(s).
  2. Brief one-line summary.
  3. A paragraph of the most important ideas: perhaps a combination of their motivations, observations, interesting parts of the design, or clever parts of their implementation.
  4. A paragraph of the largest flaws; maybe an experiment was poorly designed or the main idea had a narrow scope or applicability. Being able to assess weaknesses as well as strengths is an important skill for this course and beyond.
  5. A last paragraph where you state the relevance of the ideas today, potential future research suggested by the article, etc.

Some interesting videos:

  1. Timesharing: A Solution to Computer Bottlenecks, an interview to Fernando J. Corbato by MIT Science Reporter John Fitch (Recorded January 7, 1963).
  2. The Final Demonstration of the Xerox 'Star' Computer, David Liddle (Recorded June 17, 1998).

Potentially useful links and tools

Here is a list of potentially useful links: