6.826 Principles of Computer Systems
Spring 2002
Home
Contact Info
Calendar
Course Materials
Archive
Lecture Notes
Handouts 1-6: Course Information, Spec language
Handout 7: Disks and File Systems
Handout 8: Generalizing Abstraction Functions
Handout 9: Atomic Semantics of Spec
Handouts 10, 11: Performance, Firefly RPC
Handouts 12, 13: Naming, Semantic File System
Handouts 14-16: Concurrency
Handout 17: Formal Concurrency
Project Suggestions
(if you do not have your own idea)
Handout 18: Consensus
Handout 19: Sequential Transactions with Caching
Handout 20: Concurrent Transactions
lecture,
slides
, and
book
Handouts 21,22: Distributed Systems, paper: Autonet
Handout 27: Distributed Transactions
Handout 23: Networks - Links and Switches
Handout 24: Network Objects
Handout 25: Paper: Network Objects
Handout 26: Reliable Messages
Handout 28: Availability and Replication
Handout 29 available by NE43-620
Handout 30: Concurrent Caching
Handout 31: Computer Security in the Real World
Problem Sets
Problem Set 1: [
pdf
] [
ps
], Solutions: [
pdf
] [
ps
]
Problem Set 2: [
pdf
] [
ps
],
Clarifications
, Solutions: [
pdf
] [
ps
]
Problem Set 3: [
pdf
] [
ps
],
Clarifications
, Solutions: [
pdf
] [
ps
]
Problem Set 4: [
pdf
] [
ps
],
Clarifications
, Solutions: [
pdf
] [
ps
]
Problem Set 5: [
pdf
] [
ps
],
Clarifications
, Solutions: [
pdf
] [
ps
]
Spec
Development Tools
Comments and questions to:
vkuncak@mit.edu
Last modified: March 2002
