`

paxos白话版

阅读更多

详细论证内容请参考作者写paxos-simple.pdf,开头就写了一句:The Paxos algorithm, when presented in plain English, is very simple.(表示鸭梨很大)

 

假设场景:a、b、c、d在一起工作,经常需要对某件事情快速达成一致(无对错、优先级区别);且相互之间是通过消息沟通,可能存在消息丢失、重发等情况,但保证消息不会损坏.

1.选择其中某人来决定选择那个提议,且选择自己收到的第一个提议;如选择a.
问题:若a生病未来,则所有的事情都没法继续进行.
1.1 改进:选择多个人来决定选择哪个提议.
如何判定通过:当超过n/2+1.
问题:若a、b同时提出提议,a、b同意a+提议,d、c同步b+提议,则仍无法达成一致
1.1.1 改进:每个人可以选择多个提议.
问题:但存在a、b、c先同意a+提议,则a+提议通过;b、d、c同意b+提议,则同时存在多个被通过的提议.
1.1.1.1 改进:限制某个提议通过后,后续通过的提议的内容相同

2.关键如何保证:某个提议通过后,后续通过的提议的内容相同
2.1 等价条件:某个提议通过后,后续提出的议案的内容与已通过提议的内容相同
如何实现:二阶段提交
2.1.1 活锁问题
改进:选择其中某个人作为主提议者,其它人不能提出提议
问题:如何选择’主提议者’.

3.如何通知其它人已经通过的决议.

 

参见:http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf

分享到:
评论

相关推荐

    cheap-paxos.pdf_Paxos算法_

    这篇名为"cheap-paxos.pdf"的论文深入探讨了Paxos算法的一个变种——廉价Paxos(Cheap Paxos),它在保持Paxos算法基本性质的同时,优化了性能,降低了复杂性,尤其适用于大规模分布式系统。 Paxos算法最初由Leslie...

    Paxos算法中文翻译

    Paxos算法是一种在异步分布式系统中实现共识(Consensus)的算法,由Leslie Lamport提出。它能够确保系统中的多个节点即使在某些节点出现故障时,也能就某个值(例如一个操作请求)达成一致意见。Paxos算法的核心...

    Paxos implementation

    Paxos算法是一种分布式系统中用来实现一致性协议的经典算法。该算法由莱斯利·兰伯特(Leslie Lamport)于1990年提出,旨在解决分布式系统中不同节点间可能出现的故障和通信延迟问题,从而实现可靠的决策过程。Paxos...

    Fast Paxos(pdf)

    ### 分布式共识问题与Paxos算法 分布式共识问题是分布式系统领域的一个核心问题,它要求一组进程能够就某一个值达成一致。Fast Paxos是经典Paxos算法的一个扩展,它能够在仅需两次消息传递后,就让进程学习到被选定...

    云计算:C++实现的可直接运行paxos算法

    **云计算中的Paxos算法** Paxos算法是一种在分布式系统中解决一致性问题的经典协议,由Leslie Lamport提出。它的主要目标是在存在网络延迟、消息丢失或重复、节点故障等不可靠因素的情况下,确保一组分布式节点能够...

    Paxos图解(xmid图解)

    **Paxos算法详解** Paxos是一种分布式一致性算法,由Leslie Lamport提出,用于在存在网络延迟、消息丢失或重复以及节点故障的环境中保证系统的一致性。它的核心目标是在一组节点(称为副本)之间达成共识,即使在...

    《Paxos Made Simple》分布式一致性协议Paxos论文翻译

    分布式一致性协议Paxos是计算机科学领域中一个至关重要的概念,尤其在构建高可用、高可靠的分布式系统时,它的作用不言而喻。《Paxos Made Simple》是由Leslie Lamport所著的一篇经典论文,它以简洁易懂的方式阐述了...

    从PAXOS到ZOOKEEPER分布式一致性原理与实践完整版

    《从PAXOS到ZOOKEEPER分布式一致性原理与实践》是一本深入探讨分布式系统中一致性问题的重要书籍。在分布式计算领域,一致性是确保多个节点间数据同步的关键特性,它对于构建可靠、高可用的系统至关重要。这本书主要...

    《Paxos到Zookeeper——分布式一致性原理与实践》高清完整版

    《Paxos到Zookeeper——分布式一致性原理与实践》是一本深入探讨分布式一致性问题的书籍,对于理解...尽管这本书提供了一个电子版,但为了支持作者和获取最新更新,建议对分布式系统有深入研究需求的读者购买正版书籍。

    Paxos算法.pdf

    ### Paxos算法详解与Zookeeper应用 #### 一、Paxos算法概述 Paxos算法是一种用于解决分布式系统中一致性问题的经典算法。该算法由Leslie Lamport于1990年提出,并逐渐成为分布式一致性算法领域的核心理论之一。在...

    从paxos到zookeeper

    《从PAXOS到ZOOKEEPER:分布式一致性原理与实践》是一本深入探讨分布式系统一致性问题的书籍,尤其关注了PAXOS算法和ZooKeeper的实现。在这个数字化时代,分布式系统的应用越来越广泛,而分布式一致性是这些系统中至...

    从Paxos到Zookeeper 分布式一致性原理与实践 PDF电子书下载 带目录书签 完整版.pdf

    ### 分布式一致性原理与实践:从Paxos到Zookeeper #### 一、引言 随着互联网技术的发展,分布式系统已经成为现代软件架构的核心组成部分。在分布式系统中,多个节点协同工作来完成复杂的任务,而如何确保这些节点...

    Revisiting the Paxos algorithm

    ### 重新审视Paxos算法 #### 摘要与背景 本文重新审视了Paxos算法,并基于此算法提出了一种新的I/O自动机模型——时钟通用定时自动机(Clock General Timed Automaton,简称Clock GTA)模型。该模型在 Lynch 和 ...

    Paxos算法详解.ppt

    Paxos算法详解.ppt

    从Paxos到ZooKeeper 清晰扫描版pdf加源码

    《从Paxos到ZooKeeper:分布式一致性原理与实践》是一本深入探讨分布式系统一致性问题的书籍。书中主要围绕Paxos算法和ZooKeeper两大主题展开,旨在帮助读者理解分布式环境中的数据一致性是如何实现的,并通过源码...

    分布式服务协议Paxos原理、应用场景

    ### 分布式服务协议Paxos原理 #### 1. Paxos原理简介 Paxos是一种基于消息传递的一致性算法,由Leslie Lamport在1990年提出,并在近年来得到了广泛应用。该算法的核心目标是在分布式系统中达成一致性的决策。尽管...

    paxos-simple-Copy.pdf

    它在设计上受到了Paxos算法的启发,其内部实现了一种简化版的Paxos算法来保证分布式环境下的数据一致性和状态同步。Zookeeper通过使用Zab协议(Zookeeper Atomic Broadcast)来提供这样的服务,这是在Paxos算法基础...

    从Paxos到Zookeeper分布式一致性原理与实践(高清完整版 带标签)

    《从Paxos到Zookeeper分布式一致性原理与实践》是一本深入探讨分布式系统一致性问题的著作,涵盖了Paxos协议和Zookeeper两个重要的主题。在分布式计算领域,一致性是保证系统可靠性和正确性的核心概念,它涉及到多个...

Global site tag (gtag.js) - Google Analytics