回答情况：
提问时间：
问题标签：
1回答
我已经实现了共识算法(基于Paxos)。我添加了一些随机的测试用例，看起来还不错。但是想要通过模型检查进行测试吗？找不到适合它的文章。请分享如何在Paxos中进行模型检查
谢谢
浏览 4提问于2012-06-09得票数 2
1回答
我想知道视图转换算法和Paxos之间的关系是什么？在我的讲稿中，它指出“每个视图的参与者都同意主要的，稍后管理复制过程”。这种情况下的观点是什么，Paxos与此有何关系？
浏览 10提问于2012-05-17得票数 1
回答已采纳
我正在尝试理解paxos和两阶段提交之间的区别，以此作为在多台机器之间达成共识的手段。两阶段提交和三阶段提交非常容易理解。3PC似乎也解决了在2PC中阻塞的故障问题。所以我真的不明白Paxos在解决什么问题。有人能告诉我Paxos到底解决了什么问题吗？
浏览 4提问于2014-12-05得票数 39
回答已采纳
我已经在下面粘贴了一个paxos算法的伪代码，不知道是否有人可以给我指出正确的方向。我正在尝试实现下面的算法，但我对下面的“视图”到底代表什么感到困惑。proposal # which node has accepted num_a = 0 my_num = 0
val_a = () // em
浏览 3提问于2012-05-08得票数 1
回答已采纳
由于某些原因，system.paxos表正在失控地增长，并且没有分布在集群中。SSTable count: 2406Space used(live), bytes: 28981416094du -sh /data/system
浏览 4提问于2015-03-31得票数 0
回答已采纳
当使用2F +1处理器时，Paxos算法可以容忍高达F个故障。据我所知，这个算法只适用于固定数量的处理器。在可以动态添加和删除节点的动态环境中，是否可以使用该算法？
浏览 0提问于2011-08-23得票数 10
回答已采纳
在paxos中，每个提议人独立地为其提议生成一个序列号。因此，让我们假设一个提出者不断生成更高编号的序列号。这个提出者不会因为生成更高的序列号而使其他提出者的提案无效吗？也就是说，在paxos中，有没有可能总是有一个提议者占主导地位？
浏览 9提问于2017-12-25得票数 3
System.paxos:::: Space used (live): 2144801786
Space used
浏览 5修改于2017-06-17得票数 0
回答已采纳
当人们描述Paxos时，他们总是假设集群中已经有一些提出者。但是，提出者来自哪里，或者是什么决定了哪些过程是提出者？
浏览 26提问于2019-03-15得票数 1
回答已采纳
但是我发现，对于PAXOS，没有任何像USDT合同中那样的transfer()方法。
你能帮我说一下派帕克斯来的方法吗？
浏览 0提问于2020-04-16得票数 1
我想我在这里可能混淆了一些概念，但在我看来，paxos会为实现它的系统提供线性一致性。
我知道卡桑德拉用过它。但是，像paxos这样的协商一致算法通常被认为是部分同步的，因为存在仲裁(不是节点通信的100% )--这是否也意味着它也不是真正的线性化？
浏览 7提问于2019-12-08得票数 2
回答已采纳
Paxos算法是一种一致性算法，在分布式数据库系统中起着至关重要的作用。它可以用来使分布式系统选择相同的方案。数据一致性是数据库系统中的一个大问题。其他人认为在许多分布式系统中使用Paxos或raft来确保数据的一致性。我不同意他们的看法。在分布式系统中，我们何时以及为
浏览 7提问于2022-11-27得票数 1
回答已采纳
push_msg_2p(ep->site, ep->p);这里的threepahse是int const threephase = 0和force_delivery == 0
push_msg_eq是正常的paxos
浏览 1修改于2018-01-22得票数 1
回答已采纳
我想知道基于Paxos的复制方案和不同的并发模型(如快照隔离)之间的实际关系。有没有人能用几个实际例子来解释一下这两个人之间的关系？
浏览 3提问于2012-12-27得票数 1
回答已采纳
我正在查看paxos算法的提议阶段的伪代码：
did I receive PROMISE responses from a majority of acceptors?
浏览 4修改于2020-12-07得票数 1
在Paxos中，Lamport简单地描述了算法的第二阶段(a)如下：
如果投标人从大多数接受方收到对其准备请求(编号n)的答复，则它向编号为n的每个接受方发送一个编号为v的建议书的接受请求，其中v为-
浏览 4修改于2013-11-07得票数 4
回答已采纳
我尝试在工具箱( TLA+ Toolbox，)中建模Paxos ()。我应该在模型中输入几个数字才能使其正常工作？或者在这个工具箱中还有其他方法来确认这个算法吗？
浏览 6提问于2016-05-01得票数 0
回答已采纳
关于Paxos算法，我有一个非常特殊的问题，它是在Cassandra的轻量级事务中实现的：
，如果两个节点同时发出相同的建议，会发生什么？他们都能得到“applied:true”吗?
浏览 2修改于2017-05-23得票数 3
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号