Paxos算法实验报告：李研的硕1902班实践

"李研同学的硕士实验报告，主要探讨了Paxos算法的应用与实现。实验目的是理解并实现Paxos算法的核心机制，实验内容包括设计相关成员函数，了解Paxos中的角色和流程。实验方法是模拟Paxos算法，通过5个Proposer和11个Acceptor进行提案与投票，以达到共识。" 在分布式系统中，Paxos算法是一种解决一致性问题的著名协议，由Leslie Lamport提出。实验的目的在于让学生深入理解Paxos算法的思想，通过编程实践来体验其工作原理。在这个实验中，李研同学扮演的角色是Proposer和Acceptor，他需要设计并实现Paxos算法的关键组件。 实验内容主要包括两部分：一是根据Paxos算法流程编写代码，实现提案的发起和审批；二是理解Paxos算法中的基本概念，如提议者（Proposer）和批准者（Acceptor）。提议者负责发起提案，而批准者则对提案进行投票，只有当超过半数的批准者接受提案，提案才会被接受，其携带的值成为共识值。 实验方法中，李研设计了5个Proposer和11个Acceptor。每个Proposer的初始提案包含编号和提议值，编号按Proposer的顺序递增，而提议值也是对应的编号。在Propose阶段，Acceptor根据提案编号进行投票决策，如果新提案的编号小于已记录的最大编号，Acceptor会拒绝该提案，以保证一致性。 Paxos算法的关键在于处理并发提案，确保最终达成一致。如果一个提案被接受，后续的提案必须更新为已被接受的提案的编号和值，以避免冲突。在实验中，如果Proposer未能获得超过半数的Acceptor的同意，它会增大提案编号并重新发起提案，提案编号每次按Proposer的数量增加。 实验结果部分，李研同学提供了结果截图和分析，这可能包括了不同轮次的投票情况、达成共识的提案及其过程。最后，总结与收获部分，李研可能会讨论他在实验中学到的知识点，如Paxos算法的复杂性和效率，以及实际应用中的挑战。 这个实验深入实践了Paxos算法的理论知识，有助于提升学生对于分布式一致性问题的理解和解决能力。通过这样的实验，李研能够更好地掌握如何在实际系统中应用Paxos算法，以保证数据的一致性和可靠性。