2 xd2008ck xd2008ck 于 2014.07.09 21:05 提问

paxos证明过程中的一点问题!

看了一下原文,有些地方没看懂,我想请问一下:
在证明循环不变式的时候,论文中写道:
如果一个值v的建议被选定,则每个被选定的更高序号的建议都拥有值v
这里的问题是:
这句话最后的“拥有”是什么意思?是新提出的建议的v值等于之前被选中的v,还是,这个建议有多个v值,其中包括了之前被选定的值v?

Csdn user default icon
上传中...
上传图片
插入图片
准确详细的回答,更有利于被提问者采纳,从而获得C币。复制、灌水、广告等回答会被删除,是时候展现真正的技术了!
其他相关推荐
Paxos算法 反证法证明
作者:朱一聪 链接:https://www.zhihu.com/question/19787937/answer/82340987 来源:知乎 著作权归作者所有,转载请联系作者获得授权。 上周和一个有真正paxos工程经验的人讨论一下paxos,paxos现在大多是应用于replication的一致性,用来实现一个 多节约点的一致的日志,和他 的讨论让我觉得要想真正的精确掌握paxos
Paxos算法证明
Paxos 算法解决的问题是一个分布式系统如何就某个值(决议)达成一致。 完整的Paxos算法如下。 Paxos通过(chosen)一个指令分为两个阶段: prepare阶段 p1.proposer选择一个投票时间b并将prepare请求发送给acceptors中的一个多数派; p2.acceptor收到prepare消息后,如果投票时间大
Paxos协议学习---2.由3大条件证明一致性
Paxos是分布式的一致性协议,最重要的部分当然是这个一致性的证明。 在朴素Paxos协议中给出了3大条件,只要达到了这3大条件 可以证明,如果Paxos协议达成了一次成功的表决,那么这个表决具有一致性。 需要说明的是,这3大条件并不保证进行性,也就是说并不保证一定会达成成功的表决。 但是可以保证的是,如果达成了一个成功表决,那么这个表决具有一致性。 1.基本术语 (1) ballo
Basic Paxos介绍与论述
Basic Paxos 在一个靠Messages passing作为节点通信方式的分布式系统中,多个参与者需要就某一个变量var的值v达成一致。多个参与者A、B、C,可能对于v的值,A想设成value\_a,B想设成value\_b。但只能有一个值最终设置成功,形成决议。且形成决议后,后面无论何时参与者获取v的值一定是最初决议的值,不会再变。
Paxos算法[From 维基百科]
<br />Paxos算法是莱斯利·兰伯特(Leslie Lamport,就是 LaTeX 中的"La",此人现在在微软研究院)于1990年提出的一种基于消息传递的一致性算法。[1] 这个算法被认为是类似算法中最有效的。目录1问题和假设2算法2.1算法的提出与证明2.2算法的内容2.2.1决议的提出与通过2.2.2实例2.2.2.1情况一2.2.2.2情况二2.2.2.3情况三2.2.3决议的发布2.2.4Progress 的保证3其他4参考文献问题和假设<br />Paxos 算法解决的问题是一个分布式系
paxos
作者:朱一聪 链接:https://www.zhihu.com/question/19787937/answer/82340987 来源:知乎 著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。 作为一个因为毕设和这个密切相关从而有了解的人表示,paxos本身并不复杂,在> Lamport用两段话就描述清楚了它的流程。他老人家也说paxos其实是个简单的算法。但是是我
理解Paxos算法的推导过程
Paxos作为分布式系统的基石,一直都是CS领域的热门话题,Paxos号称是最难理解的算法。最近几天一直在看Paxos相关资料,发现Paxos算法执行过程很简单,但如何推导出Paxos算法确实令人费解。网上有大量关于Paxos的基本概念、算法描述、推导过程等文章,所以关于Paxos的基本概念就不赘述了,但大部分文章都没有说明白推导过程中一些容易让人疑惑的问题(例如为什么题案要被设计为编号+value
Paxos算法学习问题汇总
Paxos算法学习过程中,困扰我的问题汇总,你们也可能遇到过,总结下,希望能给后来的学习者提供帮助,我的理解也未必全部正确,欢迎批评指正,共同探讨!
理解Paxos算法的证明过程
版权声明:本文为博主原创文章,转载请联系作者并注明出处。 理解Paxos算法的证明过程 前言 本文的写作目的在于与大家分享笔者学习Paxos时的思路,希望对大家Paxos的理解有所裨益。 理解Paxos算法的证明过程 前言 Paxos算法可以说是现代分布式系统建设中最基础的一致性算法,也是笔者见到最精妙的算法。但是Paoxs证明过程总让人感觉到晦涩难懂。笔者刚开始...
paxos Paxos Made Simple【翻译】
原文地址:http://blog.csdn.net/sparkliang/article/details/5740882 最近再看,先荡下来。 Paxos一致性算法——分布式系统中的经典算法,论文本身也有一段有趣的故事。一致性问题是分布式系统的根本问题之一,在论文中,作者一步步的加强最初一致性问题(2.1节提出的问题)的约束条件,最终导出了一个可实现的一致性模型。当前Paxos算法的研