DistSysDeepDive
DistSysDeepDive copied to clipboard
关于P109问题3的疑问
问题3中的解答中写到:
S1和S2用同样的提案编号分别发送给S1、S3和S2、S3,这两个多数派都成功承诺
这里的疑问是,S3为何会成功承诺两次?假设S1和S2的提案编号都是n,则当S3第一次承诺后,S3将不再响应编号小于n的Prepare请求,所以为何两个多数派都成功承诺呢?
提案号必须唯一的一个解释:https://stackoverflow.com/questions/45610160/why-does-paxos-proposalid-need-to-be-unique