选主降低竞争

Multi Paxos 通过选主把频繁的并发提案收敛到 Leader，正常情况下只需复制日志和多数确认。发散：很多工程算法看似绕开 Paxos，实质是在把共识问题拆成选主、复制和安全。