15.1.3 PetersonLeader算法