因果时钟与日志投票推演 · 向量时钟逐事件推导至旧任期多数与当前任期提交

返回分篇目录

前置：能区分消息发送与接收、读写调用与返回，理解副本和网络分区；Python 3.10+ 仅用于离线时钟与日志推演。教学范围为Lamport1978；Gilbert/Lynch2002与2012回顾；Python 3.10+。核对日期2026-10-17。示例未执行，本轮没有安装依赖、生成协议代码、启动服务或浏览器预览。完整源码和输入文件见下方「同源完整文件」；推演结论只适用于写明的模型。

向量时钟逐事件推导

发送时的时间戳是快照，B 接收时对每个分量取最大，再递增自己的分量。A 后来的本地事件不能反向改写消息 m 的历史。图示只覆盖现有算例，没有实际网络或并发调度。

查看图表代码

旧任期多数与当前任期提交

本课初始索引1属于任期1，A/B已有副本仍不让任期2领导直接按副本数提交；追加任期2索引2并获多数确认后，索引1才随前缀一起提交。C 收到日志不等于已收到提交通知，两种消息须分别推演。

查看图表代码

来源与适用边界

• 英文官方、作者或规范原文：本专题机制依据；按上述固定版本族阅读。
• 中文官方或作者资料：用于术语和讲解交叉核对，冲突以原始规范为准。
• Gilbert与Lynch作者2012回顾：第2–3节区分CAP、安全与活性及同步假设。