https://123dok.net/document/zgw282o2-on-interprocess-communication-leslie-lamport-december.html