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

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

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

  • 写回答

0条回答 默认 最新

    报告相同问题？

    • 无法在go中用作类型分配
      2017-05-10 19:04
      回答 2 已采纳 Your map is expecting a pointer to a PaxosInstance (*PaxosInstance), but you are passing a struct
    • 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 ] ...
    • 【闲聊杂谈】Zookeeper中的Paxos算法
      2021-10-05 15:09
      FeenixOne的博客 它就是一个基于消息传递的一致性算法，由Leslie Lamport在1990年提出（是的，你没有看错，这个Paxos的算法已经是30多年前的算法了），但是直到近几年才被广泛应用于分布式计算中。 Zookeeper本身是Apache开源的一个...
    • 《Paxos Made Simple》中文翻译：Paxos 如此简单
      2020-10-28 08:29
      Martin Hong的博客 写在前面个人在学习理解 Paxos 算法的过程中，花了比较多的时间，从最开始直接查看中文博客资料，感觉都是看完不知所以然或者有很多疑问，于是决定死磕《Paxos Made Simple》论文原文。但是由于有些英文的意思我自己...
    • paxos协议学习
      2021-01-02 19:18
      夜月行者的博客 文章目录1. paxos算法历史拾遗2.... Lamport的举例paxos协议中的相关概念1. 角色：2. 其他术语3. acceptor的一些概念paxos协议过程描述1. 数据的决策分为两个阶段：1. 预选阶段, Prepare request阶段2. accept
    • 实战案例丨分布式系统中如何用python实现Paxos
      2021-03-29 11:16
      华为云开发者联盟的博客 摘要：提到分布式算法，就不得不提 Paxos 算法，在过去几十年里，它基本上是分布式共识的代 名词，因为当前最常用的一批共识算法都是基于它改进的。比如，Fast Paxos 算法、 Cheap Paxos 算法、Raft 算法、ZAB 协议...
    • Paxos 实现日志复制同步（Multi-Paxos）
      2020-11-02 19:19
      斜照却相迎的博客 转载自：Paxos实现日志复制同步（Multi-Paxos)
    • Paxos协议基本原理
      2016-05-10 19:13
      张俊林博客的博客 本文介绍了分布式系统维护数据一致性中非常重要且基础的技术Paxos协议的基本原理。
    • Paxos算法原理
      2018-04-22 09:52
      rickiyang的博客 我们知道传统集中式系统中实现ACID是很简单的，在分布式环境中，涉及到不同的节点，节点内的ACID可以控制，那么节点间的ACID如何控制呢？构建一个可用性和一致性的分布系统成为难题，于是出现了CAP和BASE这样的理论...
    • 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-12-26 13:52
      不闻窗外事的博客 Paxos算法是莱斯利.兰伯特（Leslie Lamport）于1990年提出的的一种基于消息传递且具有高度容错特性的一致性算法。 问题和假设 分布式系统中的节点通信存在两种模型：共享内存和消息传递。基于消息传递同虚拟模型的...
    • PAXOS
      2018-06-08 14:45
      微风云重轻的博客 Paxos算法是莱斯利·兰伯特（英语：Leslie Lamport，LaTeX中的“La”）于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法。问题和假设分布式系统中的节点通信存在两种模型：共享内存（Shared memory）...
    • Fast Paxos
      2016-08-19 18:25
      Lionel_Medoo的博客 自从Lamport在1998年发表Paxos算法后，对Paxos的各种改进工作就从未停止，其中动作最大的莫过于2005年发表的Fast Paxos。无论何种改进，其重点依然是在消息延迟与性能、吞吐量之间作出各种权衡。为了容易地从概念上...
    • Zookeeper学习4_Paxos算法2-算法过程
      2015-10-15 17:05
      Wang_Zhenwei的博客 请先参考前文：Paxos算法1   1.编号处理 根据P2c ，proposer在提案前会先咨询acceptor查看其批准的最大的编号和value，再决定提交哪个value。之前我们一直强调更高编号的proposal，而没有说明低编号的...
    • 分布式一致性协议Paxos
      2018-11-17 21:55
      xk_一步一步来的博客 Paxos用于解决分布式系统中一致性问题。分布式一致性算法（Consensus Algorithm）是一个分布式计算领域的基础性问题，其最基本的功能是为了在多个进程之间对某个（某些）值达成一致（强一致）；简单来说就是确定一个...
    • 没有解决我的问题, 去提问

    悬赏问题

    • ¥15 delta降尺度计算的一些细节，有偿
    • ¥15 Arduino红外遥控代码有问题
    • ¥15 数值计算离散正交多项式
    • ¥30 数值计算均差系数编程
    • ¥15 redis-full-check比较 两个集群的数据出错
    • ¥15 Matlab编程问题
    • ¥15 训练的多模态特征融合模型准确度很低怎么办
    • ¥15 kylin启动报错log4j类冲突
    • ¥15 超声波模块测距控制点灯，灯的闪烁很不稳定，经过调试发现测的距离偏大
    • ¥15 import arcpy出现importing _arcgisscripting 找不到相关程序