Paxos是一种用于分布式系统中实现一致性的共识算法，能够在节点失效、消息延迟或丢失等异常情况下，保证系统对某个值（value）达成一致。其核心角色包括提议者（Proposer）、接受者（Acceptor）和学习者（Learner），通过准备（Prepare）和接受（Accept）两个阶段来安全确立提案。
