向量时钟与分布式一致性