DSH 学习 · 持久化时机

三个检查点钉住三种进度,崩溃只能吃掉没落盘的部分。

session-checkpoint-policy 在三个语义时刻落盘:adapter 派发前的请求前缀、工具主体执行前已记录的调用、下一个请求边界结算的已完成步骤。检查点拒绝会阻止派发——不会出现没落盘就发出的请求。

关闭全部检查点、在第 4 拍崩溃——重启后能恢复几拍?

当前选择写在地址栏 #state= 后面:刷新不丢。
分叉形态
最后 durable 拍
可恢复拍数
可从日志重放
独立校验

有序推演表

不用脚本也能读
当前输入的全部步骤
#泳道阶段说明
独立校验逐条判定(只读步骤与观测值,自己重算)

    哪些结论可以带走

    能证明什么

      不能证明什么