DSH 学习 · 基础设施

写完即持久;关了就别想再写。

存储枢纽把「介质」交给后端:一个后端独占一种介质,kv 这类切面可选——缺位就在解析点大声失败。单元名同时充当文件名和 SQL 标识符段,所以 UNIT_NAME_RE 直接拒绝大写和连字符,不做转义。打开时版本戳对不上按 version-mismatch 拒绝;putRecord 一旦 resolve 即持久;deleteRecord 对缺失键幂等;close 排空在途写入,之后的一切调用报 closed。

先押一个注:deleteRecord('records', 'ghost'),键不存在时会发生什么?

当前输入写进地址栏 #state= 后面:刷新不丢,发给别人打开的是同一份输入。

错误码
打开的单元
写入即持久
删除幂等
独立校验

从解析后端到读回快照的每一步

解析 × 打开 × 写入 × 关闭

每一格是一次存储动作:错误格带出上游词汇表里的稳定错误码——version-mismatch、malformed-medium、closed 都是原文。

    六条不变量逐条重算

    流程校验

    独立校验只读模型:核对失败点顺序、名字门、错误码词汇、持久语义、幂等与确定性重放。

      哪些结论可以带走

      能证明什么

        不能证明什么