PPT-Distributed Systems: Paxos

Burcu Canakci amp Matt Burke Outline Consensus The PartTime Parliament SingleDecree Paxos Liveness MultiDecree Paxos Paxos Variants Conclusion Outline Consensus The PartTime Parliament. Access to resources of various machines is done explicitly by Remote logging into the appropriate remote machine Transferring data from remote machines to local machines via the File Transfer Protocol FTP mechanism Tightly Coupled Distributed System Cheap Paxos a variant of the Paxos al gorithm guarantees liveness under the additional as sumption that the set of nonfaulty processors does not jump around too fast but uses only F 1 main pro cessors that actually execute the system and F auxiliar Made Simple. Gene Pang. Paxos. L. . Lamport. , The Part-Time Parliament, September 1989. Aegean island of . Paxos. A part-time parliament. Goal: determine the sequence of decrees passed. Lamport. related their protocol to fault-tolerant distributed systems. Presenter-. Kurchi. . S. ubhra. . H. azra. Agenda. Basic Algorithms such as Leader Election. Consensus in Distributed Systems. Replication and Fault Tolerance in Distributed Systems. GFS as an example of a Distributed System. Ali Ghodsi. alig@cs.berkeley.edu. Replicated State Machine (RSM). Distributed Systems 101. Fault-tolerance. . (partial, byzantine, recovery,...). Concurrency. (ordering, asynchrony, timing,...). Generic. Paxos. --- 1. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. NFS. Caching with write-through policy at close(). Stateless server. One power efficient design: FAWN. Embedded CPUs & Flash . Replication. Lecture 16. , Oct 22. nd. 2015 . How’d we get here?. Failures & single systems; fault tolerance techniques added redundancy (ECC memory, RAID, etc.). Conceptually, ECC & RAID both put a “master” in front of the redundancy to mask it from clients -- ECC handled by memory controller, RAID looks like a very reliable hard drive behind a (special) controller. James C. Corbett et al . OSDI 2012. Presenter: Akshay Ravichandran. Outline. What is Spanner?. Why Spanner?. Implementation. External Consistency. Concurrency Control. Evaluation. Related Work. Future Work. Cezara. . Drăgoi. , INRIA ENS CNRS. Thomas A. . Henzinger. , IST Austria. Damien Zufferey. , MIT CSAIL. SNAPL, 2015.05.04. Fault-tolerant distributed algorithms. How to get it right when things go wrong ?. Cezara. . Drăgoi. , INRIA ENS CNRS. Thomas A. . Henzinger. , IST Austria. Damien Zufferey. , MIT CSAIL. SNAPL, 2015.05.04. Fault-tolerant distributed algorithms. How to get it right when things go wrong ?. . Distributed. . Systems. Crash. . Fault. . Tolerance. Sisi. . Duan. Assistant. . Professor. Information. . Systems. sduan@umbc.edu. Outline. A. . brief. . history. . of. . consensus. Paxos. Lecture 11, . Oct 6. th. . 2016 . How’d we get here?. Failures & single systems; fault tolerance techniques added redundancy (ECC memory, RAID, etc.). Conceptually, ECC & RAID both put a “master” in front of the redundancy to mask it from clients -- ECC handled by memory controller, RAID looks like a very reliable hard drive behind a (special) controller. Ethan Cecchetti. October 18, 2016. CS6410. . Some structure taken from Robert Burgess’s 2009 slides on this topic. State Machine Replication (SMR). View a server as a state machine.. To replicate the server:. Lecture 16. , Oct 22. nd. 2015 . How’d we get here?. Failures & single systems; fault tolerance techniques added redundancy (ECC memory, RAID, etc.). Conceptually, ECC & RAID both put a “master” in front of the redundancy to mask it from clients -- ECC handled by memory controller, RAID looks like a very reliable hard drive behind a (special) controller.