1
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.
FREE
This course includes
Hours of videos
499 years, 11 months
Units & Quizzes
18
Unlimited Lifetime access
Access on mobile app
Certificate of Completion
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.
Course Currilcum
- Handouts 1-6: Course Information, Spec language Unlimited
- Handout 7: Disks and File Systems Unlimited
- Handout 8: Generalizing Abstraction Functions Unlimited
- Handout 9: Atomic Semantics of Spec Unlimited
- Handouts 10, 11: Performance, Firefly RPC Unlimited
- Handouts 12, 13: Naming, Semantic File System Unlimited
- Handouts 14-16: Concurrency Unlimited
- Handout 17: Formal Concurrency Unlimited
- Handout 18: Consensus Unlimited
- Handout 19: Sequential Transactions with Caching Unlimited
- Handout 20: Concurrent Transactions lecture, slides, and book Unlimited
- Handouts 21,22: Distributed Systems, paper: Autonet Unlimited
- Handout 27: Distributed Transactions Unlimited
- Handout 23: Networks – Links and Switches Unlimited
- Handout 24: Network Objects Unlimited
- Handout 28: Availability and Replication Unlimited
- Handout 30: Concurrent Caching Unlimited
- Handout 31: Computer Security in the Real World Unlimited
