From 5d8a2b99fdc898aa0c1004690e78f18801a0a8bd Mon Sep 17 00:00:00 2001 From: Swung0x48 Date: Tue, 22 Sep 2026 21:37:50 -0400 Subject: [PATCH] [docs] (P7): magma-m2.md records M2 - the wire arm's orphaned VkBuffers are bounded (25,935 -> ~1,050 peak, bsl spawn server 825 -> 546 MiB), and the host maps M1 attributed to them are lavapipe descriptor sets Before/after on host with M1's sampler and probe for bsl-esc-menu-854 and iris-bsl-in-world on monolith / inproc / spawn (pixels identical on every arm), the mechanism with citations, the knob's semantics, the red-once table, the gates, and what remains: the wire arm's descriptor-set growth between BeginFrame rewinds (27,377 live sets == 28,134 maps; now bounded only because M2's forced syncs let the drain rewind the cursors), CollectGarbage/pruneWire never reached on the wire arm (B4), the frame-serial proof deferred until B3's floor fix, the tcp arm's gauge reach, the ServerSpawn.cpp touch and the knob for the integrator to ratify, and the Redmi acceptance run. --- docs/Disaggregated/notes/p7/magma-m2.md | 263 ++++++++++++++++++++++++ 1 file changed, 263 insertions(+) create mode 100755 docs/Disaggregated/notes/p7/magma-m2.md diff --git a/docs/Disaggregated/notes/p7/magma-m2.md b/docs/Disaggregated/notes/p7/magma-m2.md new file mode 100755 index 00000000..dd19bb34 --- /dev/null +++ b/docs/Disaggregated/notes/p7/magma-m2.md @@ -0,0 +1,263 @@ +# P7 wave 4 M2：Magma wire 臂的延迟 VkBuffer 集有界（分支 `p7/magma-m2`） + +> 裁定见 [`INTEGRATOR-DECISIONS-P7.md`](INTEGRATOR-DECISIONS-P7.md) ID-P7-27 / ID-P7-32（M1 的归因与 +> 「server 侧回收不能假设一帧有界」）；规范见 +> [`CONTRACT-P7.md`](../../../../MobileGL/MG_Remote/CONTRACT-P7.md) §0（规则 I / J）、§7.1 门 3、§9、 +> §12 的 bsl-esc-menu 行。基线 = `ec46a550`（`build-split` / lavapipe 钉住 / 集成测试 ON）。 +> +> 主机口径：WSL Arch + lavapipe（`/usr/share/vulkan/icd.d/lvp_icd.json`），`build-split` = Release / +> clang / ccache / `DISAGGREGATED=ON` `INPROC=ON` `PIPE_PUSH=ON`。测量用 M1 的采样器 +> （`~/w7/m1/memrun.sh`：0.1 s 采 `/proc//status` 与 `maps` 行数，覆盖 spawn 出的 server）与 M1 的 +> 只读探针（`M1WireBuffers` / `M1DeferredBuffers` / `M1LiveVkBuffers` / `MOBILEGL_M1_VMA_DUMP`），打在 +> 两棵**只用于测量**的树上：`~/w7/m2-meas` = `ec46a550` + 探针，`~/w7/m2-meas-after` = 本分支 + 同一探针 +> （外加一个数 descriptor set 的探针，§5.3）。探针不进任何提交。 +> +> 基线门读数（`ec46a550`）：`unit` 2429、`integration-split` 303、`integration-magma-split` 93、 +> `-spawn` 72、`-tcp` 74、`integration-magma-full-split` 533，全绿。 + +## 0. 提交 + +| # | 提交 | 一句话 | +|---|---|---| +| 1 | `736b16a4` | `[MG_Backend]` wire 臂被 `glBufferData` 孤立的 store 在 defer 路径上一证明无 GPU 命令还能引用就销毁，不再等帧界 | +| 2 | `e47e2eb6` | `[MG_Backend]` 仍停放的孤立 store 超过 `MOBILEGL_IPC_WIRE_DEFERRED_MB`（默认 64）时，server 在帧中取 host-access 同步点并全部回收 | +| 3 | `09901bae` | `[MG_Remote]` spawn 启动器把 `MOBILEGL_IPC_WIRE_DEFERRED_MB` 透传给 server 子进程（环境清洗唯一保留的 `MOBILEGL_IPC_*`） | +| 4 | `c4d77917` | `[MG_Backend, MG_Util, MG_Test, MG_IntegrationTest, scripts]` `MagmaWireReclaimScenario` 进 `integration-magma-{split,spawn}`，读 server 的 `wbuf[]` gauge | +| 5 | `7db41ff4` | `[MG_Backend, MG_IntegrationTest]` 同一同步点在停放超过 1024 个 store 时也触发 | +| 6 | 本文 | `[docs]` | + +`VulkanRenderer.cpp` 一行未动（B3 的文件）；`WriteWireBuffer` / `GetCompletedSerial` / +`NotifyFrameSerialComplete` 语义未动（`WriteWireBuffer` 只把它那条 Fatal 换成共享的 +`WireBufferSyncFatal("host-write")`，同一行字、同一个 abort 站点）；monolith 的 `OnRespecify` 与 +transient arena 的帧界节奏未动。 + +## 1. 缺陷与机制（`file:line` 按 `ec46a550`） + +1. **每个过 wire 的 `glBufferData` 都孤立旧 store**：`VkBufferManager::RespecifyWireBuffer` + （`VkBufferManager.cpp:189`）在 `:197` 无条件 `DeferRelease(std::move(resource->buffer))`，再 `Create` + 新 store。孤立本身是对的（M1 测过 monolith 式条件孤立：6701 对 6702，无效）。 +2. **回收只在帧界**：`DeferRelease`（`:1183`）压进 `m_deferredBufferReleases[m_currentFrameIndex]`， + 只有 `CollectDeferredReleases`（`:1198`）清它，而它只从 `BeginFrame`（`:521`）与 + `CollectAllDeferredReleases`（`:530`）进；前者在 present 路径（`VulkanRenderer.cpp:14231`）与 + `TryDrainFrameTransients` 的每第 8 次 drain（`VulkanRenderer.cpp:13691/:13697`），后者在 + `TryDrainFrameTransients`（`:13630`/`:13675`），它要求所有提交完成**且**当前无录制——长帧里几乎不成立。 +3. **帧界不来**：ID-P7-32 / §12，bsl fixture 1 303 535 次调用里只有 2 次 `eglSwapBuffers`，harness 在目标 + swap 上快照后退出，server 整次回放收到 **1** 条 present。 + +主机结果（`ec46a550` + 探针，spawn）：回放结束时 25 935 个活 VkBuffer，25 903 个在延迟桶里， +25 931 个出自 `VkBufferManager.cpp:221`（探针树上 `RespecifyWireBuffer` 的 `Create`），VMA 25 990 个 +分配 / 345.5 MB；monolith 同一回放 10 个活 VkBuffer。 + +## 2. 修复 + +### 2.1 serial/submit 门控回收（`736b16a4`，仅 `VkBufferManager.{h,cpp}`，`#if MOBILEGL_BUILD_DISAGGREGATED`） + +wire 臂的孤立 store 不再进按帧槽分桶的 `m_deferredBufferReleases`，而进一张扁平的 +`m_deferredWireReleases`，每条带三个事实：`lastUseSerial`（**在 `RespecifyWireBuffer` 把它清零之前**读）、 +`submitIndex`（停放时的 `GetSyncPointSubmitIndex()`）、`bytes`。死亡证明三条，任一成立即销毁： + +| 证明 | 何时成立 | 为什么可靠 | +|---|---|---| +| `lastUseSerial == 0` | 自铸造或自上次 host-access 等待以来没有 GPU 命令引用过这个 store | 每条把 store 交给 GPU 的路径都盖 `m_frameSerial`（从 1 起）；`WaitForWireBufferHostAccess` 只在等完 sync point 后清零。**这种 store 在停放点直接销毁，不进表** | +| `IsSubmitIndexComplete(submitIndex)` | 能引用它的最后一次提交已退休 | 停放时 record 已在 bump 过的 slice epoch 之后，此后录制的命令拿不到它；此前录制的要么已提交（≤ `m_submitCounter`），要么在下一批（`m_submitCounter + 1`）。与 `CollectWireObjects` 对 wire image/view 表用的是同一形状 | +| renderer 空闲：`IsSubmitIndexComplete(GetSyncPointSubmitIndex())`（或无 renderer） | 无录制、所有提交已退休 | 此时表里每一条都死，包括被最小化 Present 丢弃的录制所标记、其 index 可能永远不完成的那条 | + +**每次停放都扫一遍**（`DeferWireRelease` → `SweepDeferredWireReleases`），帧界只是多一个扫描点 +（`CollectDeferredReleases` 末尾）。表按停放序、`GetSyncPointSubmitIndex()` 不减，所以死者是**前缀**： +第一条未完成的证明其后全未完成，一次扫描至多两三次 fence poll。`Shutdown` / `RecreateTransientArenas` +（二者已证明设备空闲）整表销毁。 + +**帧 serial 地板刻意不作证明**：它在帧内不动（`NotifyFrameSerialComplete` 拒绝当前 serial），对单 present +回放一个也放不掉；而且在本包的基线上它正是 B3 证明不可靠的那个地板（一个 serial 两次提交，第一次 fence 就被 +记成完成，`6a92a10dd`）——在它上面 free 是 GPU use-after-free，不是错像素。B3 落地后可以补上（§6.3）。 + +### 2.2 水位线（`e47e2eb6` + `7db41ff4`） + +扫描之后若仍停放 `> MOBILEGL_IPC_WIRE_DEFERRED_MB` 字节**或** `> 1024` 个 store，停放点调 +`pVulkanRenderer->WaitForSubmitIndex(pVulkanRenderer->GetSyncPointSubmitIndex(), UINT64_MAX, /*flush*/true)` +——`WaitForWireBufferHostAccess` 的同一个调用：先把当前录制提交，再等它——然后再扫；因为表里没有一条能标在 +刚等完的 sync point 之后，这次扫描清空全表。同步点完成不了（`WaitForSubmitIndex` 返回 false：flush 失败、 +设备丢失）时死于**既有**站点 `Fatal{ResourceUnavailable, "buffer-write-sync"}`：`WriteWireBuffer` 那条 +`MGLOG_F` + `abort` 挪进 `WireBufferSyncFatal(site)`，两处共用，`{site=host-write|deferred-watermark}` 区分； +`fatal_census.py` 79 个 abort 站点不变，家族词不变。 + +**为什么还要个数上限（`7db41ff4`）**：只有字节水位线时，bsl spawn 的某段无提交区间停放了 12 497 个 store +而只占 39.5 MB（低于 64 MiB），一次同步也没触发（§5.1 中间行）。VkBuffer 按对象计价，小孤立永远碰不到字节 +预算。1024 是常量 `VkBufferManager::kWireDeferredCountCeiling`，不是旋钮。 + +### 2.3 spawn 透传（`09901bae`） + +`ServerSpawn.cpp` 的 `BuildChildEnv` 清洗掉所有 `MOBILEGL_IPC_*`（`:83` `ShouldScrub`），于是新旋钮在 inproc +有意义、在 spawn 静默无意义——实测 spawn server 在 8 MiB 的车道预算下停放 47 MiB、0 次同步，它从一个已经没有 +这个变量的环境里解析出了默认值。改为**按名**保留这一个（不放宽前缀）。它不指名端点、角色或段尺寸，两道防递归 +检查（`Dial=No`、`ServerMain` 对 TRANSPORT / SERVER_PATH / RING_MB / STAGE_MB 的清洗核验）都不受影响。 +tcp 的 server 读 supervisor 自己的环境，与所有旋钮相同。 + +## 3. 旋钮语义：`MOBILEGL_IPC_WIRE_DEFERRED_MB` + +- **谁读**：只有 **server 角色**的 `VkBufferManager`（Magma wire 臂）。经 `MG_Config::Ipc.WireDeferredMb` + （`Config.h` IpcTable，`ConfigLoader.cpp` `InitIpc` 读一次，范围 0..65536，默认 **64**，写进 + `Config: IPC ... wire-deferred=%uMiB` 那一行）。inproc：本进程环境；spawn：启动器透传；tcp：supervisor 环境。 +- **管什么**：已孤立、但还可能被「已录制未退休」的 GPU 工作引用的 wire buffer store 的**停放字节**。不管活 store + （record 持有的），不管 transient arena，不管 monolith 臂。 +- **怎么管**：停放点扫描后，停放字节 `> 值 × 1 MiB` **或**停放个数 `> 1024` → 取一次同步点（flush + 等）→ 全表回收。 + 所以 server 的孤立 store 峰值 ≤ 预算 + 一个 store、≤ 1025 个。代价是每一预算量（或每 1024 个）孤立一次帧中提交， + 不是每个 `glBufferData` 一次；bsl-esc-menu-854 整次回放 23 次。 +- **0 = 负对照**，不是「无限」：两个触发都关，帧内 respecify-and-draw 回到无界（`MagmaWireReclaimScenario` 的两条 + 水位线用例必须红，§4）。`lastUseSerial == 0` 与 submit 门控两条证明在 0 下照常工作。 +- **按 CONTRACT-P5/Config.h 的规矩，新 IPC 旋钮应经集成者**：本包把它加进了 IpcTable，请集成者追认，并补进 + `ARCHITECTURE.md` 的旋钮清单。 + +## 4. 场景、车道、red-once（规则 J） + +`MG_IntegrationTest/Scenarios/MagmaWireReclaimScenario.cpp`，三条用例都在**一帧之内**（第一个到最后一个 +respecify 之间没有 swap），读 server 自己发布的四个 PipeStats gauge（`PipeStats.h` `Gauge::WireBuffers` +…`WireDeferredSyncs`，行上是 `wbuf[wbufs= wlivepk= wdefpk= wdefsync=]`，只在 push 构建里有，pull `.text` 不动）。 +峰值是**运行最大值**：缺陷活在帧内，swap 时刻的采样读的是帧界自己扫完之后的值，什么也证明不了。 + +| 用例 | 负载 | 断言 | +|---|---|---| +| `RespecifiesWithNoDrawBetweenKeepTheLiveStoreCountBounded` | 1 个 buffer、1024 次 4 KiB `glBufferData`、中间不画 | `wlivepk ≤ 4 × wbufs`；最后一次画落地 | +| `RespecifyAndDrawEachStoreInOneFrameStaysWithinTheDeferredBudget` | 48 轮「1 MiB respecify + 画一条竖带」 | `wdefpk ≤ 预算 + 1 MiB`、`wlivepk ≤ wbufs + 预算/1 MiB + 2`；48 条带各是自己的颜色（store 在它的 draw 执行前被销毁会在这里现形） | +| `ManySmallRespecifyAndDrawRoundsStayUnderTheStoreCountCeiling` | 3000 轮「256 B respecify + 画」（750 KB，远低于字节预算） | `wlivepk ≤ wbufs + 1024 + 2`；最后一次画落地 | + +车道：`DirectVulkan.{Split,Spawn}.Reclaim.*`，标签 `integration-magma-split` + `integration-magma-reclaim` / +`integration-magma-spawn` + `integration-magma-spawn-reclaim`，环境 = strict + 双块 + `MOBILEGL_PIPE_STATS=1` +`_PERIOD=1` + `MOBILEGL_IPC_WIRE_DEFERRED_MB=8` + 私有日志路径。**不注册 tcp 臂**（ID-P7-14 的形状）：tcp 的 server +是整条车道共用的 fixture supervisor 子进程，条目设不了它的环境（给它设 stats + 8 MiB 会改掉其它每条 tcp 条目的 +server），也读不到它的日志。`spawn_lane_parity.py` 新增按名例外 `MAGMA_NOT_ON_TCP`（只对 tcp 臂的比较扣除）， +`PipeStatsTest` 钉住四个短名。 + +red-once（R-16，已执行并还原；数字是 server 的 gauge）： + +| 场景 / 臂 | 红（修复前） | 绿（修复后） | +|---|---|---| +| 用例 1，split & spawn | 基线 defer 路径（`ec46a550` 的 `DeferRelease` 进帧桶，计数照记）：`wlivepk` **1025 vs 4** | `wlivepk=1`（`wbufs=1`） | +| 用例 2，split & spawn | 同上：`wdefpk` **49 287 168 vs 9 437 184**、`wlivepk` **49 vs 11** | `wdefpk=9 437 184`、`wlivepk=9`、`wdefsync=5` | +| 用例 2，`MOBILEGL_IPC_WIRE_DEFERRED_MB=0`（旋钮负对照，已提交代码） | `wdefpk` **49 287 168 vs 9 437 184**、`wlivepk` **49 vs 11**，两臂 | — | +| 用例 3，split & spawn | `c4d77917`（只有字节水位线）：`wlivepk` **3001 vs 1027** | `7db41ff4`：`wlivepk=1025`、`wdefsync=2` | +| 修 spawn 透传前（`e47e2eb6` + 本场景） | spawn 臂 `wdefpk=49 287 168`、`wdefsync=0`（server 没拿到 8 MiB） | `09901bae` 后与 split 臂相同 | + +用例 2 的负对照（在 `7db41ff4` 上重跑）里 48 条带仍全部正确——红的是回收，不是画面。 + +## 5. 主机测量（M1 的采样器与探针；lavapipe；pbuffer；DirectVulkan） + +### 5.1 `minecraft-1.21.4-fabric-iris-bsl-esc-menu-854`（854×480） + +「前」= `ec46a550` + 探针；「字节线」= `c4d77917`（只有字节水位线）；「后」= `7db41ff4`。三臂的 ssim 与 mismatch +前 / 字节线 / 后完全相同：ssim **0.998402**、mismatch **306 892**。 + +| 臂 / 进程 | 峰值 RSS（VmHWM） | maps 峰值 | 结束时活 VkBuffer（其中停放） | VMA 分配 / 字节 | `wbuf[]` | +|---|---|---|---|---|---| +| monolith，前 | 1058.6 MiB | 28 403 | 10 | 64 / 420.7 MB | — | +| monolith，后 | 1056.9 MiB | 28 402 | 10 † | 64 / 420.7 MB † | — | +| inproc，前 | 1174.6 MiB | 41 021 | 25 935（25 903） | 25 990 / 345.5 MB | — | +| inproc，字节线 | 1140.8 MiB | 41 032 | 32（0） | 87 / 283.6 MB | `wlivepk=12497 wdefpk=39536432 wdefsync=0` | +| inproc，后 | **894.2 MiB** | **5 847** | 1 053（1 025） | 1 108 / 235.7 MB | `wlivepk=1052 wdefpk=3312832 wdefsync=23` | +| spawn server，前 | 825.1 MiB | 41 007 | 25 935（25 903） | 25 990 / 345.5 MB | — | +| spawn server，字节线 | 793.8 MiB | 40 993 | 32（0） | 87 / 283.6 MB | `wlivepk=12497 wdefpk=39536432 wdefsync=0` | +| spawn server，后 | **546.3 MiB** | **5 832** | 1 053（1 025） | 1 109 / 236.7 MB | `wlivepk=1052 wdefpk=3312832 wdefsync=23` | +| spawn client，前 / 后 | 359.8 / 358.8 MiB | 69 / 66 | — | — | — | + +† monolith 的 VMA 读数取自 `c4d77917` 测量树上的 monolith 一遍（本包不碰 monolith 臂，`7db41ff4` 只改 wire 路径）。 + +spawn server 的 RSS / maps 逐 ~10 s 序列（`mem.tsv` 十分位）： + +``` +前（ec46a550） t(s) 0 9.6 19.2 29.2 39.9 50.8 61.6 72.5 83.2 93.9 104.7 + RSS MiB 9 465 750 763 774 785 796 807 788 800 825 + maps 58 7160 27361 30324 32589 35019 37429 39828 29574 32799 28301 +后（7db41ff4） t(s) 0 9.6 19.4 29.2 38.8 48.2 57.9 67.6 77.5 87.0 96.4 + RSS MiB 19 239 453 455 458 462 465 468 473 477 546 + maps 200 2296 5783 5329 5197 5204 5051 4738 5686 5429 4664 +``` + +前：进入稳态后 +11 MiB / +2 400 maps 每 10 s、锯齿（drain 偶尔成功时回落），与 M1 的 +12.2 MiB / +2600 每 7.2 s +同形。后：稳态斜率 ~+3 MiB / 10 s、maps 平台在 4.6k–5.8k。最后一个采样的 +70 MiB 在前后都有（前 +25），是回放 +收尾（快照 / 回读）的一次性抬升，未归因。探针的活 VkBuffer 序列（后，spawn）：7 → 1 035 → 1 053 → … → 1 053， +停放恒在 1 025 附近，即个数上限在锯齿地收它；前：7 → 4 526 → 7 215 → 19 687 → 25 935。 + +### 5.2 `minecraft-1.21.4-fabric-iris-bsl-in-world`（轻例） + +ssim **0.997324**、mismatch **392 471**，前后三臂相同。 + +| 臂 / 进程 | 峰值 RSS 前 → 后 | maps 峰值 前 → 后 | VkBuffer | +|---|---|---|---| +| monolith | 821.3 → 811.9 MiB | 995 → 989 | — | +| inproc | 940.2 → 934.7 MiB | 907 → 941 | 前：4 s 采样 86 活 / 68 停放；后：21 活 / 1 停放 | +| spawn server | 477.0 → 471.0 MiB | 897 → 890 | 后 `wbuf[wbufs=26 wlivepk=63 wdefpk=57760 wdefsync=0]` | +| spawn client | 459.7 → 460.2 MiB | 66 → 66 | — | + +轻例本来就小（M1：1000× 小于 bsl），修复后峰值 63 个 store、57 KB 停放、零次强制同步——只靠 submit 门控。 + +### 5.3 M1 的 maps 归因不成立，maps 是 descriptor set + +「字节线」那一行是决定性的：活 VkBuffer 从 25 935 降到 32、VMA 分配从 25 990 降到 87，**maps 峰值一点没动** +（41 007 → 40 993）。maps 普查：增长的全是 4096 B 的 `/memfd:allocation fd` 映射（前 spawn 峰值快照 34 653 个， +monolith 27 383 个）；VMA 的块是另外那几条 32–256 MiB 的映射。加一个只在测量树上的计数探针 +（`UniformManager::AllocateDescriptorSetsFromActivePool` 成功 +1、`OnDescriptorSetLayoutDestroyed` 减去清掉的）后： + +| 采样 | `dsets` | maps | +|---|---|---| +| 字节线 spawn | 5 552 / 23 276 / 27 377 | 6 092 / 24 013 / 28 134 | +| monolith | 14 948 / 23 271 / 27 376 | 15 730 / 24 053 / 28 202 | +| 后 spawn | 1 820 / 3 663 / 3 713（平台） | 2 294 / 4 392 / 4 458 | + +**lavapipe 给每个 descriptor set 一个 4 KiB memfd 映射，maps 就是活 descriptor set 数。** M1 的「每个 VkBuffer 一条 +memfd 映射」是相关不是因果（两者都随调用数涨）。「后」的 maps 之所以降到 5.8k，是个数上限的 23 次强制同步顺带让 +`TryDrainFrameTransients` 成功，而 drain 每次都 `m_uniformManager->BeginFrame(frameIndex)` 回卷 descriptor 游标 +（`VulkanRenderer.cpp:13630` 的 `TryDrainFrameTransients`，「Descriptor cursors rewind on every drain」）——**descriptor set 的有界现在 +搭着 M2 的同步节奏**，不是它自己的机制（§6.1）。 + +## 6. 还没做 / 交给集成者 + +1. **wire 臂的 descriptor set 帧内增长（新发现，最该派包的一项）**。`UniformManager::AcquireDescriptorSet` + （`UniformManager.cpp:2811`）在每帧每 layout 的缓存游标用尽后分配新 set、池满则 `GrowFrameDescriptorPool` + （`:2745`）长新池；游标只在 `UniformManager::BeginFrame`（`:628`/`:653`）回卷，而那只在 present 与 drain 上跑—— + 一 present 的回放把它饿死，与本包的缺陷同根。monolith 同一回放在 ~27.4k 个 set 处平台（16 s 后不再分配）， + wire 臂持续增长到 ~40k 后被偶发 drain 锯回。在 Adreno 上 descriptor pool 是驱动的堆内存（经 scudo），这恰是 + 设备上 `Scudo ERROR: internal map failure` 的另一个嫌疑。M2 的强制同步现在碰巧给了它回卷点；正确的修法属于 + `UniformManager.cpp`（簇 A）/`VulkanRenderer.cpp`（B3/B4）：用「这些 set 的最后一次提交已退休」（与本包同形的 + submit 证明）回收，而不是等帧界。 +2. **`CollectGarbage()` / `pruneWire` 在 wire 臂上几乎不跑**（B4）。`VulkanRenderer::SetupDraw` + （`VulkanRenderer.cpp:7060`）在 `:7067` 的 `m_textureManager->CollectGarbage()` 之前就返回 `SetupWireDraw`； + compute 的两处（`:7684`/`:7737`）同样在 wire 分支之后。`pruneWire`（`VkTextureManager.cpp:1779`）于是只剩 + `VkTextureManager::BeginFrame` 每第 64 个帧界的 `PruneDeadTextures`（`:729`），一 present 的回放上等于不跑： + 死的 wire texture / renderbuffer 记录与其图像一直留着（bsl 上量不大：`wireTex=48`、`deferredTex=3`）。 + 按指示未修（`VulkanRenderer.cpp` 是 B3 的）。 +3. **帧 serial 证明**：B3 的 `6a92a10dd` 合入后地板可靠，可以把 `lastUseSerial <= GetCompletedSerial()` 加作第四条 + 证明（放掉「上一帧用过、本帧没碰」的 store 而不必等当前批提交）。本包没加，理由见 §2.1。 +4. **tcp 臂**：`wbuf[]` 是 server 进程的 gauge，tcp 的 fixture server 够不着——与 `MAGMA_INPROC_ONLY` 的两条同类， + 是「跨进程 peek」那条 §12 债的又一个实例。 +5. **范围外的一处改动**：`MG_Remote/Server/ServerSpawn.cpp`（§2.3）不在指派的文件里，但没有它旋钮在 spawn 上是空的； + 请集成者追认，CONTRACT-P6 §3.1 的 S3（清洗被证伪）不受影响。旋钮本身按 `Config.h` 的规矩应经集成者（§3）。 +6. **性能只记录**（ID-P7-9）：bsl 一次回放 23 次帧中强制提交；主机上 spawn 回放墙钟 104.8 s（前）/ 96.5 s（后）， + 共享主机噪声大，不作结论。 + +## 7. 门（`7db41ff4`） + +- **G1**：pull 构建 rc 0，`.text` = **0xa52203**，`nm --defined-only` 对 `~/w7/p7-before/pull-syms.txt` **+0 / −0** + （`~/w7/logs/m2-g1.sh`）。 +- `fatal_census.py` rc 0：**79** 个 abort 站点 / 20 文件，44 家族词，3 拒绝词，0 无标记（不变）。 +- `link_ratchet.py --assert-monotone`：**173**，不变。 +- `spawn_lane_parity.py build-split` rc 0：gated 三臂 96 / 75 / 72（+2 fixture），inproc-only 21 条与 not-on-tcp 3 条 + 按名扣除；informational 206×3；full-suite 536×3。 +- 车道（逐条跑，`-j 8`）：`unit` **2429/2429**、`integration-split` **303/303**、`integration-magma-split` + **96/96**（+3）、`-spawn` **75/75**（+3）、`-tcp` **74/74**、`integration-magma-full-split` **536/536**（+3， + 整二进制重放里新用例因无车道标记而 skip）。 +- retrace（主机，`run_trace_case.cmake`，基线树 vs 本树）：OpenRA DirectVulkan monolith / inproc / spawn 三臂 + **ssim 1.000000、mismatch 0**，前后一致；bsl-esc-menu-854 与 iris-bsl-in-world 见 §5（前后逐字相同）。 + +## 8. 设备验收（集成者在 Redmi 上跑） + +`minecraft-1.21.4-fabric-iris-bsl-esc-menu-854`，DirectVulkan，`--use-pbuffer`，同一 reboot-clean 会话： + +1. monolith 一遍（对照，W4 读数 0.999791667 / 807 MiB）。 +2. **spawn** 三遍、**inproc** 三遍，默认旋钮（64 MiB / 1024）。每遍采 server 与 client 的 `VmHWM`、**`/proc//maps` + 行数**（W4 的采样器没记这一项，M1 标为未答），并开 `MOBILEGL_PIPE_STATS=1 MOBILEGL_PIPE_STATS_PERIOD=1` 取 server + 日志最后一行的 `wbuf[...]`。 +3. 判据：不死；门 3 的逐 case 判据（三遍逐位相同、ssim ≥ 阈值且与同会话 monolith 差 ≤ 0.0005）；`wlivepk` ≲ 1 060、 + `wdefsync` > 0。 +4. **若 server 仍在 scudo 里死**：先看 maps 行数与 RSS 斜率——主机上剩下的帧内增长是 §6.1 的 descriptor set， + 它在设备上是驱动堆而不是 memfd，那是下一个包，不是本包的回退。 +5. 可选对照：`MOBILEGL_IPC_WIRE_DEFERRED_MB=0` 一遍 spawn，应复现 W4 的形状（或更早死），证明旋钮在设备上生效。