问题描述
ZooKeeper采用主备(primary-backup)方案来进行请求,并以主进程次序原子广播(primary order)将状态变化传播到备用进程。因此只有主进程才要广播。如果主进程崩溃,我们认为存在一个外部机制来选择新的主进程。然而,要保证任何时候只存在最多一个主进程并只允许该主进程进行广播是非常重要的。在我们的实现中,主进程选举机制同我们用以消息广播机制是紧密耦合的。假定存在这样的机制来选择主进程并保证在任何时间只有一个主进程工作,从协议的角度来看这已经足够了。随时间流逝,我们会有一组无限的主进程序列,ρZooKeeper采用主备(primary-backup)方案来进行请求