PROSAGA码农传奇-共识算法-为什么使用no-op填补paxos事件之间的空白是合法的？

为什么使用no-op填补paxos事件之间的空白是合法的？

作者: v-star*위위
发布时间: 2025-01-23 05:40:33 (1月前)
转自：

<div class =“post-text”itemprop =“text”>
  
    这是一个多部分的答案。
  
  
    的
      提出无操作值是发现命令的方法
    </强>
     尚未进入节点的人。我们不是简单地用no-op命令填充间隙中的每个槽：我们
    
      提出
    
     每个插槽都填充一个no-op。如果
    
      任何
    
     同伴已经接受了一个命令，它将返回该命令
     <code>
 Prepare-ack
 </code>
     消息和提议者将使用
    
      那
    
     在Accept轮次而不是no-op中执行命令。
  
  
    例如，假设一个节点位于临时网络分区后面，并且无法与插槽6-9中的其他节点一起玩。它知道它在第10个插槽中学习命令时错过了。然后它建议no-ops来学习那些插槽中的决定。
  
  
    实际的实现还有一个带外学习协议，可以批量学习大量的转换。
  
  
    的
      命令在完全命令之前不是命令
      
        决定
      
      ;
    </强>
     直到那时它只是一个
    
      建议
    
     命令。 Paxos是关于在多个客户端的竞争命令之间进行选择。客户必须准备好拒绝他们的命令，因为选择了另一个客户端。
  
  
    实际的实施都是关于选择
    
      订购
    
     客户端命令。他们的世界观是预写日志，他们将命令放在该日志中。如果没有选择命令，他们会在下一个插槽中重试。 （有很多方法可以减少争用; Lamport提到向领导者转发请求，例如在Multi-Paxos中完成的。）
  
  
    在提出命令之前，实际系统还有一些方法可以知道命令是否无效;例如知道一组读取和一组写入。这有两个重要原因。首先，它是一个异步的多客户端系统，当客户端的命令到达服务器时，任何事情都可能发生变化。其次，如果两个并发命令不冲突，那么两者都应该能够成功。
  
</DIV>