Home

Class Information

Lectures

Exercises

Reference Material

Reference Material

This page contains useful web links, and other documentation and reference material related to CS 600.417/ 601.617. Some of this material is provided by other web sites and may change, so please tell us if you notice a problem with these links or they do not seem useful to you.

General Distributed Systems

Guide to Reliable Distributed Systems Kenneth P. Birman 2012 Springer web page. This is a recommended book for many of the topics covered in lecture. Introduction to Reliable and Secure Distributed Programming Christian Cachin, Rachid Guerraoui, Luis Rodrigues 2011 Springer web page. This is another recommended book for many of the topics covered in lecture. Total Order Broadcast and Multicast Algotithms: Taxonomy and Survey Defago, Schiper and Urban, 2004 PDF file A comprehensive survey paper for reliable ordered multicast protocols Impossibility of Consensus Fischer, Lynch and Paterson, 1985 PDF file Here is the original paper that proves the impossibility of consensus in asynchronous networks Raft: a more understandable Consensus Algorithm Ongaro and Ousterhout, 2014 Raft web site Raft paper Raft presentation A leader-based consensus algorithm that is similar in nature to Paxos and has some similarities and some differences with the Paxos-SB (Paxos for System Builders) variant taught in class.