1、假定系统同步,并允许在选举期间进程崩溃,利用超时来检查进程故障,所有进程知道其它进程的标识符(优先符)
2、构造一个可靠的故障检测器,最大消息传输延迟为Ttrans,最大消息处理延迟为Tprocess。因此,我们可以计算时间T=2Ttrans+Tprocess,如果在T内没有收到应答,本地故障检测器可以报告请求的预期接收者已经出现故障。
3、
1)知道自己有最大标识符的进程可通过发送协调者消息给所有具有较小标识符的进程,选择自己为协调者。
2)同时,有较小标识符的进程通过发送选举消息给那些有较大标识符的进程开始选举,并等回答消息。
A)如果在时间T内没有消息到达,该进程便认为自己是协调者,然后发送协调者消息来宣布这一结果。没有消息(包括协调者消息)到达,
B)如果在时间T内收到了消息(选举消息),则进程再等待时间T'以接收从新的协调者发来的消息。如果没有消息到达,说明,此次选举失败,重新启动一次选举。