Microsoft Word - IEEE-CAP.16.docx

Source URL: www.cs.cornell.edu

• Computing
• Concurrent computing
• Fault-tolerant computer systems
• Distributed algorithms
• Inter-process communication
• Process theory
• Virtual synchrony
• Database management systems
• Replication
• Vsync
• Paxos
• Consistency model

Paxos Made Parallel Zhenyu Guo, Chuntao Hong, Mao Yang, Dong Zhou, Lidong Zhou and Li Zhuang Microsoft Research Asia Abstract Standard state-machine replication involves consensus on a sequence of totally ordered request

Source URL: research.microsoft.com

Byzantine Chain Replication Robbert van Renesse, Chi Ho, and Nicolas Schiper Cornell University? Ithaca, NY, USA {rvr,chho,nschiper}@cs.cornell.edu

Source URL: www.cs.cornell.edu

• Fault-tolerant computer systems
• Computing
• State machine replication
• Replication
• Paxos
• Byzantine fault tolerance
• Consensus

Chubby Given an implementation of Paxos, what is a useful higher-level abstraction for programmers wanting to do consensus-like-things in a distributed system? Common things a programmer might want to do: • •

Source URL: courses.cs.washington.edu

State Machine Replication for the Masses with BFT-SM A RT Alysson Bessani, João Sousa Eduardo E. P. Alchieri Faculdade de Ciências, Universidade de Lisboa, Portugal

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Computing
• State machine replication
• Byzantine fault tolerance
• Replication
• Consensus
• Paxos
• Fault tolerance
• Hypertext Transfer Protocol

Microsoft PowerPoint - TCE2015.pptx

Source URL: tce.technion.ac.il

• Fault-tolerant computer systems
• Computing
• Distributed algorithms
• Parallel computing
• Paxos
• Consensus
• Lamport

1 A Diversified and Correct-by-Construction Broadcast Service Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University, Computer Science Department

Source URL: www.cs.cornell.edu

• Fault-tolerant computer systems
• Computing
• Distributed algorithms
• Paxos
• Consensus
• Communications protocol
• Robert Lee Constable
• Inter-process communication

A Case Study: Proving Paxos with the IOA Toolkit Ni ole Immorli a, Toh Ne Win  y

Source URL: www.immorlica.com

Chapter 4 A Guided Tour on the Theory and Practice of State Machine Replication Alysson Neves Bessani (University of Lisbon, Faculty of Sciences. Portugal)

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Paxos
• State machine replication
• Byzantine fault tolerance
• Consensus
• Replication
• Fault tolerance
• Object
• Communications protocol
• Virtual synchrony

PDF Document

Source URL: static.usenix.org

• Fault-tolerant computer systems
• Paxos
• Replication
• Backup
• Computer data storage
• Cache
• File system
• Byzantine fault tolerance
• Virtual synchrony
• State machine replication