mirror of
https://github.com/MobileGL-Dev/MobileGL
synced 2026-11-07 18:13:23 +09:00
[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.
This commit is contained in:
@@ -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<Uint8>`，随函数返回析构，**不**是泄漏点；活下来的是 `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 持有，本包按文件分区没有碰。
|
||||
Reference in New Issue
Block a user