結果 : chandy lamport algorithm example