第3章 同步环中的领导者选择

在这一章中，我们给出了利用第2章的同步模型要解决的第一个问题：从一个网络的各个进程中选举一个唯一的领导者。作为开始，我们考虑网络图为环形的简单情形。

这个问题源于对局域令牌环网的研究。在这样的一个网络中，一个“令牌”在网络中循环，令牌的当前持有者拥有发起通信的唯一特权（如果网络中的两个节点同时尝试通信，就会互相干扰）。然而，有时候这个令牌会丢失，所以进程有必要执行一个算法来重新产生丢失的令牌。这个重新产生的过程相当于选举一个领导者。