用法与调试

前五部分讲 loom 内部怎么工作，这一部分站在使用者一侧：代码怎么接、模型怎么写、失败了怎么查。每条建议都落回前面某一章的机制，并配本机实测。

flowchart LR
  a["cfg(loom) 切换层：被测代码换成 loom 类型"] --> b["写模型：loom::model(|| ...)"]
  b --> c["RUSTFLAGS="--cfg loom" cargo test --release，LOOM_MAX_PREEMPTIONS=2 或 3"]
  c -->|失败| d["LOOM_CHECKPOINT_FILE + INTERVAL=1 存下失败那一轮"]
  d --> e["LOOM_LOG=trace + LOOM_LOCATION 只重放那一轮"]
  c -->|通过| f["反向验证：改错一处应失败"]

三章：

1. cfg(loom) 切换层：文档推荐的 mod sync 写法；API 差别清单（原子不能 const 构造的编译错误原文）；tokio、bytes 的 cfg(all(test, loom))、crossbeam 的 crossbeam_loom、concurrent-queue 等裸 cfg(loom) 三种写法，以及下游开 --cfg loom 时它们各自会不会被换掉；check-cfg 声明与警告原文。
2. 写一个好模型：线程数与操作数的交错数表；把常数调小；自旋要 yield_now；确定性；断言与结果收集；反向验证；skip_branch；抢占上限取 2 或 3；release 与 debug 的速度（E20）。
3. checkpoint、日志与位置：checkpoint 只在整 interval 轮写（E3），文档三步法与代码的出入和一个能用的流程；残留文件的副作用；没开 feature 的行为（E3 反向）；LOOM_LOG 的级别与输出捕获；LOOM_LOCATION 只看是否存在。

环境变量速查

全部在 Builder::new 里读（model.rs:76-114），值解析失败直接 panic。字段与默认值的完整对照见 model 与 Builder。

本部分的实验