分布式系统中通用领导选举机制的例证性剖析