Zero 架构 · 第十五课

Fork 与 Child:一个会话怎么生出另一个会话

第七课把会话确立为一条 事件溯源的 events.jsonl 日志。这一课看它怎么繁殖 —— 一个会话变成两个。 Zero 有两条截然不同的路径,新手最容易把它们混为一谈,但结构上南辕北辙: Fork(/fork,store.go:390) 和 CreateChild(specialist 子会话,lineage.go:9)。

对齐 mission:一个现代 coding agent 有两种「再开一个会话」的需求。① 我想从某个时刻岔开试另一条路,又不弄脏原来的对话 —— 这是 fork。 ② 我想派一个 specialist 子 agent 去干一个 sub-任务(并行探索、swarm 成员),干完把结果带回来 —— 这是 child。 一条是复制历史后分岔,一条是挂一条全新的 sub-会话上来。看清这个区别,就看懂了 agent 的会话拓扑。

一句话对照

Fork:把历史复制一份,然后各走各的

Fork 读出父会话的全部事件,逐条 AppendEvent 进新会话 store.go:430 —— fork 拿到一份完整的对话历史副本,再从那里继续。 两个考究之处:

• 唯独不复制 usage 事件 store.go:435:token 用量已经算在父会话头上,若 fork 也带着,一份聚合用量报告就会重复计费。fork 只要对话历史能续上,用量不重放。(这正是第十、十二课那条「非幂等 / 不重复计费」纪律在会话层的回响。)
• 连内容寻址的 checkpoint blob 也一并拷贝 store.go:447:否则复制过来的 EventSessionCheckpoint 事件(第七课)会指向不存在的 blob,fork 上做 /rewind 就读到空、悄悄跳过文件。拷了 blob,fork 的时间旅行才完整。

最后在 fork 自己的日志里写一条 EventSessionFork store.go:450,记下「从父会话哪个事件、第几号序列岔开」。fork 之后,两条时间线基本独立演进。

Child:不抄历史,而是在父子两端各钉一个书签

CreateChild 反过来 —— 子会话不继承父的对话,它带着自己的 prompt 从头开始干活(它是个 specialist)。 它要解决的是另一个问题:子会话怎么「挂」到父会话上,让两边都知道彼此?答案优雅得只用了事件溯源本身:

// 同一条 link 事件,写进父、也写进子
store.AppendEvent(parent.SessionID, {Type: EventSessionChild, Payload: payload})  // lineage.go:50
store.AppendEvent(child.SessionID,  {Type: EventSessionChild, Payload: payload})  // lineage.go:53

拓扑:向上是链,向下是树

有了 ParentSessionID 和 RootSessionID lineage.go:38,导航是两个方向:

• 向上:Lineage lineage.go:99 顺 ParentSessionID 一路走到根,还带环检测(seen map),防止损坏的元数据把遍历卡死。
• 向下:Tree lineage.go:127 建整棵子会话树。这里有个性能修正值得一看:旧实现每个节点都调一次 ListChildren,而每次 ListChildren 又全盘扫一遍磁盘上所有会话元数据 —— O(节点数 × 总会话数)。新实现一次扫描把所有会话按 parent 建索引,再在内存里递归lineage.go:144。

动手回忆

接下来该读的一手源码

less +390 ../zero/internal/sessions/store.go     # Fork:回放父事件 + 跳过 usage + 拷 blob + EventSessionFork
less +435 ../zero/internal/sessions/store.go     # 为什么不复制 usage:避免重复计费
less +9   ../zero/internal/sessions/lineage.go   # CreateChild:子会话 + 双写链接事件
less +204 ../zero/internal/sessions/lineage.go   # childLinkPayload:parent/child/root + spawnedFrom
less +127 ../zero/internal/sessions/lineage.go   # Tree:一次扫描建索引(O(n) vs 旧的 O(节点×总数))

读的顺序:先把 Fork 的循环看完 —— 注意它 copy 事件、跳过 usage、拷 blob。再读 CreateChild 那两行几乎一样的 AppendEvent(一条进父、一条进子)—— 这一处「同一事件写两遍」就是「子会话挂到父上」的全部机制。 最后看 Tree 的单次扫描注释,体会「事件溯源里,关系也是事件,不是表」。