证据边界
DSH 学习 · 持久化时机
三个检查点钉住三种进度,崩溃只能吃掉没落盘的部分。
session-checkpoint-policy 在三个语义时刻落盘:adapter 派发前的请求前缀、工具主体执行前已记录的调用、下一个请求边界结算的已完成步骤。检查点拒绝会阻止派发——不会出现没落盘就发出的请求。
- 分叉形态
- —
- 最后 durable 拍
- —
- 可恢复拍数
- —
- 可从日志重放
- —
- 独立校验
- —
完整文字替代
有序推演表
| # | 泳道 | 阶段 | 说明 |
|---|
DSH 学习 · 持久化时机
session-checkpoint-policy 在三个语义时刻落盘:adapter 派发前的请求前缀、工具主体执行前已记录的调用、下一个请求边界结算的已完成步骤。检查点拒绝会阻止派发——不会出现没落盘就发出的请求。
完整文字替代
| # | 泳道 | 阶段 | 说明 |
|---|
证据边界