CS294-8: Lectures
Fall, 2000
- August 29: Introduction and Motivation
(PowerPoint, Postscript,
PDF)
- August 31: ISTORE: Hardware Overview and Software Challenges,
in 380 Soda at 3:30
(PowerPoint, Postscript,
PDF)
- September 5: Grapevine and Porcupine: Applications of Distributed Servers,
(PowerPoint, Postscript,
PDF)
- September 12: Communication and RPC (Network Objects),
(PowerPoint)
- September 19: Time & Clocks in Distributed Systems,
(PowerPoint, Postscript)
- September 26: Consensus,
(PowerPoint). Due to technical
problems, some slides during lecture were taken from Butler Lampson's
talk on How to Build a Highly Available System without a Toolkit.
- October 3: Introduction to SPEC,
(PowerPoint). The handouts from class contained
some mistakes in the Memory example that are corrected in this version.
- October 10: no lecture
- October 17: Abstraction Functions,
(PowerPoint,
Postscript).
- October 24: Extended Static Checking
(PowerPoint).
- October 31: Distributed Data Structures,
(PowerPoint,
Postscript)
- November 7: Benchmarking
- November 14: Load Balancing
(PowerPoint)
- November 28: Consensus Revisited,
(PowerPoint,
Postscript)
December 5: Self-Stabilizing Algorithms,
(PowerPoint)