mirror of
https://github.com/MobileGL-Dev/MobileGL
synced 2026-11-07 01:53:24 +09:00
[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.
This commit is contained in:
Executable
+263
@@ -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/<pid>/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/<pid>/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 的形状（或更早死），证明旋钮在设备上生效。
|
||||
Reference in New Issue
Block a user