两个 worker 同时推进订单UPDATE ... WHERE version 7只有一个成功于是状态机就安全了吗它解决了这一行的竞争却没有回答三件事这次跳转是否合法写入能否持久化外部扣款是否已经执行。先把允许的边写出来状态created可以进入reservedreserved才能进入paid取消后的订单不能凭旧重试再次支付。版本号防止拿旧快照覆盖新值合法边集合限制业务跳转两者都要在同一次原子更新中判断。PostgreSQL 事务隔离文档解释并发更新时条件可能重新求值。数据库的具体语义很重要不能把一个进程中的atomic.CompareAndSwap当成多进程持久存储。下面是串行内存模型用来暴露“版本对了但跳转不合法”的反例。allowed {(created, reserved), (created, cancelled), (reserved, paid), (reserved, cancelled)} row {state: created, version: 1} def move(expected_version, expected_state, target): if row[version] ! expected_version or row[state] ! expected_state: return False if (expected_state, target) not in allowed: return False row.update(statetarget, versionexpected_version 1) return True assert not move(1, created, paid) assert move(1, created, reserved) assert not move(1, created, cancelled) assert move(2, reserved, paid) assert not move(3, paid, reserved) print(row)本地 Python 3 输出paid、版本 3非法跳跃和旧版本写入被拒绝。未运行数据库并发测试。落地 SQL 时应同时约束主键、租户、版本和源状态并检查受影响行数为 1零行不能直接当成功。扣款仍然需要另一份合同如果先扣款再更新状态扣款成功后进程崩溃重试可能再次扣款若先更新为已支付再扣款又可能记录成功但资金未动。常见做法是持久化支付意图、使用稳定业务幂等键、查询外部最终结果并通过对账推进状态。它不是“加了 CAS 就恰好一次”。写入 durability、唯一键、事务边界和消息投递仍需分别验证。建议先做三组隔离实验两个连接竞争同版本写入提交前后进程终止外部成功但响应丢失。本文只完成内存状态分支验证不冒充三组集成实验。十月 Agent 工具越能自动执行状态约束越不能留给自然语言指令。发布前检查真实表约束和旧任务状态再开放新的动作。
两个 worker 同时推进订单UPDATE ... WHERE version 7只有一个成功于是状态机就安全了吗它解决了这一行的竞争却没有回答三件事这次跳转是否合法写入能否持久化外部扣款是否已经执行。先把允许的边写出来状态created可以进入reservedreserved才能进入paid取消后的订单不能凭旧重试再次支付。版本号防止拿旧快照覆盖新值合法边集合限制业务跳转两者都要在同一次原子更新中判断。PostgreSQL 事务隔离文档解释并发更新时条件可能重新求值。数据库的具体语义很重要不能把一个进程中的atomic.CompareAndSwap当成多进程持久存储。下面是串行内存模型用来暴露“版本对了但跳转不合法”的反例。allowed {(created, reserved), (created, cancelled), (reserved, paid), (reserved, cancelled)} row {state: created, version: 1} def move(expected_version, expected_state, target): if row[version] ! expected_version or row[state] ! expected_state: return False if (expected_state, target) not in allowed: return False row.update(statetarget, versionexpected_version 1) return True assert not move(1, created, paid) assert move(1, created, reserved) assert not move(1, created, cancelled) assert move(2, reserved, paid) assert not move(3, paid, reserved) print(row)本地 Python 3 输出paid、版本 3非法跳跃和旧版本写入被拒绝。未运行数据库并发测试。落地 SQL 时应同时约束主键、租户、版本和源状态并检查受影响行数为 1零行不能直接当成功。扣款仍然需要另一份合同如果先扣款再更新状态扣款成功后进程崩溃重试可能再次扣款若先更新为已支付再扣款又可能记录成功但资金未动。常见做法是持久化支付意图、使用稳定业务幂等键、查询外部最终结果并通过对账推进状态。它不是“加了 CAS 就恰好一次”。写入 durability、唯一键、事务边界和消息投递仍需分别验证。建议先做三组隔离实验两个连接竞争同版本写入提交前后进程终止外部成功但响应丢失。本文只完成内存状态分支验证不冒充三组集成实验。十月 Agent 工具越能自动执行状态约束越不能留给自然语言指令。发布前检查真实表约束和旧任务状态再开放新的动作。
