向量时钟

每个节点维护一个数组，记录它知道的所有节点的进度。能区分因果与并发。