From 9a494b6f011d41353557b5bfa7ff6dc4941fef85 Mon Sep 17 00:00:00 2001 From: Swung0x48 Date: Tue, 22 Sep 2026 18:42:35 -0400 Subject: [PATCH] [docs] (P7): magma-b3 - the wire arm's frame-serial floor was raised on a fence it had not waited Mechanism with file:line and the submission structure measured rather than assumed, the confirmation tallies (zero unforced, which refutes the silent-draw-drop hypothesis the investigation ranked first, and which the judge refuted independently on the prefix-tear forensics), the provable floor, the fence-backed second term in WriteWireBuffer, the red-once in three forms (a deterministic counter 26/26/0 -> 0/0/0, a two-process lane case, and forced OpenRA retraces), the gate numbers, and the device acceptance with three predictions H1 must satisfy. Records honestly: an earlier draft of this note blamed TryDrainFrameTransients' every-8th-drain frame boundary, which this package's own probe refutes (one successful drain in the whole replay, zero frame-boundary ones, all 33 serial bumps from Present); the GPU-drag knob the judge suggested was not built, with the reason; the aggregate-wait secondary fix is left to a separate package with the lane evidence that nothing in this tree's coverage regressed without it; and M1's "present fires once" observation does not hold for OpenRA, whose pbuffer replay presents every frame. --- docs/Disaggregated/notes/p7/magma-b3.md | 400 ++++++++++++++++++++++++ 1 file changed, 400 insertions(+) create mode 100644 docs/Disaggregated/notes/p7/magma-b3.md diff --git a/docs/Disaggregated/notes/p7/magma-b3.md b/docs/Disaggregated/notes/p7/magma-b3.md new file mode 100644 index 00000000..23f11221 --- /dev/null +++ b/docs/Disaggregated/notes/p7/magma-b3.md @@ -0,0 +1,400 @@ +# P7 wave 2-B3：Magma wire 臂的「已完成帧序号地板」不可证（分支 `p7/magma-b3`） + +> 计划见 [`PLAN-PH-P34B-P7.md`](PLAN-PH-P34B-P7.md) §3 wave 2；规范见 +> [`CONTRACT-P7.md`](../../../../MobileGL/MG_Remote/CONTRACT-P7.md) §0（规则 I / J）、§3.2、§7、§9； +> 裁定 ID-P7-14 / 19 / 20 / 21 / 23。基线 = `feat/disaggregated` 上 `~/w7/pipe` 的头 `8c5dd6fc`。 +> 本文所有 `file:line` 均在该提交上读取。 +> +> 主机口径：WSL Arch + lavapipe（`/usr/share/vulkan/icd.d/lvp_icd.json`），`build-split` = +> Release / clang / ccache / `DISAGGREGATED=ON` `INPROC=ON` `PIPE_PUSH=ON` `BUILD_INTEGRATION_TEST=ON`， +> ICD 与 `~/w7/pipe/build-split` 逐项相同（`p7_worktree.sh` 钉）。 +> +> 基线门读数（`~/w7/logs/p7-gate-d1.log`）：unit **2420**、`integration-magma-split` **88**、 +> `-spawn` **67**、`-tcp` **69**、`integration-magma-full-split` **526**、`integration-split` **226**。 + +出口门 3 的锚点：OpenRA / DirectVulkan / pbuffer 在 Redmi（Adreno 830）上，wire 臂（inproc **与** +spawn）每跑一次是金图 `ace2af04` 与错图 `fb75d412`（14658 px）之间的 ~50% 抛硬币， +另有第三张 `4e5ba514`（9836 px），而**通过与失败两次运行的 client/server 日志逐行相同**。 + +结论一句话：**服务端把「帧 N-1 已完成」这件事建立在一次它没有证明过的 fence 上**，于是帧 N 的第一次 +流式 `glBufferSubData` 走了无同步的 host memcpy，而**上一帧尚未执行完的 `vkCmdCopyBuffer` 随后盖了上去**。 + +--- + +## 0. 每片一条提交 + +| 片 | 名 | 内容 | +|---|---|---| +| 1 | 规则 I 的具名 + 计数 | wire draw 路径上每一处静默 `return false` 得名、得计数、得一行 decline 日志；`UploadPendingWireLevels` 的五个出口与两个「不失败但留着 pending」的 `continue` 分开计；pending 上传 gauge；`MOBILEGL_MAGMA_WIREBUF_PROBE` 探针 | +| 2 | 判据加 fence 项（纵深） | `WriteWireBuffer` 的 busy 判据从「帧计数」改为「帧计数 **或** 提交 fence」；`MGITEST_MAGMA_FORCE_STALE_BUFFER_SERIAL` | +| 3 | 车道 | `F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered` × 三臂 × 两档 | +| 4 | **可证的地板（主修）** | `OnSubmitsCompletedUpTo` 只把地板推到**没有任何在飞提交仍持有**的序号；`unsound-serial-complete` 计数器 | +| 5 | 本文 | — | + +--- + +## 1. 片 1：先把「静默丢 draw」变成可读的数（规则 I） + +### 1.1 做了什么 + +`Renderer/WireDeclines.def`（新）列出 wire draw 路径上每一个静默出口的**名字**， +`Renderer/WireDeclineTally.h`（新）展开成计数表 + `MGL_WIRE_DECLINE_AT` 宏（计数**永远**动， +`MGLOG_E_ONCE` 每站点一次），形状取 `PipeApplier.h:229-234` 的 `ServerVerbSink` tally， +理由也一样（R-16：探针不能对着桩武装）。落点：`SetupWireDraw` / `DispatchWireCompute` **25 处**、 +`PrepareWireTextureResources` 3 处、`SyncTextureResourceByHandle` 4 处、 +`UploadPendingWireLevels` 侦查提名的五个 `incomplete`/false 出口（`:2410` `:2436` `:2453` `:2499` `:2508`） +**加上两个只 `continue` 的**——后者**报告成功却把条目留在 pending 集合里**，单独一个名字。 + +同包加了 pending 上传 gauge（条目数 / 字节数 / 峰值），在 `UploadPendingWireLevels` 的漏斗处取样。 +**一处如实更正给 M1**：`VkTextureManager.cpp:2485-2490` 的 `region.owned` 是 `items` 里的局部 +`Vector`，随函数返回析构，**不**是泄漏点；活下来的是 `StagedTextureStore` 的 level 影子与 +`record.PendingUploads` 的条目。 + +### 1.2 未强制的 tally：**全零**，lens A 的首选假说被**证伪** + +OpenRA / DirectVulkan / `MOBILEGL_TRANSPORT=inproc` / lavapipe：retrace `PASS ssim=1.0`， +`transport=inproc`，`Fatal{` 0 行，`grep MGWIRE-DECLINES` **空**——32 个出口一次都没走过，pending gauge 恒 0。 + +这与裁判的独立判定一致：**lens A 的「静默丢 draw」出局**。裁判给的两条更硬的理由： +`SetupDraw` 的每一个 bail-out 都 `MGLOG_E_ONCE`（而通过/失败日志逐行相同）；且 +`4e5ba514` **只**移除了调用 30376 的四边形 q00..q30，q31..q52 **逐字节完好**—— +一个被丢掉的 draw 要么全丢要么不丢，不会丢一个前缀。 + +### 1.3 tally 不是桩（R-16，已执行并还原） + +把 `WireDraw.inc` 的 `PointSizeCapability` 条件临时改成恒真重建，跑 +`DirectVulkan.Split.Fm.F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered`： + +``` +***Failed +[mgl-srv-apply/ERROR]: Magma wire draw declined [PointSizeCapability]: the program writes + gl_PointSize and the device cannot express it +[mgl-srv-apply/INFO]: MGWIRE-DECLINES[shutdown] total=4 ... +[mgl-srv-apply/INFO]: MGWIRE-DECLINES[shutdown] PointSizeCapability=4 +``` + +四个 draw、四次计数、一行具名日志、用例按名变红。还原后绿。 + +### 1.4 这些名字**留在树上** + +规则 I 说 wire 臂的拒绝只有 decline 与具名 Fatal 两种形状；裸 `return false` 是第三种。 +本包把这条路径上的每一个都变成了 **decline**：具名、计数、每站点一行日志。 + +--- + +## 2. 机制（裁判 H1，本包在主机上按计数器确认） + +### 2.1 现象：这是一次 draw 的顶点区间的**前缀撕裂** + +lens D + 裁判的逐字节取证：错图 100.0% 的失配像素落在**一个** draw +（调用 30376，`glDrawArrays(GL_TRIANGLES, first=0, count=318)`）的屏幕四边形并集内，并集外一个都没有。 +该 draw 的顶点来自调用 30366 写进 GL buffer 1 的 **11448 字节**（`off=0`，`GL_DYNAMIC_DRAW`，从不 orphan）。 + +- 318 顶点 / 6 顶点每四边形 = **53 个四边形**，`11448 / 53` = **216 字节/四边形**； +- `4e5ba514` = 丢 q00..q30 = **31** 个四边形 = 前 `31 × 216` = **6696 字节**； +- `fb75d412` = 整个 11448 字节都丢。 + +**6696 与 11448 都是 buffer 1 自己的写尺寸**，本包的探针在主机上直接读到（末帧对 slot=1 的写序列）： + +``` +216 216 11448 216 8640 12096 216 11880 2376 1296 2592 2592 2592 2376 2592 1728 +2592 1296 2592 3024 2592 864 6696 3456 216 216 +``` + +全程 `size=6696` 出现 **26** 次、`size=11448` 出现 **5** 次——即「前一帧写过的某一笔又盖了上来」。 + +### 2.2 链条（`file:line`） + +1. **一个帧序号上有两次提交**（wire 臂），monolith 只有一次。本包实测（OpenRA 主机回放， + `MOBILEGL_MAGMA_WIREBUF_PROBE=1`）： + + | 臂 | `BeginFrame`（帧序号自增） | 最大提交序号 | 最大帧序号 | 退休时仍有在飞记录 | + |---|---|---|---|---| + | monolith | 33 | **30** | 32 | 27 | + | inproc | 33 | **73** | 32 | 26 | + | spawn | 33 | **73** | 32 | 26 | + + 即 split 上 **~2 次提交/帧序号**、monolith **~1 次**——与 lens C 的 +2 / +1 一致。 + - **S1**：每帧的调色板 `glTexImage2D`（调用 30232）在第一次采样调色板的 draw 上经 + `UploadPendingWireLevels` → `FlushWirePendingCommandsForTextureUpdate` + （`VkTextureManager.cpp:2508`；`VulkanRenderer.h:149-151`）→ `FlushPendingCommands` + （`VulkanRenderer.cpp:13676`）提交，带 **pooled fence**。 + - **S2**：本帧的 draw，以及 `StagedWireRangeCopy`（`VkBufferManager.cpp:780-824`）为每一次流式 + `glBufferSubData` 录下的带 barrier 的 `vkCmdCopyBuffer`，在 Present 提交，带帧槽 fence。 + - 两者**帧序号相同**：`RegisterSubmit`（`VulkanRenderer.cpp:13458-13461`）记的是提交时刻的 + `m_bufferManager.GetFrameSerial()`。 +2. **S1 很小，几乎立刻 signal。** `RefreshCompletedSubmits`（`:13463-13478`，前缀扫描）单独退休它， + 而 `OnSubmitsCompletedUpTo`（`:13480-13504`）**对每一条退休记录**调 + `m_bufferManager.NotifyFrameSerialComplete(record.frameSerial)`（`:13488`）—— + 于是地板被推到 N-1，**而真正携带帧 N-1 缓冲拷贝的 S2(N-1) 还在执行**。 +3. `GetCompletedSerial()`（`VkBufferManager.cpp:572-576`）= + `max(m_frameSerial - frameCount, m_completedSerialFloor)`，现在返回 N-1。 +4. 帧 N 对 buffer 1 的**第一次**写（调用 30366，`lastUseSerial = N-1`）于是没过 + `WriteWireBuffer` 的 busy 判据（`:254`），走了 `:268` 的**无同步 host memcpy**。 +5. **S2(N-1) 排队中的 `vkCmdCopyBuffer` 随后落下，盖在刚写进去的字节上。** + 盖多少，取决于 memcpy 落地时 S2(N-1) 还剩哪些拷贝没执行——即**上一帧写列表的一个后缀**， + 撕裂长度就是那个后缀里的**最大尺寸**： + - 后缀只剩 `…864, 6696, 3456, 216, 216` → 最大 6696 → 毁前 6696 字节 = q00..q30 = **`4e5ba514`**； + - 后缀还含 12096 / 11880 / 12744（≥ 11448）→ 整个 11448 全毁 = **`fb75d412`**。 + + 这正是裁判说的「上一帧写列表的后缀极大值」，两档落在 6696 与 ≥11448 上。 +6. **为什么日志逐行相同**：这条路径上没有任何日志语句——没有 decline、没有 GL 错误、没有 Fatal。 + draw 照常执行，只是读到了被覆盖的字节。 + +### 2.3 三条独立佐证 + +- **抛硬币**：是否出错，取决于 apply 线程走到 30366 时 S2(N-1) 有没有跑完。 + `MOBILEGL_PIPE_STATS=1`（每帧多一行日志）4/4 通过、harness 纹理 dump（多一次回读）把结果推到 0/5 金图， + 都是时序位移。 +- **`RUN_AHEAD=0` 给第三张固定的图**：lockstep 让 client 在每条记录后等服务端， + apply 线程到达 30366 的时刻相对 S2(N-1) 固定，后缀因此每次相同 → 一张确定的图。 +- **`FRAMESINFLIGHT=4 / 8` 6/6 全是 `fb75d412`**（设备 E5）：帧在飞得更多 → GPU 更落后 → + memcpy 落地时 S2(N-1) 剩的后缀更长、含更大的写 → **整笔全丢**，永远不是 6696 的部分丢。 + 这条同时**排除**了计数项 `m_frameSerial - frameCount`：该项随 FIF 变大只会**更严**， + 所以被推错的是 `m_completedSerialFloor`，不是计数项——正如 H1 所说。 + +### 2.4 一条早先的错误诊断，如实记录 + +本包第一版把机制记在 `TryDrainFrameTransients` 每第 8 次 drain 的帧中 `BeginFrame` 上。 +**那是错的**，而且本包**自己的探针就否掉了它**：整个 OpenRA 主机回放里 drain 只成功 **1** 次、 +帧边界工作 **0** 次，33 次 `BeginFrame` **全部来自 Present**。裁判亦将该族（H4）判为在本 trace 不可达 +（没有 sync object / map / PBO）。保留此段是因为该误诊曾写进过本文。 + +--- + +## 3. 修复 + +### 3.1 主修（强制）：让地板可证明 + +`VulkanRenderer::OnSubmitsCompletedUpTo`，全部在 `#if MOBILEGL_BUILD_DISAGGREGATED` 内 +（`#else` 分支**逐字**保留今天的语句，这是 G1 的保证）： + +```cpp +// 循环内：只累计，不通知 +retiredAny = true; +advanceTo = std::max(advanceTo, record.frameSerial); +// 循环后：钳到「没有任何在飞提交仍持有」的序号 +if (retiredAny) { + for (const auto& remaining : m_inFlightSubmits) + advanceTo = std::min(advanceTo, remaining.frameSerial > 0 ? remaining.frameSerial - 1 : 0); + m_bufferManager.NotifyFrameSerialComplete(advanceTo); +} +``` + +`NotifyFrameSerialComplete` 本就单调且拒绝「仍在录制的序号」，所以这只会让地板**推得更晚**， +永不更远。**disaggregated 构建的 monolith 臂行为逐位不变**（一个序号一次提交——本包实测 +monolith 30 次提交 / 32 个序号，且 `unsound` 计数为 0）。 + +### 3.2 纵深（rule I 形状）：判据自己也带一条 fence + +`WriteWireBuffer` 的 busy 判据加第二项（`VkBufferManager.cpp`，全部 disagg-only）： + +```cpp +Bool busyBySerial = resource->lastUseSerial > GetCompletedSerial(); // 旧的计数项，保留 +const Bool busyBySubmission = // 新的 fence 项 + pVulkanRenderer != nullptr && !pVulkanRenderer->IsSubmitIndexComplete(resource->lastUseSubmitIndex); +if (busyBySerial || busyBySubmission) { /* 有序拷贝，或等 */ } +``` + +`WireBufferResource` 加 `lastUseSubmitIndex`，在 `AcquireWireSlice` / `StagedWireRangeCopy` 置为 +`pVulkanRenderer->GetWireNextSubmitIndex()`（= `m_submitCounter + 1`， +`WireDraw.inc:113-118` 的 `RetireWireObjects` 早就用同一个数；**刻意不用** +`GetSyncPointSubmitIndex()`——它在「当前没有录制」时答 `m_submitCounter`，而 +`SetupWireDraw` 取顶点切片早于 `BeginCommandRecording()`，正好落在这个洞里）， +在 `WaitForWireBufferHostAccess` 等齐后清零。`IsSubmitIndexComplete` 对**尚未提交**的序号答 false， +对已提交的 poll 真 fence。 + +这一项在地板可证之后**本不该再触发**，它是纵深与设备探针。`GetCompletedSerial()` 本身**一行未动** +——它也服务 monolith 的 `VkBufferResource` 路径，改它会动 pull `.text`。 + +### 3.3 未做的（按裁判的 MUST NOT / 债务清单） + +- 裁判建议的**次修** `WaitForSubmitsUpTo(submitIndex, timeoutNs)` 聚合等待（用于 + `WaitForSubmitIndex` `:13766-13778`、`WaitForFrameSerial` `:13396-13410`、Present `:14094`） + **本包未做**，理由与证据见 §7。 +- `TryDrainFrameTransients` / `CollectWireObjects(all=true)` / `StagedTextureStore` 一律未动（记债）。 +- 无新增 abort / Fatal；B 的回读聚合等待原样保留； + `MOBILEGL_TEST_PIPELINE_CREATE_DELAY_MS` 与 `.PipelineDelay.` 条目原样保留。 + +--- + +## 4. red-once（规则 J） + +### 4.1 (a) 确定性计数器：`unsound-serial-complete` + +计数点就在 §3.1 的钳制处：**把地板推到某个仍有在飞提交持有的序号**。 +有钳制时不可达；R-16 的还原就是删掉那个 `min` 循环。 +（读数从日志取：本 trace 的渲染器**从不 `Shutdown()`**——进程直接退出——所以 teardown dump 报的是 +起会上下文的 0，不是回放的计数；因此每个事件各打一行 `MGLOG_W`。） + +| | monolith | inproc | spawn | +|---|---|---|---| +| **基线**（删掉 `min` 循环重建） | **0** | **26** | **26** | +| **修复后** | **0** | **0** | **0** | + +三臂 retrace 全程 `PASS ssim=1.0 sha=ace2af04`（主机的 barrier 恰好把它救回来，见 §2.3； +主机上这个缺陷是**计数器可见、图不可见**——和包 B §5.2 的 `fences=2 vs 1` 同一形状）。 +「退休时仍有在飞记录」monolith 也有 27 次，但那些记录持有的是**更高**的序号，所以 monolith 恒 0。 + +### 4.2 (b) 车道用例：像素级的红，在两进程臂上 + +`F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered`：8×8 FBO，一个 +`GL_DYNAMIC_DRAW` VBO（不 orphan），四批顶点依次写进 **offset=0 的同一区间**再立刻 `glDrawArrays`， +每批画自己那两列、用自己的颜色；回读断言每一列是自己的颜色。 +用例**不能**只断言「无 GL 错误」——这条路径上没有错误可断言，只有像素。 + +三臂各注册两条：`Fm.`（无旋钮，回归门）与 `StaleSerial.`（带 +`MGITEST_MAGMA_FORCE_STALE_BUFFER_SERIAL=1`，即 red-once）。该旋钮让 §3.2 的**计数项**说谎， +**不**绕过有序拷贝，所以跨修复仍有效。 + +**基线（把 `busyBySubmission` 临时改回 `false` 重建；R-16，已执行并还原）：** + +``` +ctest -R "DirectVulkan\.(Split|Spawn)\.(Fm|StaleSerial)\.F1WireScenario\.StreamedBufferSubDataBeforeEachDrawIsOrdered" --output-on-failure + +1/4 Test #4274: DirectVulkan.Split.Fm. ... Passed +2/4 Test #4275: DirectVulkan.Split.StaleSerial....***Failed +3/4 Test #4317: DirectVulkan.Spawn.Fm. ... Passed +4/4 Test #4318: DirectVulkan.Spawn.StaleSerial....***Failed + F1.StreamedSubData: batch 0 column 0 lost its own vertices (r) + F1.StreamedSubData: batch 0 column 1 lost its own vertices (r) + F1.StreamedSubData: batch 1 column 2 lost its own vertices (g) + F1.StreamedSubData: batch 1 column 3 lost its own vertices (g) + F1.StreamedSubData: batch 2 column 4 lost its own vertices (b) + F1.StreamedSubData: batch 2 column 5 lost its own vertices (b) +50% tests passed, 2 tests failed out of 4 +``` + +前三批丢了自己的顶点、**最后一批没丢**——「所有 draw 都读到了最后一次写的字节」。修复后 **4/4 绿**。 + +### 4.3 (c) 强制条件下的 OpenRA retrace（主机，真图） + +同一旋钮打在 OpenRA split retrace 上（`MOBILEGL_TRANSPORT` 分别 `inproc` / `spawn`， +两进程那遍 client 日志有 `transport=spawn`、`server pid=…`）： + +| | selector | inproc | spawn | +|---|---|---|---| +| **基线** | `=1`（全毒） | FAIL ssim 0.270612 / 152216 px / sha `8302218f` | 逐字相同 | +| **基线** | `=594`（只毒一对） | FAIL ssim 0.987890 / **8102 px** / sha `69b2a2fe` | 逐字相同 | +| **基线** | `=601`（只毒一对） | FAIL ssim 0.970775 / **2115 px** / sha `fa6b6730` | 逐字相同 | +| **修复后** | `=1` / `=594` / `=601` | PASS ssim **1.000000** / **0 px** / sha **`ace2af04`** | 逐字相同 | + +毒**一次**写 = 丢一块**有界**的像素、每个 selector 一张确定的图（扫描 N=586…601 给出 2115…29490 px +的一串互不相同的 sha）——与设备上 0 / 9836 / 14658 的量化形状同类。 +inproc 与 spawn **sha 逐字相同**，证明机制在**服务端**。 + +按 lens A 的口径做连通域分析，强制图给出两种解码结局：`N=601` 最大块金图是 “Quit” 按钮、 +实际画出**字体图集的整条字形带**（梯度比 6.6，读到了别批的顶点）；`N=594` 的块金图是 “Multiplayer”、 +实际**几乎空白、底色完好**（梯度比 0.200，什么都没画）。设备上 lens D 量到的是后一种。 + +### 4.4 裁判建议的 (b) GPU-drag 旋钮：**未做** + +裁判建议用 `MOBILEGL_TEST_WIRE_GPU_DRAG_FILLS` 在每帧命令缓冲头部插 n 次 `vkCmdFillBuffer` +把 Present 提交拖慢，好让主机也出一张**真实**（非强制）的前缀撕裂图。 +本包**没有做**，理由是它在本包的修复下已无法变红（§3.1 的地板与 §3.2 的 fence 项都不依赖时序）， +也就不再是 red-once，而是一条新的回归门；而裁判自己也把「lavapipe 的队列线程能否拖够久」列为 +未决。本包已有的 red-once 是 §4.1 的确定性计数器（B §5.4 的形状）加 §4.2 的两进程像素用例， +两者都不靠时序。**如实记录**：主机上因此**没有**一张自然发生的错图，只有计数器与强制图。 + +--- + +## 5. 门 + +（`~/w7/b3-out/gate-h1.log`，脚本按 `~/w7/logs/p7-gate-c-inner.sh` 的量法。） + +- **G1**：`build-linux`（pull）`.text` = **`0xa52203`**，`nm --defined-only` 对 + `~/w7/p7-before/pull-syms.txt` **added=0 / removed=0**，编译 rc 0（含测试，ID-P7-11）。 + `OnSubmitsCompletedUpTo` 的 `#else` 分支逐字保留原语句；其余改动全部在 + `#if MOBILEGL_BUILD_DISAGGREGATED` 内。 +- `scripts/ci/fatal_census.py` rc 0：**79 abort / 20 文件、44 家族词、3 refusal 词、0 无标记**——与基线同数。 + 本包不新增 abort 站点，也不新增家族词：所有新拒绝都是 decline。`@P7` 站点 **12**，不变。 +- `scripts/link_ratchet.py --assert-monotone`：**unchanged at 186**，不上升。 +- `scripts/ci/spawn_lane_parity.py build-split`：rc 0。 + +| 车道 | 基线 | 本包 | 差 | +|---|---|---|---| +| `unit` | 2420 | 2420 | 0 | +| `integration-split` | 226 | 226 | 0 | +| `integration-magma-split` | 88 | 90 | +2 | +| `integration-magma-spawn` | 67 | 69 | +2 | +| `integration-magma-tcp` | 69 | 71 | +2 | +| `integration-magma-full-split` | 526 | 527 | +1 | + +--- + +## 6. 集成者要跑的设备验收 + +Redmi（Adreno 830）、OpenRA、DirectVulkan、`--use-pbuffer`： + +- 臂：**inproc 与 spawn 各一组**；档：默认 run-ahead 与 `MOBILEGL_IPC_RUN_AHEAD=0` 各一组； +- 每组 **6 遍**（`pm clear` 冷跑）； +- 判据：**每一遍** sha256 = `ace2af04`、ssim **1.000000**、mismatch **0 px**——4 组 × 6 遍 = 24 遍全金，零翻转。 + +外加三条预测检查（H1 若成立必须成立）： + +1. **带 harness 纹理 dump**（`--dump-texture-2d 31249,3,0`）再跑 3 遍。今天它把结果偏到 **0/5 金图**， + 是最灵敏的探针；修复后应当全金。 +2. **`MOBILEGL_MAGMA_FRAMESINFLIGHT=8` 跑 3 遍**。今天 FIF=4/8 各 3 遍 **6/6 全是 `fb75d412`**； + 修复后应当全金。 +3. **`MOBILEGL_MAGMA_WIREBUF_PROBE=1` 各跑一遍**，`grep -c unsound-serial-complete`： + 修复前应为非零（主机 26/帧序号级别），修复后应为 **0**。 + +H1 还预测：**修复前**每一张错图都是调用 30376 的四边形**前缀** q00..qK， +`K+1 ∈ {1, 16, 31, 53}`（对应上一帧写列表后缀极大值 216 / 3456 / 6696 / ≥11448）。 +若设备上出现一张**非前缀**的错图，H1 就不完整。 + +--- + +## 7. 欠的、不声称的、给别人的 + +### 7.1 次修（聚合等待）未做——以及它为什么没有立刻变成红 + +裁判建议把 `WaitForSubmitIndex`（`:13766-13778`）、`WaitForFrameSerial`（`:13396-13410`）、 +Present（`:14094`）三处「等一条 fence、把它之前的都记成完成」换成一个聚合等待 +`WaitForSubmitsUpTo`。裁判同时提醒：地板变可证之后，`WaitForFrameSerial` 的注释 +（`:13398-13401`）所依赖的「逐记录推进地板」没有了，**若不聚合等待，`IsFrameSerialComplete` +可能永远为假，timer-query 收割（`:13875`）会卡住**。 + +本包**没有**做这一步，并给出实测：本包的主修落地后， +`unit` 2420、`integration-split` 226、三条 magma 臂 90/69/71、`integration-magma-full-split` 527 +**全部 100% 通过**，OpenRA 三臂 retrace 全金——即在本树的车道覆盖下，收割没有卡住。 +这**不等于**该风险不存在：`IsFrameSerialComplete` 的消费者在没有 Present 的循环里才会暴露， +而本树的车道里那类循环很少。**建议集成者把聚合等待作为 B4 单独派**，连同 §7.2 的 H2 债一起做， +理由是它需要自己的 red-once（一条无 Present 的 fence 循环用例），不该搭在本包里。 + +### 7.2 记进 `CONTRACT-P7.md` §12 的债（裁判点名，本包不碰） + +- **H2**：`WaitForSubmitIndex` / `WaitForFrameSerial` / Present `:14094` 的单 fence 退休， + 与包 B §5.3 修掉的是同一形状；在本 trace 不可达，但是真债。 +- `TryDrainFrameTransients` 的 `CollectWireObjects(m_completedSubmitCounter, /*all=*/true)`（`:13526`） + 无视 `RetireWireObjects` 给未来对象打的 `m_submitCounter + 1` 标（`WireDraw.inc:113-118`）。 +- `HasPendingRecordedWork`（`:13434-13440`）对 pre-pass 命令流是盲的。 +- `FlushWirePendingCommandsForTextureUpdate`（`VulkanRenderer.h:149-151`）把 + 「此刻没有录制」当成「没有在飞」。 +- `StagedTextureStore` `AdoptRun` 缺 extent-move 复位（`StagedTextureStore.h:234-243` vs `:270-284`）。 +- `VkBufferManager.cpp:530-544` 的注释「**Mid-frame drains do not advance m_frameSerial**」 + 在今天的树上**是错的**（`TryDrainFrameTransients` 每第 8 次 drain 会调 `BeginFrame`）。 + 结论（不在该处回收 arena 存储）仍然正确，只是理由写错了；改注释会和 B2 在同文件区域的改动打架。 + +### 7.3 给 M1：OpenRA 的真实提交结构（回答「present 只发生一次吗」） + +**不是**——至少在 OpenRA 上不是。本包实测（§2.2 表）：三臂 `BeginFrame` 都是 **33** 次， +最大帧序号 32，而整个回放里 `TryDrainFrameTransients` 只成功 **1** 次、其中走到第 8 次帧边界工作的 +**0** 次。也就是说这 33 次帧序号自增**全部来自 Present**，OpenRA 的 pbuffer 回放**每帧都有 present**。 + +M1 在 bsl-esc-menu 上量到的 `present=1` 与此**不一致**，所以那是**该 trace / 该 surface 的**事实， +不是「pbuffer 一律不发 present 记录」的通则。本包**没有**改任何 client 发射路径（按要求）。 +承载帧 N-1 流式拷贝的是 **Present 提交 S2(N-1)**；把地板推错的是**调色板 flush 的 pooled fence +S1(N-1) 退休**（§2.2 第 2 点）。若 bsl-esc-menu 上真的没有 per-swap present， +那么在那条 trace 上 S2 是别的东西（最近一次 `FlushPendingCommands`）， +地板与 arena 的推进几乎停滞——那是**另一个**问题（服务端帧边界被饿死）， +按 M1 的判断应当单独成包，本包不动。 + +### 7.4 不声称 + +- 不声称解释了设备上 9836 / 14658 两档的**逐 case 归属**——§2.1 的算术（216 B/四边形、 + 6696 = 31 个四边形）与后缀极大值的读法来自裁判的取证加本包的主机写列表，**未在设备上直接验证**。 + §6 的预测检查就是为此而列。 +- 不声称主机上能自然复现错图：本包在主机上只有计数器（26 → 0）与强制图。 +- 规则 I 的 tally 覆盖的是 **draw/dispatch** 路径；`WireFramebuffer.inc` 的 blit/mipmap 路径由 + B / B2 持有，本包按文件分区没有碰。