19.2.2 ChandyLamport算法