捕获隔离性指将锁获取与数据访问解耦，通过快照探路、全局排序、原子锁定实现零死锁；辅以单向边锁、超时重试、分层单向锁序等机制，从根源消除循环等待。
在自研图数据库遍历算法中，多线程环路死锁往往不是因为图结构本身有环，而是因并发访问顶点/边锁时形成资源依赖环。捕获隔离性（Capture Isolation）不是标准术语，但结合上下文，它实际指：**将图遍历过程中的锁获取行为与数据访问逻辑解耦，通过预判、批量捕获和原子提交的方式，避免运行时动态加锁导致的循环等待**。核心是把“边遍历→尝试加锁→失败重试”这种易出环的模式，改为“先探路+统一锁序+一次锁定”，从而从机制上消灭死锁可能。
用拓扑快照+全局锁序固化遍历路径
图遍历（如BFS或DFS）天然存在分支与回溯，若每个线程对访问到的顶点单独加锁，极易因不同线程以不同顺序访问同一组顶点而触发循环等待。解决办法是放弃“边走边锁”，改用两阶段：
- 第一阶段（捕获）：线程不加锁，仅基于当前图状态（可借助轻量级读快照或版本号）生成本次遍历将触及的顶点ID有序列表，例如 [v7, v12, v3, v19]；
-
第二阶段（隔离执行）：对该列表按全局唯一规则排序（如 ID 升序），再调用
std::lock(v7_mutex, v12_mutex, v3_mutex, v19_mutex)原子获取全部锁；成功后才真正读取/更新这些顶点数据。
这样，无论多少线程并发遍历，只要都遵循“快照→排序→std::lock”，就不可能出现 T1 等 T2 持有的 v12，而 T2 又等 T1 持有的 v7——因为锁获取是原子且顺序一致的。
用边方向约束替代双向锁，切断等待链
图中边常为无向，但遍历时若对两端顶点都加锁，就等于引入两个方向的资源依赖。可强制规定：只对“出向边目标顶点”加锁，源顶点仅读（无需锁），前提是顶点状态变更只由目标端驱动（如 PageRank 更新只写入被指向顶点）。这样：
- 遍历边
vA → vB时，只申请vB_mutex； - 遍历边
vB → vA时，也只申请vA_mutex； - 不存在“vA 等 vB，vB 又等 vA”的双向等待，循环等待条件被直接破坏。
该策略要求业务逻辑适配——即顶点状态更新必须满足单向驱动契约，但换来的是零死锁确定性。
超时+退避+重做，把死锁转化为可控重试
即便做了前两步，极端情况下（如快照过期导致重复捕获冲突），仍可能短暂阻塞。此时不应让线程无限等待，而应主动防御：
- 所有锁获取均使用带超时的接口，如
std::unique_lock::try_lock_for(50ms)； - 一旦任一锁获取失败，立即释放已持锁，休眠随机时间（如 1–10ms），然后重新生成快照并重试整个捕获流程；
- 重试次数上限设为 3–5 次，超限则降级为单线程串行处理该子图，保障系统可用性而非强一致性。
这并非回避问题，而是将“死锁”这一不可恢复的挂起状态，转化为有界、可观测、可监控的“重试事件”，运维和日志中可明确标记“捕获冲突重试#2”，便于后续优化热点顶点分布。
用锁粒度分层避免跨层级环路
图数据库常分层：顶点层、边索引层、属性存储层。若遍历时对各层锁混用（如先锁顶点 v5，再锁其边索引 idx_v5，又去锁属性块 attr_203），容易在层间形成新环路。应明确锁层级顺序：
- 严格按“顶点锁 → 边索引锁 → 属性块锁”单一方向获取；
- 同层内顶点锁仍按 ID 排序；
- 禁止反向操作，例如不允许在持有属性块锁时再去请求其他顶点锁。
这种分层+单向约定，使资源依赖图变成有向无环图（DAG），从根本上排除循环等待存在的数学基础。
