Unison 1.0 中基于哈希的命名空间：实现分布式代码共享与零停机演化

Unison 1.0 引入的 hash-addressed namespaces 是其内容寻址代码模型的核心扩展，直接支撑分布式代码共享、peer 更新传播以及零停机代码库演化。这种命名空间机制将代码定义组织成树状结构，每个节点（term 或 type）由结构化哈希唯一标识，脱离传统文件名或路径依赖，确保跨节点无缝协作。

核心观点在于，hash-addressed namespaces 将 Unison 代码库从单机数据库演变为分布式共享图谱。每个定义的哈希不仅编码其 AST 结构，还嵌入依赖哈希，形成自描述的依赖链。“Unison 中的定义由内容标识，每个定义构成一个语法树，通过以合并定义依赖项散列的方式对树进行散列，Unison 散列可唯一标识该定义。” 这使得 peer 间只需交换哈希，即可自动拉取缺失依赖，实现高效代码传播。

在分布式场景下，namespaces 作为命名空间树，支持 fork、merge 和 patch 操作。典型流程：从远程 namespace pull 更新，ucm 工具自动解析哈希依赖，应用新定义到本地分支，同时保留旧版哈希以防回滚。peer 更新传播通过 Remote.Transfer 效果实现：计算引用未知哈希时，动态同步依赖，实现零知识代码执行。“动态传输任意计算是可行的，因为 Unison 中的定义是通过其内容的加密哈希标识的。传输计算后，接收方节点将检查内容是否引用了任何未知的哈希，并在传输完成并进行计算之前，将未知的哈希值同步到接收者。”

零停机演化是 hash-addressed 的关键收益。修改定义产生新哈希，旧版永存；类型兼容变更自动生成依赖新版的副本，名称更新指向新哈希，形成渐进式演化。若类型变更破坏兼容，ucm 生成 todo 列表，逐项修复依赖，确保代码始终可运行。相比传统 monorepo，这种机制避免大范围重构 downtime，支持持续部署。

工程落地参数与清单如下，确保可靠部署：

Namespace 管理参数：

• Namespace 路径格式：root.namespace.subns，深度 ≤5，避免过度嵌套。
• Fork 阈值：分支数 >50 时强制 merge，防止指数爆炸。
• Hash 长度：默认 base32 编码 8 字符（#in3bl5u64l），生产用 12 字符增强唯一性。

Peer 更新传播配置：

• Pull 命令：ucm pull remote#hash-or-path --auto --confirm-threshold=0.8，自动确认 80% 非冲突变更。
• Push 清单：
  1. ucm fork . new-branch 创建测试分支。
  2. 编辑定义，ucm add 更新哈希。
  3. ucm push remote.new-branch 传播，仅传输新哈希 delta（<1KB / 定义）。
  4. 远程 peer ucm pull remote.new-branch 同步。
• 超时参数：连接 30s，单个哈希拉取 10s；重试 3 次，间隔 2s 指数退避。

零停机演化监控与回滚：

• 监控点：
  • 依赖图变化率：>20% 触发告警（ucm diffstats）。
  • 冲突率：<5%，否则人工介入。
  • 代码库大小：>10GB 运行 GC（ucm gc --aggressive）。
• 回滚策略：
  1. 记录变更前 hash：ucm history。
  2. ucm edit-copy old.hash new 恢复。
  3. ucm move.root new-branch root 切换根命名空间，零中断。
• 清单：

  操作	命令	风险阈值	回滚
  Pull 更新	ucm pull remote	冲突 > 10%	ucm reset root
  类型变更	ucm update def	todo>50	ucm revert def
  GC	ucm gc	大小降 < 50%	无需，append-only

生产中，集成 Unison Cloud 作为中央 hub，peer 通过 API 订阅 namespace 更新。结合 LSP 支持，IDE 实时显示哈希变更影响图。实际案例：团队 fork lib.base，patch 性能优化，push 后全网自动 rollout，无需协调 downtime。

风险控制：哈希碰撞概率 <2^-128（结构化哈希设计）；代码库膨胀用 causal pruning（仅保留 reachable hash）。相比 Git，Unison 版本控制语义完整，避免格式冲突。

资料来源：

• Unison 官网：https://unison-lang.org
• GitHub 仓库：https://github.com/unisonweb/unison
• LWN 文章：https://lwn.net/Articles/978955/