唱歌的河马 2014-07-09 13:05
浏览 774

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

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

  • 写回答

0条回答 默认 最新

    报告相同问题？

    • Paxos算法
      2024-07-15 10:06
      java_key_code的博客 原文链接：第一次这么通俗易懂的讲Paxos算法-腾讯云开发者社区-腾讯云 Paxos解决什么问题 大家对Paxos的看法基本是“晦涩难懂”，虽然论文和网上文章也很多，但总觉得“云山雾罩”，也不知道其具体原理以及到底能...
    • Paxos Made Simple【中文翻译注解】
      2022-03-23 16:01
      个人渣记录仅为自己搜索用的博客 paxos made simple [ 翻译自Leslie Lamport论文 http://lamport.azurewebsites.net/pubs/paxos-simple.pdf , https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/paxos-simple-Copy.pdf ] ...
    • 《Paxos Made Simple》中文翻译：Paxos 如此简单
      2020-10-28 08:29
      Martin Hong的博客 写在前面个人在学习理解 Paxos 算法的过程中，花了比较多的时间，从最开始直接查看中文博客资料，感觉都是看完不知所以然或者有很多疑问，于是决定死磕《Paxos Made Simple》论文原文。但是由于有些英文的意思我自己...
    • 实战案例丨分布式系统中如何用python实现Paxos
      2021-03-29 11:16
      华为云开发者联盟的博客 摘要：提到分布式算法，就不得不提 Paxos 算法，在过去几十年里，它基本上是分布式共识的代 名词，因为当前最常用的一批共识算法都是基于它改进的。比如，Fast Paxos 算法、 Cheap Paxos 算法、Raft 算法、ZAB 协议...
    • 分布式一致性算法-Paxos翻译和注解
      2024-02-28 17:45
      丑井的博客 Paxos是解决不可靠处理器（不可靠是指处理器可能故障）网络中一致性问题(consensus)的一个协议族。一致性（或者共识）是在一组参与者之间对一个结果达成共识的过程。当参与者或者它们的交互媒介可能发生故障的时候，...
    • Paxos学习笔记及图解
      2019-01-10 13:49
      if200的博客 一 从CAP定理到Paxos算法 1 CAP定理 CAP定理是相对于一个分布式计算系统而言的，首先需要了解C、A、P的定义： C：Consistency 一致性：所有节点持有相同最新数据副本（对外一致） A：Availability 可用性：所有节点...
    • Paxos 实现日志复制同步（Multi-Paxos）
      2020-11-02 19:19
      斜照却相迎的博客 转载自：Paxos实现日志复制同步（Multi-Paxos)
    • 小学生也可以轻松掌握的Paxos/Raft算法奥秘
      2024-10-22 22:01
      canonical-entropy的博客 Paxos 解决的是分布式系统中达成共识的一个最简单的问题，即多个节点如何在可能发生故障的情况下就某个值达成一致。一致性（Agreement）: 所有的节点必须对同一个值达成一致，且达成一致后不会再改变合法性...
    • 分布式算法：Paxos & Raft 两种共识算法
      2025-03-23 15:16
      &星辰入梦来&的博客 Paxos算法是第一个被证明完备的分布式系统共识算法。共识算法的作用是让分布式系统中的多个节点之间对某个提案（Proposal）达成一致的看法。提案的含义在分布式系统中十分宽泛，像哪一个节点是Leader节点、多个事件...
    • Paxos协议基本原理
      2016-05-10 19:13
      张俊林博客的博客 本文介绍了分布式系统维护数据一致性中非常重要且基础的技术Paxos协议的基本原理。
    • paxos协议学习
      2021-01-02 19:18
      夜月行者的博客 文章目录1. paxos算法历史拾遗2.... Lamport的举例paxos协议中的相关概念1. 角色：2. 其他术语3. acceptor的一些概念paxos协议过程描述1. 数据的决策分为两个阶段：1. 预选阶段, Prepare request阶段2. accept
    • Paxos算法《The Part-Time Parliament》译文
      2019-06-18 14:43
      zhaoshouyue的博客 Leslie Lamport大神在《Paxos make simple》一文中说到： The Paxos algorithm, when presented in plain English, is very simple. 确实，Paxos算法简单来看，就是几轮消息交流的事。但是，真正理解Paxos算法的...
    • Paxos算法原理
      2018-04-22 09:52
      rickiyang的博客 我们知道传统集中式系统中实现ACID是很简单的，在分布式环境中，涉及到不同的节点，节点内的ACID可以控制，那么节点间的ACID如何控制呢？构建一个可用性和一致性的分布系统成为难题，于是出现了CAP和BASE这样的理论...
    • 分布式与一致性协议之Paxos算法(三)
      2024-04-28 21:27
      coffee_babe的博客 这里补充一点:在论文中，兰伯特没有说如何选举领导者，需要我们在实现Multi-Paxos算法的时候自己实现。比如Chubby中的主节点(也就是领导者节点)是通过执行Basic Paxos算法进行投票选举产生的，那么如何解决第二个...
    • Paxos 算法 ： 一种基于消息传递且具有高度容错特性的一致性算法
      2019-10-19 13:04
      AI天才研究院的博客 Paxos算法是莱斯利·兰伯特（英语：Leslie Lamport，LaTeX中的“La”）于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法。 问题和假设 分布式系统中的节点通信存在两种模型：共享内存（Shared ...
    • 没有解决我的问题, 去提问