Calendar · Lecture Notes
MIT OpenCourseWare
Principles of Computer Systems
Art: not stated, Fletcher's Combined Block Telegraph Apparatus and Bell, 1889 · Public domain
- Instructors
- Prof. Butler Lampson, Prof. Martin Rinard
- Term
- Spring 2002
- Level
- Graduate
- What's inside
- 1 lecture note · 32 other files · 3 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 6.826 Principles of Computer Systems, Spring 2002, Prof. Butler Lampson, Prof. Martin Rinard — 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.
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
- A lecture sequence of 26 items is confirmed. Assignment and exam materials exist too, but MIT's own order for them could not be verified, so they're shown as materials below rather than a sequence.
Not included here
2 items from the source could not be safely included:
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence. (2 items)
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes
18 files
- Handouts 1-6: Course Information, Spec language Download
- Handout 7: Disks and File Systems Download
- Handout 8: Generalizing Abstraction Functions Download
- Handout 9: Atomic Semantics of Spec Download
- Handouts 10, 11: Performance, Firefly RPC Download
- Handouts 12, 13: Naming, Semantic File System Download
- Handouts 14-16: Concurrency Download
- Handout 17: Formal Concurrency Download
- Handout 18: Consensus Download
- Handout 19: Sequential Transactions with Caching Download
- Handout 20: Concurrent Transactions lecture, slides, and book Download
- Handouts 21,22: Distributed Systems, paper: Autonet Download
- Handout 27: Distributed Transactions Download
- Handout 23: Networks - Links and Switches Download
- Handout 24: Network Objects Download
- Handout 28: Availability and Replication Download
- Handout 30: Concurrent Caching Download
- Handout 31: Computer Security in the Real World Download
Assignments
11 problem sets
- Problem Set 1 Download
- Problem Set 1 · Solutions Download
- Problem Set 2 Download
- Problem Set 2 · Solutions Download
- Problem Set 2 · Clarifications Download
- Problem Set 3 Download
- Problem Set 3 · Solutions Download
- Problem Set 3 · Clarifications Download
- Problem Set 4 Download
- Problem Set 4 · Solutions Download
- Problem Set 4 · Clarifications Download
Other materials from this course
Course outline
Calendar · Lecture Notes
Lecture 2: L
Calendar · Lecture Notes
Lecture 3: L
Calendar · Lecture Notes
Lecture 4: L
Calendar · Lecture Notes
Lecture 5: R
Calendar · Lecture Notes
Lecture 6: R
Calendar · Lecture Notes
Lecture 7: L
Calendar · Lecture Notes
Lecture 8: L
Calendar · Lecture Notes
Lecture 9: R
Calendar · Lecture Notes
Lecture 10: R
Calendar · Lecture Notes
Lecture 11: R
Calendar · Lecture Notes
Lecture 12: R
Calendar · Lecture Notes
Lecture 13: L
Calendar · Lecture Notes
Lecture 14: R
Calendar · Lecture Notes
Lecture 15: R
Calendar · Lecture Notes
Lecture 16: R
Calendar · Lecture Notes
Lecture 17: R
Calendar · Lecture Notes
Lecture 18: L
Calendar · Lecture Notes
Lecture 19: L
Calendar · Lecture Notes
Lecture 20: L
Calendar · Lecture Notes
Lecture 21: L
Calendar · Lecture Notes
Lecture 22: R
Calendar · Lecture Notes
Lecture 23: Early project presentations
Calendar · Lecture Notes
Lecture 24: Early project presentations
Calendar · Lecture Notes
Lecture 25: Late project presentations
Calendar · Lecture Notes
Lecture 26: Late project presentations
MIT OpenCourseWare, Prof. Butler Lampson, Prof. Martin Rinard, 6.826 Principles of Computer Systems, Spring 2002.
License: CC BY-NC-SA 4.0 · Edition: Spring 2002 · 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.
