【角色】
0-MainProposer提案生成者
1-提案发送者(MainProposer+OtherProposer)
2-提案接收者(Acceptor)
【动作】
0-MainProposer---->生成提案
1-MainProposer+OtherProposer---->发送[提案内容、提案编号]结构体至Acceptor
2-提案接收者(Acceptor)---->反馈至提案发送者(MainProposer+OtherProposer)表示批准提案
【约束条件】
0-超过半数提案接收者(Acceptor)批准提案(Proposer),则其被批准;
1-MainProposer提案生成者,全局唯一,其生成提案内容和全局互异提案编号[提案内容、提案编号]({key:val}),OtherProposer从MainProposer获取提案内容和提案编号并发送至提案接收者(Acceptor);
2-全局互异性编号整数值单调递增且和提案为“一对多”关系;
3-提案接收者(Acceptor),无条件批准其收到的第一个提案;其之后对于所有收到的提案,校验提案编号值大小,和之前已经批准的提案编号比大小,
如后者大,则批准后者,且今后不再批准编号小于该编号的提案;
4-MainProposer提案生成者收到超过半数提案接收者(Acceptor)”反馈,则认为提案通过,结束;否则,继续生成[提案内容、提案编号]({key+positive:val+0}),其中仅提案编号更新为收到提案接收者(Acceptor)反馈响应的[提案内容、提案编号]结构体集合中最大提案编号的相对大值。
相关文章
- 01-07Zookeeper全解析——Paxos作为灵魂
- 01-073 The simple past
- 01-07[CF1354C2] Not So Simple Polygon Embedding - 数学,几何
- 01-07E. Number of Simple Paths(环基树 + 思维)
- 01-07状压dp-A Simple Task
- 01-07BZOJ3489 A simple rmq problem 【可持久化树套树】*
- 01-07创建型模式(过渡模式) 简单工厂模式(Simple Factory Pattern)
- 01-07注意力机制SimAM(SimAM: A Simple, Parameter-Free Attention Module for Convolutional Neural Networks)
- 01-07论文笔记系列-Simple And Efficient Architecture Search For Neural Networks
- 01-07cf B. Simple Molecules