基于消息传递的一致性算法。

节点通讯存在两种模式：共享内存（Shared memory，需要锁)和消息传递（Message passing)。