您即将离开知乎,请注意您的帐号和财产安全。
https://www.cs.princeton.edu/courses/archive/fall16/cos418/docs/P8-chandy-lamport.pdf