选主问题

选主规格通常同时包含唯一性与终止性：所有正确进程最终认可同一名合法进程，并在系统稳定后不再无限换主。困难不只是“找最大编号”，而是进程无法直接观察全局成员状态；超时只说明暂时没收到消息，可能是网络慢、对方崩溃或自身被隔离。唯一 ID、随机性、时序上界或故障检测器都是用来打破对称与不确定性的额外来源。

有唯一 ID 的环上可比较 ID 选最大者；匿名对称环中无外部不对称时确定性选主不可能。故障检测器可帮助最终稳定到一个正确 leader，但短暂出现多个候选不一定违反最终选主规格。

在具有唯一 ID 的同步环上，每个进程转发见过的最大 ID，至多一圈后最大者可被所有人确认。匿名环若所有节点初态、端口标号与调度完全对称，确定性算法会让所有节点始终采取相同动作，不可能恰选一个。崩溃模型中，暂时同时存在两个候选不必违反 eventual leader 规格，但若两者都能对外执行主权操作，就必须由任期、quorum 或 fencing token 阻止旧主产生有效写入。

消息传递系统公理库消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。中的选主依赖可区分的允许执行公理库可容许执行Admissible execution满足给定调度、公平性和故障模型约束的执行。与进程身份。Ω公理库最终领导者故障检测器 ΩOmega failure detector · Eventual leader failure detector · Ω failure detector最终让所有正确进程永久输出同一个正确进程标识的故障检测器类别。只承诺某个未知时刻后，所有正确进程永久输出同一个正确标识；稳定前不同 oracle 输出并不直接违反其规格。选主任务则要由算法把输出解释为最终领导者，并规定合法身份与任务完成条件。

Raft公理库Raft 共识协议Raft consensus algorithm以任期、选主和复制日志实现崩溃容错共识的协议。把任期选举与日志新旧限制结合，主副本复制还需 quorum 或 fencing 阻止旧主继续产生有效写入。共同 leader 是协调工具，不会单独提供共识公理库分布式共识Distributed consensus · Consensus problem多个进程在可能故障和通信延迟下对一个值达成一致的任务。安全或日志提交证据。