上一篇让重试拥有明确预算和停止语义。但工作流可能运行数月其间代码必然升级若新代码重新解释旧事件并发出不同命令确定性会在部署之后悄然破裂。一、痛点数据库兼容不等于行为兼容给 JSON 新增可选字段通常能解析却不保证决策相同。修改默认值、排序规则或分支条件都可能让旧历史走向新路径。删掉旧事件处理器更会让在途运行无法恢复。可靠升级必须区分事件模式版本和工作流逻辑版本并保存每次运行选择的版本。二、原理旧历史固定解释新运行选择新逻辑版本选择应来自事件而非部署环境。示例把首个事件中的logic_version固定下来版本一按总价判断版本二加入服务费。旧运行即使在新二进制中重放仍走版本一。fromdataclassesimportdataclassdataclass(frozenTrue)classEvent:kind:strdata:dictschema_version:int1defdecide(history:list[Event])-str:startedhistory[0]versionint(started.data[logic_version])quotednext(eventforeventinhistoryifevent.kindprice_quoted)limitint(started.data[limit])priceint(quoted.data[price])ifversion1:totalpriceelifversion2:totalpriceint(quoted.data.get(service_fee,0))else:raiseValueError(funsupported_logic_version:{version})returnacceptiftotallimitelserejectold[Event(started,{logic_version:1,limit:900}),Event(price_quoted,{price:880,service_fee:50}),]new[Event(started,{logic_version:2,limit:900}),Event(price_quoted,{price:880,service_fee:50}),]print(old:,decide(old))print(new:,decide(new))输出old: accept new: reject三、实现上转换只改形状不偷改事实模式迁移可以把旧负载转换为当前内存结构但必须是纯函数并保留原语义。下面把 v1 的amount转成 v2 的amount_minor和币种未知版本立即拒绝。迁移测试保存输入、输出及摘要避免未来改动静默重写历史含义。fromcopyimportdeepcopydefupcast(event:dict)-dict:currentdeepcopy(event)versionint(current[schema_version])ifversion1:amountint(current[data].pop(amount))current[data][amount_minor]amount*100current[data][currency]CNYcurrent[schema_version]2version2ifversion!2:raiseValueError(funsupported_schema:{version})required{amount_minor,currency}ifnotrequired.issubset(current[data]):raiseValueError(invalid_v2_payload)returncurrent legacy{kind:budget_locked,schema_version:1,data:{amount:9,token:B-7},}convertedupcast(legacy)print(converted)print(original_unchanged,legacy[schema_version]1)输出{kind: budget_locked, schema_version: 2, data: {token: B-7, amount_minor: 900, currency: CNY}} original_unchanged True四、踩坑不要原地批量改写历史直接更新旧事件会破坏摘要、审计与重放基线也让回滚版本无法读取。上转换应发生在读取边界原始字节保持不变。若业务语义确实需要迁移应追加迁移事件或启动有父子关系的新运行而不是伪装旧事实从一开始就不同。另一个坑是永远保留所有分支却没有淘汰计划。版本代码需要指标仍有多少在途运行、最老历史何时结束、归档验证器能否独立重放。只有在运行清零、证据包可验证且保留策略满足后才能移出在线二进制。五、验证黄金历史必须跨版本运行为每个逻辑版本保存小而关键的黄金历史在新构建中比较最终状态和命令摘要。再做新旧二进制双重重放任何差异都阻止发布。模式上转换覆盖缺字段、未知版本、重复转换和原输入不变线上灰度监控按版本拆分失败率。版本契约解决了旧历史如何活过新部署。下一篇将把身份、事件、决定、发件箱、回执、租约和版本收束为一个最小持久化内核蓝图并自然过渡到真正的纯状态机实现。参考来源Martin Fowler事件模式演进Microsoft事件溯源的数据版本Semantic Versioning 觉得有用就点个赞 收藏方便回头查阅有疑问直接在评论区留言我看到都会回。 本文属于《持久化执行前置课》系列持续更新关注不迷路。 文章里的代码都能直接跑。想要可直接 clone 的完整工程 配套部署脚本 / 踩坑清单评论一声或发邮件到cj2664qq.com我免费发你。如果你正好在做类似系统、或有工程化难题想找人做也欢迎邮件聊一句——我按实际情况评估能落地的就接单或出方案。评论和邮件都能直接找到我不用跳别的平台。
