Consider the PAXOS protocol. A programmer implementing it has replaced the line 9-11 by line 10 only: now we have a command c:=C instead of the whole “if” command.
What will be the behavior of such a modified PAXOS? Please provide a proof for your claim.
译文:考虑PAXOS协议。实现它的程序员只将第9-11行替换为第10行:现在我们有一个命令c:= c,而不是整个“if”命令。
这样一个修改过的PAXOS会有什么行为呢?请提供一份索赔证明。
希望能得到比较详尽的回答