How to Build a Highly Available System Using Consensus
How to Build a Highly Available System Using Consensus
复制标题
如何使用共识构建高可用系统
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
B. Lampson
中科院分区：
文献类型：
--
作者：
B. Lampson
兰普特（Lamport）表明，考虑到复制算法，复制的确定性状态机是实现高度可用系统的一般方法，而复制品可以使用该算法来同意每个输入。他的PAXOS算法是无需实时保证就获得共识的最容易出现的方式。由于一般共识很昂贵，因此实用的系统将其保留用于紧急情况，并在大多数计算机上使用租赁（锁定时间）。本文解释了有效高度可用计算的一般方案，提供了一种理解并发和容忍性程序的一般方法，并将Paxos算法衍生为该方法的一个示例。
Lamport showed that a replicated deterministic state machine is a general way to implement a highly available system, given a consensus algorithm that the replicas can use to agree on each input. His Paxos algorithm is the most fault-tolerant way to get consensus without real-time guarantees. Because general consensus is expensive, practical systems reserve it for emergencies and use leases (locks that time out) for most of the computing. This paper explains the general scheme for efficient highly available computing, gives a general method for understanding concurrent and fault-tolerant programs, and derives the Paxos algorithm as an example of the method.