From e815ce8d33e01d920642bf789bfb5e901d7bfce3 Mon Sep 17 00:00:00 2001 From: Swung0x48 Date: Tue, 29 Sep 2026 22:53:18 -0400 Subject: [PATCH] [Docs] (P8-C): the package note - readers and writers of the server's staged copy, the twelve GPU-written draw-input cases, each red-once, the retrace subset and the five monolith defects recorded for dev --- docs/Disaggregated/notes/p8/C.md | 102 +++++++++++++++++++++++++++++++ 1 file changed, 102 insertions(+) create mode 100644 docs/Disaggregated/notes/p8/C.md diff --git a/docs/Disaggregated/notes/p8/C.md b/docs/Disaggregated/notes/p8/C.md new file mode 100644 index 00000000..10afce0e --- /dev/null +++ b/docs/Disaggregated/notes/p8/C.md @@ -0,0 +1,102 @@ +# P8-C：Espryt server 暂存影子与 GPU 写 + +> 2026-09-29，分支 `p8/c`（基线 `8d3e2317`）。计划行：[`PLAN-P8.md`](PLAN-P8.md) 包 C。 + +## 1. 结论 + +- 前提成立（red-once 见 §4）：split 下 server 的 R-11 暂存影子只由上传 / adopt 填，server 上的 GPU 写不进影子；CPU 读者读到旧字节，或因无影子直接拒绝。原 7 例在基线上 Espryt split / spawn / tcp 与 inproc A/B 全红。 +- 修在 server，不动 client、不动 monolith：写者给 server 孪生体打标（`serverGpuWritten`，`MobileGL/MG_Backend/DirectGLES/Managers.h:1059`），读者消费字节前经 `SplitHostBytesForCpuRead`（`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3570`）从 server 自己的 GL buffer 整 store 回读。 +- XFB 不打标：两条捕获路径本来就把字节拿在手里（给 client 的 writeback），直接写进影子（`StageServerWrittenRange`，`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3626`）。 +- 懒刷新：只在读者真正消费字节时回读；原生 indirect 不从 CPU 取字段时不回读，Create / Flywheel 式每帧 compute 剔除 + 原生 indirect 不付回读（`MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:8555`）。 +- 顺带关掉 P3a M-3 声明的偏差（fp64 顶点收窄读旧字节）在 split 臂上的一半；monolith 臂不动。 +- monolith 两后端共 5 处缺陷，skip 按名、记给 dev（§6，ID-P8-3）；IndirectCount 的 monolith 按 OQ15 不改。 + +## 2. 读者与写者 + +| 读者（split 臂） | 位置 | 做法 | +|---|---|---| +| primitive restart 重写 | `MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:9309` | `SplitHostBytesForCpuRead`（整 store） | +| multi-draw rebase | `MobileGL/MG_Backend/DirectGLES/MultiDraw.cpp:196` | 同上 | +| `*IndirectCount` 的 count | `DirectGLES.cpp:9632`、`:9798` | 参数 buffer 刷新；命令 buffer 仅在无影子时取第一份 | +| indirect 命令字段 | `DirectGLES.cpp:8549` | CPU 路径全取；原生路径只在程序读 `gl_BaseVertex`、或无 `mg_IndirectParams` 视图而读 `gl_BaseInstance` 时取 | +| 无影子的 indirect 命令 buffer | `DirectGLES.cpp:487` | 被 GPU 写过就取第一份（原来 decline，`indirect_command_bytes`） | +| XFB scatter 的捕获前字节 | `DirectGLES.cpp:2037` | 刷新 | +| fp64 顶点收窄 | `MobileGL/MG_Backend/DirectGLES/Managers.cpp:6671` | 刷新，并让 memo 失效（GPU 写不动 serial） | + +| 写者 | 位置 | 效果 | +|---|---|---| +| SSBO 记录臂（draw 与 dispatch） | `DirectGLES.cpp:780` | 标记窗口内每个绑定点（与 client 的 `ShaderBufferEmit.h` 同口径） | +| 原子计数记录臂 | `DirectGLES.cpp:1017` | 标记 | +| 可写 buffer image | `DirectGLES.cpp:4464` | 纹理描述符的 `BufferForTexBuffer` → 标记 | +| XFB 普通捕获 | `DirectGLES.cpp:1874` | 映射出的字节写进影子；T0 store 只标记（`:1829`） | +| XFB scatter | `DirectGLES.cpp:2104` | 合成结果写进影子 | +| 清标记 | `Managers.cpp:2308`（respecify）、刷新末尾 | — | + +- 刷新顺序同 `Ops_H_Readback`：`FlushPendingRangesFrom` 先落排队上传 → `DrainResidentWritesNow` → 整 store `glMapBufferRange(READ)` → `MGL_SERVER_STAGED_ADOPT`（覆盖变整段，孤儿 store 也就有了第一份）→ serial 戳 + epoch bump。 +- T0 store：影子就是 server 对 client AHB 的一致映射；有标记或有排队常驻写时 `DrainResidentWritesNow` + `glFinish`（DEBTS 的 P11 B2 行的 split 半）。 +- 刷新与写影子只在复制型暂存 store（split）下生效（`CopiesIntoServerStorage`）：monolith 的 store 保留调用方指针，映射一解就悬空。 +- 全部新代码在 `MOBILEGL_BUILD_DISAGGREGATED` 下；`ReadsBaseInstance`（`Managers.h:3107`）同。 + +## 3. 场景 + +`GpuWrittenDrawInputScenario`（`MobileGL/MG_IntegrationTest/Scenarios/GpuWrittenDrawInputScenario.cpp`，split-only 源，登记 `MobileGL/MG_IntegrationTest/CMakeLists.txt:3343`）12 例：GPU 只写一次，暂存影子里是画不出正确结果的毒值。 + +| 例 | 写者 | 读者 | +|---|---|---| +| RestartIndicesAComputeShaderWroteSplitTheStrip | SSBO | restart 重写 | +| …IntoAnOrphanedStoreSplitTheStrip | SSBO，`glBufferData(NULL)` | restart 重写（原来无影子 → 跳过 draw） | +| …SplitEveryMultiDrawStrip | SSBO | multi-draw rebase | +| ACountAComputeShaderWroteDrivesMultiDrawElementsIndirectCount | SSBO（命令 + count） | count | +| …DrivesMultiDrawArraysIndirectCount | SSBO | count | +| ABaseVertexAComputeShaderWroteReachesGlBaseVertex | SSBO | 原生 indirect 的 `gl_BaseVertex` | +| IndirectCommandsAComputeShaderWroteIntoAnOrphanedStoreDraw | SSBO，`glBufferData(NULL)` | 无影子命令 buffer | +| RestartIndicesATransformFeedbackCapturedSplitTheStrip | XFB | restart 重写 | +| RestartIndicesAScatteredTransformFeedbackCapturedSplitTheStrip | XFB + `gl_SkipComponents1`（scatter） | restart 重写 | +| RestartIndicesImageStoresWroteSplitTheStrip | `imageStore` 到 buffer 纹理 | restart 重写 | +| ACountAnAtomicCounterProducedDrivesMultiDrawElementsIndirectCount | 原子计数即参数 buffer | count | +| DoubleVerticesAComputeShaderWroteAreNarrowedFromTheWrittenBytes | SSBO，两轮 | fp64 收窄（第 2 轮查 memo） | + +- 臂：`DirectGLES.{Split,Spawn,Tcp}.`（门控）；分裂构建里的 `DirectGLES.` / `DirectVulkan.` 即 monolith 对照与 inproc A/B；Magma split 各臂经 tier 2（`integration-magma-all-*`，信息层）与 `DirectVulkan.*.Full.`（`integration-magma-full-split`，门控）。 +- 三臂同源登记，`spawn_lane_parity.py` 无需例外行。 + +## 4. red-once + +| # | 变异 | 载体 | 观察到的红 | +|---|---|---|---| +| 前提 | 基线 `8d3e2317` + 原 7 例 | `ctest -R GpuWrittenDrawInput`；inproc A/B 同命令加 gate 的环境 | Espryt split / spawn / tcp 21/21 红（像素：黑 = 旧毒值 / 跳过；baseVertex 例红色 = 几何对、`gl_BaseVertex` 旧）；inproc A/B 7/7 红；Magma split 各臂全绿 | +| F1 | 去 SSBO 标记、原子标记、image 标记、XFB 两处写影子（一个构建） | `ctest -R '^DirectGLES\.(Split|Spawn|Tcp)\.GpuWrittenDrawInput'` | 12/12 例在 Split、Spawn 红；Tcp 臂 Not Run（`TcpServer.Start` 撞上 :48440 的 TIME_WAIT），F2 覆盖了三臂；每例只依赖其中一个变异 | +| F2 | 读者侧：restart / rebase / 两处 count 改回 `SplitHostBytes`，`CurrentIndirectCommandBytes` 恒返回原指针，去无影子取第一份，fp64 memo 去掉 `!sourceGpuWritten`（一个构建） | 同上 | 10 例 × 3 臂 = 30 红；两例 XFB 绿（它们的字节来自写影子，不经刷新，符合设计）；fp64 例只红第 2 轮（memo） | +| M | 把 `SkipBrokenMonolith` 探针成恒 false | `ctest -R '^Direct(GLES|Vulkan)\.GpuWrittenDrawInput'` | Espryt monolith：两例 count、原子 count、baseVertex、fp64 红；Magma monolith：6 例 restart SIGSEGV、Arrays count 红、fp64 SIGSEGV | + +还原一律 copy + `cmp` + `touch`。 + +## 5. 门 + +- 场景：134 条（含 monolith skip 13 条）全绿；inproc A/B 24/24；相邻套件（Restart / MultiDraw / DrawParameters / IndexedDrawFamily / ClientVertexArray / Xfb / TransformFeedback / AtomicCounter / BufferTexture / DoublePrecision / ResidentIndex）1304/1304。 +- G1：`added=0 removed=0`，pull `.text` `a5ba13` 与基线相同。 +- retrace（主机）：Espryt `SPLIT|SPAWN` 78 条 + `create-*` 12 条共 86 条，84 过；挂的 2 条是 `iris-iterationrp-in-world` 的宿主 llvmpipe JIT 崩溃（`LLVM ERROR: Cannot select ... vcvtps2ph`，已知项）。全量 236 条跑到 47 条（全过）时中止，全量留给集成。 +- create 的 SSIM：indirect Espryt 0.999961275 / Magma 0.999956667，instancing Espryt 0.999957572 / Magma 0.999952470，monolith、SPLIT、SPAWN 三臂逐位一致；Espryt indirect 与 P9 W2 普查的值相同（[`../p9/W2-REMINT.md`](../p9/W2-REMINT.md) §4）。 +- 懒刷新实测：create-indirect / create-instancing 的 Espryt SPLIT、SPAWN 回读 0 次（临时把刷新日志提到 INFO，数 server 日志，未提交）。 +- 全门数字见包报告（`~/w7/notes/p8/c-report.md`）。 + +## 6. monolith 缺陷（给 dev，ID-P8-3） + +| 后端 | 缺陷 | 位置 | 场景里的表现 | +|---|---|---|---| +| Espryt | `*IndirectCount` 读前端影子不调 `SyncGpuWrites`（OQ15） | `DirectGLES.cpp:9688-9689`、`:9852-9853` | count 读 0，什么都不画 | +| Espryt | 原生 indirect 的 `gl_BaseVertex` 从前端影子取（单进程臂 `ResolveIndirectCommandBytes` 只 `SyncPersistentMappedRange`） | `DirectGLES.cpp:521`、`:8640` | 几何对、颜色红 | +| Espryt | fp64 收窄的 handle 臂在 monolith 下读前端影子（P3a M-3 声明的偏差，monolith 半） | `Managers.cpp:6650` | 画在屏外 | +| Magma | `MultiDrawArraysIndirectCount` 的 CPU 臂不调 `SyncGpuWrites` | `MobileGL/MG_Backend/DirectVulkan/DirectVulkan.cpp:729` | count 读 0 | +| Magma | draw 录制中途调 `SyncGpuWrites`（restart 重写、GL_DOUBLE 顶点转换）：提交并等待结束了当前帧命令缓冲，draw 接着往已结束的缓冲里录 | `MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:4510`、`:4176` | SIGSEGV（lavapipe 工作线程 / `vkCmdBindVertexBuffers`）；校验层 `VUID-vkCmdBindIndexBuffer-commandBuffer-recording` | + +- skip 只在 `transportName == "monolith"` 的对应后端生效，理由串带出处。 + +## 7. 未做 / 已知边界 + +- T0 与常驻写那一半主机上无法 red（主机无 T0，split 下采纳档钉在 T2）；代码按 `Ops_H_Readback` 的持久映射臂写，设备验证留给有设备的包。 +- 标记是过近似：窗口内每个绑定的 SSBO 每次 draw 都标记；留着 SSBO 绑定、又拿同一 buffer 做任意 restart 索引的 EBO 时，每 draw 回读一次。 +- bit 13 关（`BindingPointsComeFromRecords()` 为 false）的 A/B 配置下 SSBO / 原子不打标。 +- `Ops_H_Readback`（client 发起的回读）没有顺带刷新 server 影子（可省一次回读，未做）。 +- 同一 draw 既写 X（SSBO）又拿 X 当 EBO：标记在 `SyncNeccessaryBuffers` 里打，restart / rebase 读者在 draw 执行前就刷新并清标记，写发生在清之后，X 留成未标记。monolith 同形（`MarkShaderStorageBuffersGpuWritten` 先标，`SyncGpuWrites` 在 draw 前清），是对齐不是倒退。 +- DEBTS 的 P11 B2 行（handle 臂读采纳 / T0 映射前不落常驻写）：split 半由 `SplitHostBytesForCpuRead` 的 T0 臂做了、主机不可验证；单进程半归 dev。 +- Magma 的 `VulkanRenderer.cpp:3683`（最大索引扫描）与 §6 最后一行同模式，未验证。