分区活跃 walker 热力图 色标固定 · 起始均匀 → 推进偏斜 → 完成归零
怎么看（每行 = 一个分区 B0–B3，颜色越深 = 该分区此刻的活跃 walker 越多）
① 起始均匀：每个顶点发起 10 个 walker、每个还要走满 20 步，块大小 9/9/8/8
→ 四块 90/90/80/80，且全部落在步数剖面的「已走 0 步」列，几乎完全均匀（CV≈0.06）；
② 推进偏斜：只有驻留块里的 walker 能往前走，非驻留块的 walker 原地积压 ——
步数剖面上各行的「波前」参差不齐，时间轴上四行颜色分化，极差与 CV 持续上升；
偏斜的根源不是游走本身，而是调度决定谁能走；
③ 完成归零：走满 20 步的 walker 直接离开热力图，最后一列四个分区同时归零；
若配置死锁（如二阶 naive），分布会冻结在某个非零状态，永远等不到归零 ——
这正是 SOWalker 说的 non-updatable walks。
「内存」行把调度器的选择摊开：彩色格 = 该块本轮在内存，黑框 = 本轮新换入（1 次块 I/O）。
round-robin 每一列都是「两个黑框 + 两个灰格」，命中 0 次；state-aware / AUW 会出现
「两个彩色但都不是黑框」的列，那就是省下的 I/O。