源码地图

主线位置：四条主线经过的文件。主线 1（一次 model 的一生）在 model.rs 和 rt/ 的 scheduler.rs、execution.rs、path.rs；主线 2（一次 load 的候选）在 rt/atomic.rs、rt/synchronize.rs；主线 3（数据竞争的检测）在 rt/cell.rs 和 rt/atomic.rs 的后半；主线 4（看到什么、看不到什么）是全卷的横线。

flowchart TB
  user["被测代码（cfg(loom) 切换后）"] --> api
  subgraph api["对外 mock 层：sync / cell / thread / alloc / lazy_static / future / hint（3 539 行）"]
    sync["sync::atomic::AtomicUsize、Mutex、Arc、mpsc…"]
    cell["cell::UnsafeCell、Cell"]
    thr["thread::spawn、park、thread_local!"]
  end
  api -->|"rt::Atomic::new(v, location!())"| rt
  subgraph rt["运行时 rt/：全部 pub(crate)（4 965 行）"]
    sched["scheduler.rs：协程"]
    exec["execution.rs：Execution、schedule（DPOR）"]
    path["path.rs：Path"]
    obj["object.rs：Store、Ref"]
    prims["atomic / cell / mutex / rwlock / condvar / notify / arc / mpsc / alloc / lazy_static / thread"]
  end
  model["model.rs：model、Builder（278 行）"] --> rt
  rt --> gen["generator（有栈协程）"]
  rt --> stls["scoped-tls（STATE）"]
  model --> trc["tracing + tracing-subscriber"]

两层

src/ 下共 8 504 行（含文档注释；loom 自己的源码里没有 #[cfg(test)] 模块，测试都在 tests/）：

对外类型几乎都只是「一个 rt 对象 + location!()」的薄壳。以 AtomicUsize::load 为例，它调 sync::atomic::Atomic::load，后者调 self.state.load(location!(), order)，再往下就进了 rt::Atomic。location!() 宏在 LOOM_LOCATION 关闭时返回一个空位置，打开时借 #[track_caller] 记下调用者的文件、行、列（死锁、分支上限与位置信息）。

顶层与 sync、cell、future：每个文件一句话

rt：每个文件一句话

feature 与依赖

Cargo.toml：

两个 feature 都默认关闭：

tracing-subscriber 不是可选依赖这一点值得记住：任何用 loom 的 crate，开发依赖树里都会多出它和它的 env-filter（regex 等），即使从不看 loom 的日志。

公开 API 一览

没有的东西

把 std 的代码换成 loom 时会撞上的缺口（在 src/ 里 grep 不到）：

「有类型但调用即 panic」的两项尤其要注意：代码能编译，loom 测试一跑到那里就失败，报错是 unimplemented! 的文案。

tests：20 个文件

上游 tests/ 共 20 个文件、2 163 行。本卷只读不跑（不在上游目录里运行任何测试），在相关章引用它们作为「上游自己写下的预期」：

小结

• 两层：pub 的 mock 层（3 539 行）只是 rt 对象 + location!() 的薄壳；rt/（4 965 行）全部 pub(crate)，是本卷的主体。
• rt/futures.rs 32 行没有被 rt/mod.rs 声明，不参与编译，是第一个提交留下的。
• 两个 feature：checkpoint（serde 存 Path）、futures（block_on 与 AtomicWaker）；tracing-subscriber 是必选依赖。
• 公开 API 里没有 Weak、OnceLock、scope、sleep、compiler_fence、128 位原子、sync_channel；Barrier 与 recv_timeout 能编译、一调用就 panic。
• tests/ 20 个文件，本卷只引用不运行。