CS 450: Operating Systems

Calendar

This schedule is tentative and may be updated:

May 20

• Topics: Syllabus and Overview
• Slides: Syllabus

May 20

• Reading: OS:TEP Introdunction
• Slides: What is an OS?

May 20

• Slides: OS APIs
• POSIX specification
• Exokernel paper
• Mainframes and the Unix Revolution (YouTube)

May 22

• Slides: x86 and xv6
• Reading: xv6 commentary appendix A and B, chapters 0 and 1
• xv6 code review & demo

May 27

• Memorial Day Holiday

May 29

• xv6 simulation demo

May 29 - June 3

• Scheduling
• Slides: Scheduling
• Reading: OS:TEP chapters 7, 8, 9, 10
• Practice problems

June 5

• Queueing theory
• Slides: Basic Queueing Theory
• Reading: Queueing Systems 1, 2.1, 2.4, 2.6, 3.1-3.6
• Practice problems
  • Solution guide

June 10

• Managing concurrency
• Slides: Concurrency, Races, and Synchronization
• Reading: OS:TEP chapters 26, 27, 28, 29, 31, 32
• Reading: LBoS chapters 1-4

June 12

• Midterm Exam
  • Study guide

June 12

• Building Concurrency Primitives (in xv6)
• Slides: Building Concurrency Primitives

June 17

• Alternative Concurrent Programming Models
• Slides: Alternative Concurrency Models

June 19

• I/O
• Slides: Persistence: I/O devices
• Reading: OS:TEP chapters 36-38

June 24

• Filesystems
• Slides: Filesystems
• Reading: OS:TEP chapters 39-40

June 26

• Final Exam
  • Study guide

Assignments

Please note:

• All submissions must be typed and submitted electronically
• Plagiarism will result in everyone involved getting a zero --- no "teamwork"!

1. Tanenbaum/Torvalds Debate Summary and Analysis (30 points)
   • Due: 5/26
2. xv6 machine problems
   • MP1: Kernel Observations
     (32 points)
     • Due: 6/7
   • MP2: Adding System Calls
     (40 points)
     • Due: 6/14
   • MP3: Kernel Threads
     (65 points)
     • Due: 6/21
   • MP4: Filesystem Improvements
     • Due: 6/30

Resources

Administrivia

• Instructor: Michael Lee
  • E-mail: lee@iit.edu
  • Office: SB 226C
• Course syllabus.

Reference materials

• Operating Systems: Three Easy Pieces, by Remzi Arpaci-Dusseau and Andrea Arpaci-Dusseau.
• The Little Book of Semaphores, by Allen B. Downey.
• xv6 homepage
  • Textbook & Commentary
  • Source booklet
• Intel IA-32 Software Developer's Manuals
  • Volume 1: Basic Architecture
  • Volume 2: Instruction Set Reference
  • Volume 3: Systems Programming Guide

Simulators / Emulators

• QEMU manual — we'll be using QEMU to emulate a 32-bit x86 machine to run and debug xv6
• UTSA process scheduling and disk head scheduling simulators (and many others)

Supplementary materials

• "What really happened on Mars?" — information on the Mars Pathfinder mission bug (i.e., priority inversion)
• Moshe Zukerman, Introduction to Queueing Theory and Stochastic Teletraffic Models. 2015.