Assignments · Lecture Notes
MIT OpenCourseWare
Operating System Engineering
Art: Palmer, Edward, 1803-1872, Figures 113-123. Plate Electrical Machines, 1840 · Public domain
- Instructor
- Prof. Frans Kaashoek
- Term
- Fall 2012
- Level
- Graduate
- What's inside
- 13 exams · 17 solutions · 1 lecture note · 2 handouts · 51 other files · 9 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 6.828 Operating System Engineering, Fall 2012, Prof. Frans Kaashoek — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Has MIT solutions
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- MIT's own materials here did not support a verified, course-wide order, so they are grouped by section instead.
Not included here
66 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely. (65 items)
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes and Readings
20 files
- Operating System Engineering, Lecture 1 Download
- Operating System Engineering, Lecture 2 Download
- Operating System Engineering, Lecture 3 Download
- Operating System Engineering, Lecture 4 Download
- Operating System Engineering, Lecture 4, Handout 4 Download
- Operating System Engineering, Lecture 5 Download
- Operating System Engineering, Lecture 5, Handout 5 Download
- Operating System Engineering, Lecture 6 Download
- Operating System Engineering, Lecture 7 Download
- Operating System Engineering, Lecture 8 Download
- Operating System Engineering, Lecture 9 Download
- Operating System Engineering, Lecture 10 Download
- Operating System Engineering, Lecture 11 Download
- Operating System Engineering, Lecture 13 Download
- Operating System Engineering, Lecture 17 Download
- Operating System Engineering, Lecture 18 Download
- Operating System Engineering, Lecture 21 Download
- Operating System Engineering, Lecture 22 Download
- xv6 Book Download
- xv6 Source Download
Labs
11 files
- This is the special file regarding Lab 1 (lab1.tar.gz) Download
- This is the special file regarding lab 2 (lab2.tar.gz) Download
- This is the special file regarding lab 3 (lab3.tar.gz) Download
- This is the special file regarding Pointers c (lab4.tar.gz) Download
- This is the special file regarding lab 5 (lab5.tar.gz) Download
- Operating System Engineering, Lab 1 Download
- Operating System Engineering, Lab 2 Download
- Operating System Engineering, Lab 3 Download
- Operating System Engineering, Lab 4 Download
- Operating System Engineering, Lab 5 Download
- pointers.c (C) Download
Assignments
22 files
- Operating System Engineering, Inode Diagram Download
- Operating System Engineering, Assignment 1 Download
- Operating System Engineering, Assignment 2 Download
- Operating System Engineering, Assignment 3 Download
- Operating System Engineering, Assignment 4 Download
- Operating System Engineering, Assignment 5 Download
- Operating System Engineering, Assignment 6 Download
- Operating System Engineering, Assignment 7 Download
- Operating System Engineering, Assignment 8 Download
- Operating System Engineering, Assignment 9 Download
- Operating System Engineering, Assignment 10 Download
- Operating System Engineering, Assignment 11 Download
- Operating System Engineering, Assignment 13 Download
- Operating System Engineering, Assignment 18 Download
- Operating System Engineering, Assignment 21 Download
- Operating System Engineering, Assignment 22 Download
- sh.c (C) Download
- ph.c (C) Download
- uthread_switch.S (S) Download
- uthread.c (C) Download
- barrier.c (C) Download
- big.c (C) Download
Exams
30 files
- Operating System Engineering, Exam 1 Solutions, Fall 2003 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2004 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2005 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2007 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2008 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2009 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2010 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2011 Download
- Operating System Engineering, Exam 1 Solutions, Fall 2012 Download
- Operating System Engineering, Exam 1, Fall 2002 Download
- Operating System Engineering, Exam 1, Fall 2006 Download
- Operating System Engineering, Exam 1, Fall 2008 Download
- Operating System Engineering, Exam 1, Fall 2009 Download
- Operating System Engineering, Exam 1, Fall 2010 Download
- Operating System Engineering, Exam 1, Fall 2011 Download
- Operating System Engineering, Exam 1, Fall 2012 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2003 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2004 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2005 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2007 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2008 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2009 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2010 Download
- Operating System Engineering, Exam 2 Solutions, Fall 2011 Download
- Operating System Engineering, Exam 2, Fall 2002 Download
- Operating System Engineering, Exam 2, Fall 2006 Download
- Operating System Engineering, Exam 2, Fall 2008 Download
- Operating System Engineering, Exam 2, Fall 2009 Download
- Operating System Engineering, Exam 2, Fall 2010 Download
- Operating System Engineering, Exam 2, Fall 2011 Download
Course outline
Assignments · Lecture Notes
Lecture 2: Boot xv6 (PDF)
Assignments · Lecture Notes
Lecture 3: Trace System Calls, Add Halt (PDF)
Assignments · Lecture Notes
Lecture 4: Lazy Page Allocation (PDF)
Assignments · Lecture Notes
Lecture 5: xv6 CPU Alarm (PDF)
Assignments · Lecture Notes
Lecture 6: Locks (PDF) ph.c (C)
Assignments · Lecture Notes
Lecture 7: Uthreads (PDF) uthread_switch.S (S) uthread.c (C)
Assignments · Lecture Notes
Lecture 8: Barrier (PDF) barrier.c (C)
Assignments · Lecture Notes
Lecture 9: Big Files (PDF) big.c (C) Inode Diagram (PDF)
Assignments · Lecture Notes
Lecture 10: Crash (PDF)
Assignments · Lecture Notes
Lecture 11: Journaling (PDF)
Assignments · Lecture Notes
Lecture 13: OS Organization (PDF)
Assignments · Lecture Notes
Lecture 18: Spin Lock Alternatives (PDF)
Assignments · Lecture Notes
Lecture 21: Lock-free Coordination (PDF)
Assignments · Lecture Notes
Lecture 22: Virtual Machines (PDF)
MIT OpenCourseWare, Prof. Frans Kaashoek, 6.828 Operating System Engineering, Fall 2012.
License: CC BY-NC-SA 4.0 · Edition: Fall 2012 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
