lamport论文翻译,详细讲解了paxos。作者在第4节中确实简短讨论了Paxos议会和分布式计算的关系。计算机科学家可能会想要首先阅读这一节。甚至在这之前,他们或许想要阅读Lampson[1996]对这个算法向计算机科学家作的解释。这个算法也在[1997]被DePrisco更正式的描述过。我在第4节的末尾加上了古代协议和近期研究之间关系的更进一步说明