IronFleet

Muddy Foreheads

Failure models

Remote Procedure Call (RPC)

Transition Systems

Primary/backup

Distributed Transition Systems

Virtual Clocks

Paxos

MultiPaxos

Leases

Consistency Models

Vector Clocks

Snapshots

Sharding

Two-phase commit

Microservices

Bigtable

Google File System (GFS)

Spanner

Bayou

Dynamo

Tapir

CSE 452 Distributed Systems University of Washington Winter 2022 This senior-level course offers deep insights into the construction of distributed systems like client-server computing, web, cloud computing, and peer-to-peer systems. Major topics include remote procedure call, error management, and consistency of distributed state. Noted for its intellectually challenging and career-relevant approach. Distributed systems are central to many aspects of how computers are used, from web applications to e-commerce to content distribution. This senior-level course will cover abstractions and implementation techniques for the construction of distributed systems, including client-server computing, the web, cloud computing, peer-to-peer systems, and distributed storage systems. Topics will include remote procedure call, preventing and finding errors in distributed programs, maintaining consistency of distributed state, fault tolerance, high availability, and scaling.

Alumni of this course say that it is among the most intellectually challenging courses that they have taken at UW, and among the most relevant to their future careers. We will attempt to live up to that recommendation. We believe the best way to learn the material is to implement the ideas presented in the course, and so there is a substantial programming project.

The [calendar page](https://courses.cs.washington.edu/courses/cse452/22wi/schedule) provides a detailed topic list for the course, including readings, problem sets, and labs. In addition, we are using Gitlab, Ed, and Gradescope for various parts of the course.   

CSE 452 Distributed Systems

Parallelism and Distributed Systems

IronFleet

1 courses cover this concept

CSE 452 Distributed Systems