Instructor(s)
Prof. Butler Lampson
Prof. Martin Rinard
MIT Course Number
6.826
As Taught In
Spring 2002
Level
Graduate
Course Description
Course Features
Course Description
6.826 provides an introduction to the basic principles of computer systems, with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. Particular attention is paid to concurrent and distributed systems. Topics covered include: specification and verification, concurrent algorithms, synchronization, naming, networking, replication techniques (including distributed cache management), and principles and algorithms for achieving reliability.