From c036900d7296ace5dd7bbbc2e9717867785113a8 Mon Sep 17 00:00:00 2001 From: Swung0x48 Date: Tue, 8 Sep 2026 02:20:24 -0400 Subject: [PATCH] [Docs] (Disaggregated): add the Oppo Mali half of the P2 paired A/B - 16 rows per device, Espryt +8-18% and Magma +10-11% per-thread CPU over the pull baseline, plus the harness single-sample pidof kill recorded as a dev-side follow-up --- docs/Disaggregated/MEASUREMENTS.md | 25 ++++++++++++++++++++++++- docs/Disaggregated/ROADMAP.md | 6 +++--- 2 files changed, 27 insertions(+), 4 deletions(-) diff --git a/docs/Disaggregated/MEASUREMENTS.md b/docs/Disaggregated/MEASUREMENTS.md index ab0c44d4..db4e41a6 100644 --- a/docs/Disaggregated/MEASUREMENTS.md +++ b/docs/Disaggregated/MEASUREMENTS.md @@ -193,7 +193,30 @@ python3 tools/trace_replay/run_android_retrace_local.py \ 读法：**推送没有在拉取基线之下净减少**（那是开放问题 1 原本的期望），而是在四个 trace、两个后端上稳定多花 **8–14% 逐线程 CPU**（p50），p99 同向；finish 开与关两臂几乎一致，说明多出来的是客户端 CPU 而不是 GPU 时间。三点读数纪律：bsl 用例的 p99 两臂都由着色器编译主导（约 1.6–2.3 s），startup 用例只有 59 帧尾窗且 p99 是加载，两者的 p99 都不承载这个问题；26.3 的 DirectVulkan 两臂都在热钳下跑（大核 1689600 kHz），绝对值偏高但两臂同状态，相对差有效；`acc/draw` 两臂相同（accessor 计数还是 tracker 填充时的调用，P2 没改它的定义）。 - +Oppo PLG110（`3B159D009VZ00000`，Mali，会话 reboot-clean 一次、整段钉频，32 次运行前后判定全部 PINNED），单位 ms/帧： + +| trace | 后端 | finish | pull p50 | push p50 | Δ p50 | pull p99 | push p99 | Δ p99 | 备注 | +|---|---|---|---|---|---|---|---|---|---| +| `minecraft-1.21.4-in-world` | DirectGLES | 关 | 8.297 | 9.803 | **+18.2%** | 10.446 | 11.817 | +13.1% | | +| `minecraft-1.21.4-in-world` | DirectGLES | 开 | 8.366 | 9.700 | **+15.9%** | 10.774 | 11.935 | +10.8% | | +| `minecraft-1.21.4-in-world` | DirectVulkan | 关 | 5.341 | 5.941 | **+11.2%** | 6.785 | 7.287 | +7.4% | | +| `minecraft-1.21.4-in-world` | DirectVulkan | 开 | 5.349 | 5.931 | **+10.9%** | 6.765 | 7.376 | +9.0% | | +| `improved-transparency-minecraft-26.3` | DirectGLES | 关 | 41.252 | 45.022 | **+9.1%** | 79.054 | 91.729 | +16.0% | | +| `improved-transparency-minecraft-26.3` | DirectGLES | 开 | 41.062 | 44.227 | **+7.7%** | 82.357 | 85.087 | +3.3% | push 臂第 1 次重复被 harness 误杀（见下），best of 2 | +| `improved-transparency-minecraft-26.3` | DirectVulkan | 关 | 54.478 | 60.108 | **+10.3%** | 91.733 | 111.789 | +21.9% | | +| `improved-transparency-minecraft-26.3` | DirectVulkan | 开 | 50.657 | 59.829 | +18.1% | 68.068 | 100.402 | +47.5% | pull 臂这次 best-of-3 明显快于同臂 nofinish（50.7 对 54.5），差值被放大；以 nofinish 行为准 | +| `minecraft-1.21.4-fabric-iris-bsl-in-world` | DirectGLES | 关 | 6.615 | 7.185 | **+8.6%** | 2491.9 | 2268.9 | 编译主导 | | +| `minecraft-1.21.4-fabric-iris-bsl-in-world` | DirectGLES | 开 | 6.543 | 7.065 | **+8.0%** | 2170.5 | 3387.9 | 编译主导 | | +| `minecraft-1.21.4-fabric-iris-bsl-in-world` | DirectVulkan | 关 | 4.087 | 4.452 | **+8.9%** | 1264.6 | 1295.4 | 编译主导 | | +| `minecraft-1.21.4-fabric-iris-bsl-in-world` | DirectVulkan | 开 | 4.058 | 4.464 | **+10.0%** | 1271.9 | 1295.3 | 编译主导 | | +| `minecraft-1.21.4-startup` | DirectGLES | 关 | 1.471 | 1.740 | +18.3% | 966.9 | 956.3 | 加载主导 | | +| `minecraft-1.21.4-startup` | DirectGLES | 开 | 1.473 | 1.641 | +11.4% | 959.0 | 946.2 | 加载主导 | | +| `minecraft-1.21.4-startup` | DirectVulkan | 关 | 0.416 | 0.460 | +10.6% | 1129.1 | 1124.7 | 加载主导 | | +| `minecraft-1.21.4-startup` | DirectVulkan | 开 | 0.419 | 0.471 | +12.4% | 1131.2 | 1124.0 | 加载主导 | | + +两机读法：Mali 上 Espryt 的相对代价比 Adreno 高一档（in-world +16–18% 对 +11–13%；26.3 +8–9% 对 +14%），Magma 两机一致（+10–11%）；p99 在 26.3 上同向放大（Mali Magma +22%），这是 P2 tracker 在 draw 最密的用例上的尾部代价，随 P3a–P4a 的句柄化收缩，按口径记录。计数器（`acc/draw`、六个 memo 门、`resid=`、`csom`/`csob`）两机逐字相同——它们数的是代码路径不是硬件（§3 的结论再次成立）。 + +**harness 误杀（记录，dev 侧跟进）**：Oppo `improved-transparency-minecraft-26.3` DirectGLES push/finish 的第 1 次重复在第 960 帧被 `android-plugin/trace-replay-ci.sh` 强停（events 日志 `am_kill … due to from pid `，oom adj 0，`logcat -b crash` 无崩溃）：那个脚本的等待循环对 `pidof` 单次采样失败即判定"应用已退出"并 force-stop，一次 adb 抖动就丢一次重复。数字用剩下两次重复的 best-of；修法是连续 N 次采样失败才判退出。 ## 11. tracker 的绝对 ns：上限与 T1/T2（D.4.3） diff --git a/docs/Disaggregated/ROADMAP.md b/docs/Disaggregated/ROADMAP.md index d63ede28..19d633e6 100644 --- a/docs/Disaggregated/ROADMAP.md +++ b/docs/Disaggregated/ROADMAP.md @@ -15,7 +15,7 @@ | **P0** 卫生、度量、门、骨架 | 9–11 | ✅ 边界计数器（字节 / 动态 accessor / 六个 memo 门 / 上传形状）；`PipeCalls.def` 完整目录 + payload POD + 七个生成器 + CI `pipe-gates`；`gen_pipe_dirty_surface.py`；`check_doc_citations.py`；八个 `MOBILEGL_PIPE_*` 开关；`MG_Remote/{Protocol,Transport}` 骨架（`SCM_RIGHTS` 第一优先、双 tail 双三元组的 `RingControl`、双向 doorbell、校验型 `Framing`、`ShmSegment`、`InProcessTransport`）+ `protocol.fbs` + `flatc-check` + `MG_Test/Wire` 五个套件；三个严格 no-op 收益（`GetInteger64i_v`/`GetProgramiv` 退役、`RenderbufferObject::GetLifetimeId()`、D21 XFB 计数槽重键）；compute 限制进 `DynamicBackendParameters`；spike A、spike B；retrace 通道 `--env` 透传 | ✅ 单元/集成/40 trace 逐名不变；wire 层测试（fd 传递、doorbell、ring、封帧、inproc）绿；两台设备的字节/调用基线在案；spike A/B 出结论；citation lint 绿 | — | | **P0.5** 值头与制品头抽取 | 6–9 | ✅（`5d99ee43`）`MG_Pipe/MGPipeValueTypes.h`（`RenderStateParameters`、`SamplerParameters`、`PixelStoreParameters`、`VertexAttribute`… 不 include `MG_State/GLState`）；`MG_State/GLState/ProgramState/ProgramArtifacts.h`（五个反射类型，不 include `ShaderObject.h`/`SpvcSession.h`，8 个 includer 零改动——类内 `using` 别名保住每一种既有拼写）；`Visit()` 归档 + `sizeof` 绊线；CI `-H` include 闭包断言（`scripts/check_include_closure.py`，text + clang 两模式、自带阴性对照、`--require-all` 棘轮；`scripts/symbol_report.py` 做逐符号归因）。实测落地：测试名零删除、`MG_Backend` 零 diff、`.text` 字节不变、符号 0 增 / 0 删 / 42 重命名；`DynamicBackendParameters` 未搬（含 `SizeT` 与 `TextureTarget` 成员，搬动不是纯移动），`MGPipeTypes.h` 仍 include `BackendObject.h`，闭包门 A 因此断言 `MGPipeValueTypes.h` | 全套测试逐名不变（纯搬移）；两条闭包断言绿且人为加回一个 `MG_State` include 能变红；`nm`/`.text` 变化可逐符号归因 | P0；**P1 与 P7 的硬前置** | | **P1** `PipeInputs` 替换与 verify harness | 10–13 | ✅ `MG_Backend/MGPipe/PipeInputs.h`（63 字段；Espryt 32 / Magma 56 访问器）；**实测 277 处箭头 + 58 行非箭头**（Espryt 113+9、Magma 164+49）逐条转换；逐 verb 类填充点（G5 表，~93 个边界站点）；逐 verb 世代 poison；G4 影子比对器 + 第三种 CI 模式；20 处 `SyncPersistentMappedRange` + 6 处 `SyncGpuWrites` 的逐站点归属表 | pull 构建 `nm --defined-only` 不变、`.text` 差异逐行归因（空守卫/三元重写推迟到 P2）；40 trace + 全部集成测试在 `MOBILEGL_PIPE_VERIFY=1` 下零分歧；故意损坏一个快照字段能让 verify 变红；故意在 `glGenerateMipmap` 的填充表漏一个字段能在**那条 verb** 上触发 poison Fatal | P0.5 | -| **P2** 渲染状态 CSO + 第一片 Track H + 残余值块 | 18–26 | ✅（`738b289d`）`MG_Impl/Pipe/Tracker`（dirty 位、5 个聚合世代、抑制器骨架）；`gen_pipe_dirty_surface.py` 首轮映射成门（73 个 mutator 全映射，45 条 render-state 答案 + 8 条 (mutator, bit) 答案逐字段导出，0 COARSE / 0 UNDECIDED，`.github/workflows/test.yml:1601-1604`）；`MGPipeRenderStateSpans` chunk 表 **7 个 pipeline chunk / 396 B + 8 个 dynamic chunk / 772 B = 1168**（`MobileGL/MG_Pipe/MGPipeRenderStateSpans.h:190-191`）+ G7 setter 一致性测试；`CsoCache`（**64 项**，键 = pipeline 子集，`MobileGL/MG_Impl/Pipe/CsoCache.h:53`）；`create/bind_render_state` + `set_dynamic_state`（Espryt `SyncRenderState` 一行不动；Magma `ComputePipelineStateHash`/`GetOrCreatePipeline`/`ApplyDynamicDrawStateTail` 改从 CSO 与动态 payload 取）；`set_pixel_pack_state`、`set_patch_state`、`set_vertex_attrib_defaults`；`set_residual_value_state` + `ResidualValueBlock` 绊线（**棘轮 1248 → 8**，`MobileGL/MG_Pipe/MGPipeTypes.h:546`）；**第一片 Track H**：Espryt 0b（`SlotAllocator` + 6 个 registry → slot 数组 + 删 `TwinLookupMemo`×3/`OwnerEquals`/`g_fbSlotCache`/GC）与 Magma 子系统 4（`VertexInputStateFactory`/`VaoDrawMemo` 重键，删前端 VAO 里的后端裸指针）——共 **11 条身份 memo 直接删除 + 2 条重键**（`ARCHITECTURE.md` §9.5 的普查），pre-handle 臂在 `MOBILEGL_PIPE_LEGACY_MEMOS` 下并存到 P13；`MOBILEGL_PIPE_LEGACY_MEMOS`（`CMakeLists.txt:36`）；补**三个** capability 存储 `FramebufferSrgb`/`DepthClamp`/`TextureCubeMapSeamless`（`MobileGL/MG_Pipe/MGPipeValueTypes.h:303-305`） | ✅ 集成 × 2 后端 × {pull, push} 逐名相同（名差 0）；pull 构建符号 0 增 / 0 删 / 0 重命名、四个已认定 resize、`.text` +160 B；`RenderStateImpl` sha 不变；单元 1566 × {pull, push, verify}；`integration-gpu` 916/916（pull、push、`MOBILEGL_PIPE_PUSH=0` 三臂）；79 例 retrace push 下 79/79、verify 下 79/79 零分歧；`integration-verify` 828 条零 `Fatal{`；verify 构建的三组对照（`PoisonOmitted`、`VerifyCorrupted`、`HandleRecycle`）44/44，且 ABA 对照关掉句柄身份即红；G7 负面对照按设计变红并点名 `SetColorMask`；`CsoContentAddressing` 6/6；测试名 0 删除 / +119。设备（小米 Adreno 830，配对、定频、尾 200 帧 p50）：push 比 pull 多约 10% 逐线程 CPU——**用户 2026-09-08 决定接受**，性能自此对 pull 基线只记录不设门；小米全部 16 行在案（p50 +8–14%），Oppo 表在跑；桌面 `DriverBench` T1 = +322 / +345 ns/draw（Espryt / Magma），T1 − T2 = −228 / −354（P2 比它替掉的 P1 残余填充便宜），blend-toggle +4.7% / +3.5%，见 `MEASUREMENTS.md` §9–§14 | P1 | +| **P2** 渲染状态 CSO + 第一片 Track H + 残余值块 | 18–26 | ✅（`738b289d`）`MG_Impl/Pipe/Tracker`（dirty 位、5 个聚合世代、抑制器骨架）；`gen_pipe_dirty_surface.py` 首轮映射成门（73 个 mutator 全映射，45 条 render-state 答案 + 8 条 (mutator, bit) 答案逐字段导出，0 COARSE / 0 UNDECIDED，`.github/workflows/test.yml:1601-1604`）；`MGPipeRenderStateSpans` chunk 表 **7 个 pipeline chunk / 396 B + 8 个 dynamic chunk / 772 B = 1168**（`MobileGL/MG_Pipe/MGPipeRenderStateSpans.h:190-191`）+ G7 setter 一致性测试；`CsoCache`（**64 项**，键 = pipeline 子集，`MobileGL/MG_Impl/Pipe/CsoCache.h:53`）；`create/bind_render_state` + `set_dynamic_state`（Espryt `SyncRenderState` 一行不动；Magma `ComputePipelineStateHash`/`GetOrCreatePipeline`/`ApplyDynamicDrawStateTail` 改从 CSO 与动态 payload 取）；`set_pixel_pack_state`、`set_patch_state`、`set_vertex_attrib_defaults`；`set_residual_value_state` + `ResidualValueBlock` 绊线（**棘轮 1248 → 8**，`MobileGL/MG_Pipe/MGPipeTypes.h:546`）；**第一片 Track H**：Espryt 0b（`SlotAllocator` + 6 个 registry → slot 数组 + 删 `TwinLookupMemo`×3/`OwnerEquals`/`g_fbSlotCache`/GC）与 Magma 子系统 4（`VertexInputStateFactory`/`VaoDrawMemo` 重键，删前端 VAO 里的后端裸指针）——共 **11 条身份 memo 直接删除 + 2 条重键**（`ARCHITECTURE.md` §9.5 的普查），pre-handle 臂在 `MOBILEGL_PIPE_LEGACY_MEMOS` 下并存到 P13；`MOBILEGL_PIPE_LEGACY_MEMOS`（`CMakeLists.txt:36`）；补**三个** capability 存储 `FramebufferSrgb`/`DepthClamp`/`TextureCubeMapSeamless`（`MobileGL/MG_Pipe/MGPipeValueTypes.h:303-305`） | ✅ 集成 × 2 后端 × {pull, push} 逐名相同（名差 0）；pull 构建符号 0 增 / 0 删 / 0 重命名、四个已认定 resize、`.text` +160 B；`RenderStateImpl` sha 不变；单元 1566 × {pull, push, verify}；`integration-gpu` 916/916（pull、push、`MOBILEGL_PIPE_PUSH=0` 三臂）；79 例 retrace push 下 79/79、verify 下 79/79 零分歧；`integration-verify` 828 条零 `Fatal{`；verify 构建的三组对照（`PoisonOmitted`、`VerifyCorrupted`、`HandleRecycle`）44/44，且 ABA 对照关掉句柄身份即红；G7 负面对照按设计变红并点名 `SetColorMask`；`CsoContentAddressing` 6/6；测试名 0 删除 / +119。设备（小米 Adreno 830，配对、定频、尾 200 帧 p50）：push 比 pull 多约 10% 逐线程 CPU——**用户 2026-09-08 决定接受**，性能自此对 pull 基线只记录不设门；两机各 16 行在案（小米 p50 +8–14%，Oppo Espryt +8–18% / Magma +10–11%）；桌面 `DriverBench` T1 = +322 / +345 ns/draw（Espryt / Magma），T1 − T2 = −228 / −354（P2 比它替掉的 P1 残余填充便宜），blend-toggle +4.7% / +3.5%，见 `MEASUREMENTS.md` §9–§14 | P1 | | **P3a** handle wave 1（Espryt）：buffer、VAO | 18–23 | 7 个 `BufferBackendOps` → `resource_*`、`buffer_subdata_resident`（可 null）、`resource_flush_range`、`resource_readback`、`map_persistent`（不碰实现）；pool 与延迟释放原样搬；vertex elements 三件（两个视图都带）；`set_vertex_buffers`（`baseInstance` 显式字段）；`set_index_buffer`；Adreno SIGSEGV workaround 保留 | 全套门；buffer/VAO 族场景（`LargeArenaAdoption`、`StorageBufferRegrow` 发布 `map-persistent-roundtrips`、`VertexAttribBinding`、`MultiDraw`、`PrimitiveRestart`…）；Create/rd12/26.3/sodium trace；MC 26.3 在 Adreno 上 p99 不变。**再基线检查点 1：超过 27 天必须重定基线** | P2 | | **P4a** handle wave 2（Espryt）：FBO / 纹理 / sampler / program 身份与描述符 | 26–34 | `set_framebuffer_state`（解析后的 `ReadSurface`、内联格式、`ContentHash`、`{0,1}`）；sampler CSO（含 `borderColorForm`）；sampler view + `set_texture_params`；`set_sampler_views`/`bind_sampler_states`/`set_shader_images`；shader CSO（SPIR-V + 归档）；`set_draw/dispatch_program`；`set_global_constants`；`CompositeResolver`；纹理/renderbuffer 的 `resource_*`。emulation 在 split 下显式 Fatal 直到 P8 | 全套门；framebuffer/纹理/program 族场景；**新增"只作 attachment / image 单元 / CopyImage 端点的纹理其 `glTexParameter` 生效"场景（落地前必须红）**；两台设备 `KHR-GL46.direct_state_access.framebuffers*` 与整个 `packed_pixels` 块（~3300 例，句柄复用压力测试）。**再基线检查点 1b：超过 39 天** | P3a | | **P5** 传输 + inproc applier + 发射表 | 12 | `MG_Remote/Client` 发射表；`Server/PipeApplier`、`ServerLoop`（`mgl-srv-io` + `mgl-srv-apply`）；`Init.cpp` 单一 hook 装 `BackendObject_Remote`；`MGPCaps` 快照；阻塞 `read_pixels`；client 侧保守 `MarkGpuWritten`；**client 侧块粒度 persistent-map 推送**；`InProcessTransport` 走与 spawn 相同的 G3 编解码；trace-replay `SPLIT` 后缀 + `-DTRACE_TRANSPORT=`；`MOBILEGL_TRANSPORT` 解析 | `DirectGLES.Split.*(ClearThenReadPixels|Triangle)` 在 `inproc` 下绿；OpenRA trace split SSIM ≥ 0.99；`PersistentCoherentMapScenario` 绿；两个角色峰值 RSS 在案；`persistent-map-push` 出数；未迁移字段读 = `Fatal{UnmigratedPipeInput}`。**第 99 天：首个 IPC 帧（缩减路径）** | P4a | @@ -46,7 +46,7 @@ - [x] P1 交付的逐 draw 逐字段语义等价证明（40 trace + 全部集成测试零分歧） - [x] 两个后端上都已推送的渲染状态，`SyncRenderState` 693 行一行未动（`RenderStateImpl` 段 sha 与 P2 起点相同） - [~] 两片 Track H 的实测单位成本（Espryt 0b、Magma 子系统 4）—— 产出侧在案（`ARCHITECTURE.md` §9.5 那份 21 条身份 memo 普查里，11 条直接删除 + 2 条重键全部落地，两片都零回归），日历口径（实际工作日 vs 估计的 5–7 / 2–3 天）**未记录** -- [~] 两台设备（Adreno 830 `35d0befa`、Mali `3B159D009VZ00000`）reboot-clean 配对的逐线程 CPU 时间增量，p50 与 p99 —— 小米 16 行全部在案（p50 +8–14%，p99 同向；`MEASUREMENTS.md` §10），Oppo 在跑、随后补进同一张表 +- [x] 两台设备（Adreno 830 `35d0befa`、Mali `3B159D009VZ00000`）reboot-clean 配对的逐线程 CPU 时间增量，p50 与 p99 —— 两机各 16 行全部在案（`MEASUREMENTS.md` §10）：小米 p50 +8–14%，Oppo Espryt +8–18% / Magma +10–11%，p99 同向 - [x] tracker 每 draw 的**绝对 ns**（T1/T2）—— 桌面 `DriverBench`：Espryt T1 +322 / T2 +550、Magma T1 +345 / T2 +699 ns/draw，T1 − T2 = −228 / −354（`MEASUREMENTS.md` §12）；设备侧的等价读数是配对 A/B 的 +8–14%；按下面的口径为**记录项**，不再是门 - [x] Blaze3D blend-toggle 微基准（enable/draw/disable/draw，MC batch 速率）—— `mc_state_toggle`（每帧 46 对）：Espryt 23753 → 24869 ns/开关对（+4.7%）、Magma 32705 → 33857（+3.5%）；pass switch +0.6% / +1.7% - [x] 负面对照：关掉 CSO 内容寻址重跑，把"推送更慢"与"CSO 设计更慢"分开（`kMGPipeBehaviourNoCsoContentAddressing`，`CsoContentAddressing` 6/6 证明开关真的改变 mint/bind 计数） @@ -76,7 +76,7 @@ P0 已回答的不再列出（spike A 的域、spike B 的分档、`posix_spawn` 小米全部 16 行（4 trace × 2 后端 × finish 开/关，p50 与 p99、钉频判定）在 `MEASUREMENTS.md` §10：p50 增量在四个 trace、两个后端上都落在 **+8–14%**（`improved-transparency-minecraft-26.3` DirectGLES 37.26 → 42.44、DirectVulkan 61.55 → 68.12；`minecraft-1.21.4-startup` 只有加载帧，不承载）。 - + Oppo Mali（`3B159D009VZ00000`）全部 16 行同在 §10：Espryt in-world **+16–18%**、26.3 +8–9%，Magma 两机一致 **+10–11%**；26.3 上 p99 同向放大到 +16–22%。两机 32+32 次运行的 pull 臂即此后的性能基准线。 绝对 ns 的分解（T1 = push 默认位图 − pull，T2 = `MOBILEGL_PIPE_PUSH=0` − pull，`T1 − T2` 正是 P2 自己的增删；桌面 `DriverBench`，`mc_vanilla_draw`，ns/draw，全表在 `MEASUREMENTS.md` §11–§12）：Espryt **T1 +322**（pull 5121 的 +6.3%）、T2 +550、**T1 − T2 = −228**；Magma **T1 +345**（+2.0%）、T2 +699、**T1 − T2 = −354**——P2 的 tracker + CSO 比它替掉的 P1 残余填充便宜，剩下的 T1 是尚未句柄化的填充与 dirty 走查。无 CSO 内容寻址对照：Espryt −69（噪声内）、Magma +200（内容寻址每 draw 省 200）；blend-toggle +4.7% / +3.5%，pass switch +0.6% / +1.7%。