EECS-343 Operating Systems, Fall 2012

Announcements

Have a good break!

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

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

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.

Location and Time

Lectures: Mondays and Wednesdays 2:00-3:20PM
F. Searle 1441 (Note new room to fit demand!)

TA Sessions: Wednesdays 5:30-6:30PM (M164)

Professor Office Hours: by appointment

TA Office Hours: Tuesdays 5:30-6:30PM (M345)
Thursdays 5:00-6:00PM (Ford)

Final Exam: Monday Dec. 10, 9-11AM

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 the Google Group EECS 343 at Northwestern for class discussion. This particular channel is intended to foster communication among you, the students. You'll find that someone else in the class will have thought of the same problem that you have and will perhaps have some valuable insight that will prove helpful. The staff will be monitoring the discussion threads and will step in with guidance when appropriate. If you don't have a subscription already, you can request one:
    Email:
  • 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 - Three to 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 midterm 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.
DateTopic (slides)Reading
10/01 Introduction [pdf] 1
10/03 Architectural Support for Operating Systems [pdf] 2
10/08 Operating System Concepts & Structure [pdf] 2; Paper 1
10/10 Processes [pdf] 3 (3.6 excluded)
10/15 Threads [pdf] 4
10/17 Scheduling [pdf] 5; Paper 2
10/22 Process Synchronization [pdf] 6
10/24 Semaphores & Monitors [pdf] 6; Paper 3
10/29 Deadlocks [pdf] 7
10/31 Midterm -
11/05 Memory Management [pdf] 8
11/07 Memory Management [pdf] 8
11/12 Memory Management [pdf] 8
11/14 Virtual Memory [pdf] 9
11/19 Virtual Memory [pdf] 9
11/21 Thanksgiving -
11/26 Virtual Memory [pdf] 9; Paper 4
11/28 I/O [pdf] 12,13
11/03 File systems [pdf] 10, 11; Paper 5
12/06 Research in Operating Systems/Review for final [pdf] MUST READ: Paper 7
12/10 Final -

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: Introduction to Operating Systems [life.tar.gz] 10/03 10/09 --
2: Processes, Threads and Synchronization 10/19 10/29
3: Memory Management and Virtual Memory 11/12 11/19 --
4: I/O and File Systems -- --
5: Research in Operating Systems 12/05 12/05 -

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 but the first project 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. Note that the first project has two deadlines, the first one just a week after the project is assigned. After that, 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.

ProjectOutInGradeNews
1: Tiny shell Part 1 10/02 10/12 10/15 -
2: Tiny shell Part 2 10/16 10/26 10/30 -
3: KMA 11/06 11/20 11/22 -
4: ext2cat 11/26 12/06 12/10 -

Materials

Textbook

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.

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.

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.

You may find the following brochure useful: Efficient reading of papers in Science and Technology by Michael J. Hanson, 1990, revised 2000 Dylan McNamee.

  1. An Experimental Time-Sharing System, Fernando J. Corbató, Marjorie M, Daggett and Robert C. Daley, Spring Joint Computer Conference (AIEE-IRE), May 1962. OS
  2. 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, ACM Transactions on Computer Systems, 10(1):53-79, February 1992. Process Management
  3. Experiences with Processes and Monitors in Mesa, Butler W. Lampson and David D. Redell, Communications of the ACM, 23(2):105-117, February 1980. Process Synchronization
  4. The Working Set Model for Program Behavior, Peter J. Denning, Proc. of the First ACM Symposium on Operating Systems Principles, October 1967. Memory Management
  5. A Fast File System for Unix, Marshall K. Mckusick, William N. Joy, Samuel J. Leffler and Robert S. Fabry, ACM Transactions on Computer Systems, 2(3):181-197, August 1984. File Systems
  6. Implementing Remote Procedure Calls,, Andrew D. Birrell and Bruce J. Nelson, ACM Transactions on Computer Systems, 2(1):39-59, February 1984. Distributed Systems
  7. DTHREADS: Efficient Deterministic Multithreading, T. Liu, C. Curtsinger and E. Bergerd, Proc. of SOSP, October 2011.
    This is a must read. We will discuss this paper in our last day of classes.

Potentially useful links and tools

Here is a list of potentially useful links: