您即将离开知乎，请注意您的账号和财产安全。
http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/
