DSH 学习 · Worker 协议

Ready → Go → ChildStart → … → Result。每一步都闭合。

workflow-worker-thread 把脚本放进 worker 线程执行,子代理留在宿主侧——两者通过一条双向闭合协议通信:Ready/Go 握手防止启动竞态,ChildStart RPC 让 worker 委派宿主启动子代理(每个 start 恰好一个回复),Cancel 让 hooks 抛出并在有界宽限内强制结算。切下面的场景逐步推。

阅读配套课程 打开编排实验

先押一个注:host 发出 Cancel 后,正在运行的脚本和已启动的子代理会怎样?

当前输入写进地址栏 #state= 后面:刷新不丢。

总消息数
ChildStart→回复
Result 数
握手
独立校验

Host ⇄ Worker 的有序对话

方向 × 标签

左对齐的是 Host 发出的消息,右对齐的是 Worker 发出的消息。淡出的条目尚未发生。

    五条不变量逐条重算

    流程校验

    独立校验重推同一条消息流,再核对握手顺序、RPC 配对、终局唯一性和收尾位置。

      哪些结论可以带走

      能证明什么

        不能证明什么