附录 D —— 术语与易混边界
| 术语 | 本书含义 | 不应混写为 |
|---|---|---|
| DSM | 面向可修复协同状态的分布式共享内存基础库 | 分布式数据库替代品 |
| Runtime | 拥有 identity、registry、lifecycle 与协作组件的
DsmRuntime |
JVM 进程本身 |
| locator | tenantId / applicationId / collectionId |
只有 collection name |
| Register | 每个 key 的当前可见值,经确定性 resolver 收敛 | 线性化 KV |
| Lease | 有期限所有权、模式和 fencing token | 分布式事务锁 |
| CRDT | 依赖交换、结合、幂等 merge 的可合并状态 | 自动正确的任意业务数据 |
| local commit | 本地路径接受并更新 projection | 已在所有 peer 可见 |
| live delta | 正常在线传播路径 | 实时强同步 |
| repair | digest 后用 replay/snapshot 修复当前副本 | 完整业务历史重放 |
| convergence | 恢复后副本得到等价可见状态 | 分区期间只有一个成功 |
| membership | 当前节点观察到的成员与状态 | 全局瞬时真相 |
| fencing token | 外部资源拒绝旧 owner 的单调令牌 | DSM 自动阻止全部外部写入 |
| ChangeStream | 有界状态变更观察流 | 不丢失的审计日志 |
| diagnostics | 当前节点的不可变运行快照 | 业务权威事实 |
| Federation | 跨 cluster 的集合语义传播 | 全局事务或跨区单一 Lease owner |
| E1–E4 | 从静态资产到真实端口的执行面等级 | 质量分或生产成熟度等级 |
五组关键边界
put返回确认本地提交;远端可见需要独立证据。- repair 重新建立状态收敛;它不撤回已返回的 OK。
- Lease 提供 token;外部资源负责校验 token。
- 测试证明给定 revision、环境、拓扑和断言;它不自动证明生产就绪。
- Federation 传播集合语义;它不创造跨区域事务。
完整编辑术语规范见 项目术语表。