diff --git a/MobileGL/MG_IntegrationTest/CMakeLists.txt b/MobileGL/MG_IntegrationTest/CMakeLists.txt index 39b00aea..59f2667b 100644 --- a/MobileGL/MG_IntegrationTest/CMakeLists.txt +++ b/MobileGL/MG_IntegrationTest/CMakeLists.txt @@ -3090,6 +3090,89 @@ if (MOBILEGL_BUILD_DISAGGREGATED) endforeach() endif() +# ===================================================================================== +# P7 PACKAGE L: THE WHOLE INTEGRATION BINARY UNDER MAGMA SPLIT - TIER 3, INFORMATIONAL +# ===================================================================================== +# +# WHY A THIRD TIER, AND WHY IT IS THE ONE THAT ANSWERS THE EXIT GATE. Tier 2 above replays the +# split-arm registrations, which is ~100 scenarios - the set Espryt's disaggregation work has +# been carrying since P5. It measured GREEN on Magma, all three transports, and that is a real +# result but it is NOT exit gate 1. The gate says the INTEGRATION BINARY is green under Magma +# split, and the set that phrase names is the one the monolith `DirectVulkan.` arm runs: the +# whole suite minus MGL_ITEST_MONOLITH_MECHANISM_FILTER (the mechanism oracles, which toggle +# process-local push masks, pointer-key ABA, direct persistent adoption or synchronous stats +# slots and therefore must not inherit a transport). 511 cases, against tier 2's 102. +# +# THIS IS WHERE THE @P7 REFUSALS LIVE. None of tier 2's scenarios reaches one; the readback +# matrices, the same-texture copy shapes and the odd-offset uniform ranges do, and they are in +# this set and nowhere else in the disaggregated registry. THE FIRST RUN'S RED LIST IS WHAT +# WAVE 2's CLUSTERS ARE SCHEDULED FROM - see notes/p7/magma-two-process-first-run.md. +# +# IN NO CI GATING STEP, and that is the whole design: a lane that must be green cannot carry a +# census. A case leaves this tier for a gated one with the commit that retires its blocker. +# The label spelling follows tier 2's rule (`ctest -L` is a regex, ID-131): the tier word goes +# in the MIDDLE, so `-L integration-magma-split` and `-L integration-magma-all-split` cannot +# reach `integration-magma-full-split` and vice versa. +# +# THE SAME PRIVATE-LOG DISCIPLINE as every other split-family entry, through a list of its own +# rather than the shared MGL_SPLIT_ARM_TEST_LISTS: that list ALSO carries the per-entry lane +# markers (strict-arming, pmap, server counters) and applying them to a census would arm three +# unrelated oracles on cases that are here to be read, not to assert. SplitLogPaths.cmake.in +# walks this list for the log path alone. +# +# PLACED AFTER TIER 2 AND BEFORE THE configure_file, for that file's stated reason. +# +# TWO DIFFERENCES FROM TIERS 1 AND 2's ENVIRONMENT, BOTH MEASURED RATHER THAN ASSUMED. +# +# 1. NO MGITEST_SPLIT_LANE=1. That marker arms ScenarioFixture's destructor assertion +# (ScenarioFixture.h:85-100): a case in an armed split lane must have MOVED the client +# encoder's record ordinal, because "the workload drew, cleared and read pixels, so +# records were due". That is exactly right for a CURATED lane, where every entry draws. +# It is wrong for a whole-binary census, which also contains query-only cases: the first +# run of this tier with the marker set produced 13 reds - AdvertisedLimitsScenario (8), +# SpirvShaderBinaryScenario (4) and ProgramPipelineScenario.AReservedName… - every one of +# them `EmitSeq was 20 at SetUp and is 20 now`, because a limits query is answered from +# the client's CapsMirror and a shader-binary error surface never reaches a verb. Those +# 13 would red on a DirectGLES census too; they are a property of the census, not of +# Magma, and leaving them in would have buried the real list under noise. +# WHAT THIS GIVES UP, stated rather than discovered later: this tier does not prove its +# records crossed the wire, and the tcp arm's "Dial=Connect created no local server child" +# topology proof (ScenarioFixture.h:160-171, inside the same armed block) is inert here. +# Tiers 1 and 2 keep both, and they are the tiers that gate. MGITEST_TCP_LANE is still in +# the shared tcp fragment - it simply has no reader in this tier. +# 2. DualBlockScenario.* IS FILTERED OUT. Its green REQUIRES MOBILEGL_IPC_ROLE_SPLIT_STATE=1, +# and a census must not set that knob - under it every barrier-pulled read aborts, which +# would replace this tier's subject with a different experiment. Without the knob the case +# is RED BY NAME (`MGPipeRoleSplitRehearsalActive() is false`), which is its documented +# negative-control behaviour and not a finding. The monolith `DirectVulkan.` arm has the +# same case and it SKIPS there, because that runtime is not split at all. Its own lane, +# `integration-dualblock-split`, is where it is read. +if (MOBILEGL_BUILD_DISAGGREGATED) + set(MGL_MAGMA_FULL_TEST_LISTS "") + foreach(mglItestArm IN LISTS MGL_ITEST_MAGMA_ARMS) + mgl_itest_magma_arm_shape(${mglItestArm}) + string(TOUPPER "${mglItestArm}" mglItestArmUpper) + mgl_itest_join_environment(mglItestMagmaFullEnvironment + "MOBILEGL_BACKEND_TYPE=DirectVulkan" "MOBILEGL_ITEST_REQUIRE_GPU=1" + ${MGL_ITEST_CAPABILITY_ENV} ${MGL_ITEST_VULKAN_ENV} ${mglItestArmTransportEnv}) + gtest_discover_tests(MobileGLIntegrationTest + TEST_PREFIX "DirectVulkan.${mglItestArm}.Full." + TEST_LIST "MGL_MAGMA_FULL_TESTS_${mglItestArmUpper}" + TEST_FILTER "-${MGL_ITEST_MONOLITH_MECHANISM_FILTER}:DualBlockScenario.*" + DISCOVERY_TIMEOUT 30 + PROPERTIES + LABELS "integration-magma-full-${mglItestArmLower}" + TIMEOUT ${MGL_ITEST_TIMEOUT} + ${mglItestArmProperties} + ENVIRONMENT "${mglItestMagmaFullEnvironment}" + ) + list(APPEND MGL_MAGMA_FULL_TEST_LISTS "MGL_MAGMA_FULL_TESTS_${mglItestArmUpper}") + endforeach() + message(STATUS "Integration tests: P7 package L tier 3 - the whole integration binary on " + "DirectVulkan x {inproc, spawn, tcp} under the informational " + "integration-magma-full-{split,spawn,tcp} labels (no CI gate)") +endif() + if (MOBILEGL_BUILD_DISAGGREGATED) # LAST, so every mgl_itest_register_split_arms call above has already contributed its list # name. Apply per-entry paths after GoogleTest discovery has populated the TEST_LISTs. diff --git a/MobileGL/MG_IntegrationTest/Harness/SplitLogPaths.cmake.in b/MobileGL/MG_IntegrationTest/Harness/SplitLogPaths.cmake.in index a95fe114..722fbb20 100644 --- a/MobileGL/MG_IntegrationTest/Harness/SplitLogPaths.cmake.in +++ b/MobileGL/MG_IntegrationTest/Harness/SplitLogPaths.cmake.in @@ -29,6 +29,29 @@ foreach(listName IN ITEMS @MGL_SPLIT_ARM_TEST_LISTS@) endif() endforeach() endforeach() +# P7 package L tier 3: the whole-suite Magma census. A LIST OF ITS OWN, and the log path is the +# ONLY property it gets - the loop above also arms the strict-arming, pmap and server-counter +# lane markers by entry name, and a census is here to be READ, not to assert three unrelated +# oracles it never opted into. The path itself is not optional: these entries are +# DirectVulkan.{Split,Spawn,Tcp}. names, so split_log_paths.py's ownership gate requires exactly +# one absolute private path each, and on the spawn and tcp arms two processes append to it. +# +# ONE EXCEPTION, AND IT IS TELEMETRY RATHER THAN AN ORACLE: CtWireScenario reads the server's +# own control-record tallies, and without MOBILEGL_TEST_SERVER_COUNTERS=1 they are not published +# at all - the case then reds on `server control-record telemetry missing`, which says nothing +# about Magma. Measured: that is exactly what the spawn arm's ApplierReset case did on this +# tier's first run. A switch that makes a counter readable is not the same kind of thing as the +# strict-arming, pmap or persistent-map-arm markers above, which make a case ASSERT something it +# never opted into, and those stay out of the census. +foreach(listName IN ITEMS @MGL_MAGMA_FULL_TEST_LISTS@) + foreach(entry IN LISTS ${listName}) + set_tests_properties("${entry}" PROPERTIES ENVIRONMENT + "MOBILEGL_LOG_FILE_PATH=@CMAKE_CURRENT_BINARY_DIR@/split-logs/${entry}.log") + if(entry MATCHES "CtWireScenario\\.") + set_tests_properties("${entry}" PROPERTIES ENVIRONMENT "MOBILEGL_TEST_SERVER_COUNTERS=1") + endif() + endforeach() +endforeach() foreach(entry IN LISTS MGL_SPLIT_PA_STRICT_DRAW_TESTS MGL_SPLIT_PA_STRICT_DISPATCH_TESTS) set_tests_properties("${entry}" PROPERTIES ENVIRONMENT "MOBILEGL_LOG_FILE_PATH=@CMAKE_CURRENT_BINARY_DIR@/split-logs/${entry}.log") diff --git a/docs/Disaggregated/notes/p7/magma-two-process-first-run.md b/docs/Disaggregated/notes/p7/magma-two-process-first-run.md index 907fc716..0e13fbcd 100644 --- a/docs/Disaggregated/notes/p7/magma-two-process-first-run.md +++ b/docs/Disaggregated/notes/p7/magma-two-process-first-run.md @@ -5,63 +5,94 @@ > (`/usr/share/vulkan/icd.d/lvp_icd.json`，系统唯一 ICD)，`build-split` = Release / clang / ccache / > `DISAGGREGATED=ON` `INPROC=ON` `PIPE_PUSH=ON` `BUILD_INTEGRATION_TEST=ON`， > `MOBILEGL_ITEST_TCP_ENDPOINT=tcp://127.0.0.1:40713`（本树专用端口，避免与兄弟树的 40613 撞车）。 +> +> 本文记两轮：**第一轮**（提交 `e22561aa..a6d805cc`）铺了 tier 1 / tier 2；**第二轮**（集成者追加指令， +> 提交 `f28409be..`）按「出口门 1 = 整个集成二进制」的读法加了 **tier 3 全量普查**，并裁定了 ICD 与 +> retrace 旋钮两处不对称。 ## 0. 一句话结论 -**仪器已经存在，而首轮不是红的。** `mgl_itest_register_split_arms` 现在带后端维度，Magma 的六条手铺车道 -各自长出 spawn / tcp 两条臂，另有一档信息性车道把 DirectGLES split 臂跑的**每一个**场景都在 DirectVulkan × -{inproc, spawn, tcp} 上跑一遍。在 lavapipe 主机上，**这 410 条新条目 0 红**。 +**仪器已经存在；把整个集成二进制铺到 Magma × 三条传输之后，红名单是 1 条。** -因此本包交付的不是「红名单 = P7 工作清单」，而是三件比它更硬的事实： +三档车道、1940 个新条目、每一条都实跑过： -1. **出口门 1 的主机半边今天就是绿的**：Magma × 两进程，73 + 52 + 52 + 102 × 3 条目，零失败。计划 §1.3 - 假设的红名单在主机口径下是**空集**；P7 剩下的 `@P7` 拒绝退役必须靠**真机**（wave 1）、**retrace 矩阵** - 与**更宽的场景普查**（P3b/P4b wave 2-D）去触发，而不是靠这条集成车道。这条判断本身就值一次裁定。 -2. **两条 Magma 车道在结构上就跑不了两进程**，首轮如实红了 21 条并已按仪器纪律收回单臂（§3）。 -3. **死亡通知的前提条件修好之后，Magma spawn 的 `object_death` 当场就通了**（§5）——比计划预期的 - 「Magma 仍然 0」更进一步，且把剩余缺口精确定位到 **inproc 臂**。 +- **tier 1 门控**（六条手铺 Magma 车道 × 三臂）：73 / 52 / 52，**0 红**。 +- **tier 2 信息档**（split 臂跑的 ~100 个场景 × 三臂）：102 × 3，**0 红**。 +- **tier 3 全量普查**（**整个集成二进制**，即 monolith `DirectVulkan.` 臂用的同一过滤器，× 三臂）： + 510 × 3，**split 0 红 / spawn 0 红 / tcp 1 红**。 + +那唯一的一条红是真东西，不是管道： +`IterationRPProgram203Scenario.FixedCompleteInputProducesFixedCompleteGoldenOutput` 在 **tcp（stream +数据面）上确定性地**（5/5）少算对了一个 texel——**只差第 0 号 texel，就是曝光值**——而 inproc、spawn（shm +数据面）与 monolith 各 5/5 全绿。详见 §5。 + +因此对计划 §1.3 的修正结论是：**主机 × lavapipe 口径下，P7 出口门 1 的集成半边只欠一条**，而且欠的不是 +`@P7` 具名拒绝——**树上 15 处 `@P7` 拒绝没有一处被这 1530 条全量条目触发**。wave 2 的 A/B/C 三簇如果指望 +从这条车道拿红名单，拿不到；它们的红名单必须来自 **wave 1 真机**、**retrace 全矩阵**和 **P3b/P4b 的场景 +普查**。这条车道的职责应改为**回归门 + stream 数据面的显微镜**。 ## 1. 交付物与文件 | 交付 | 文件 | 要点 | |---|---|---| | 后端维度 | `MobileGL/MG_IntegrationTest/CMakeLists.txt` | `mgl_itest_register_split_arms_for_backend( [stems])` + 同名薄包装保持 32 个调用点不变；`MGL_ITEST_VULKAN_{SPLIT,SPAWN,TCP}_ENVIRONMENT`；`mgl_itest_magma_arm_shape()` 供六条手铺车道复用同一套臂形状 | -| 两档标签 | 同上 | 见 §2。CMake 注释里写死了两档的定义、升档规则与标签拼写的正则理由 | +| 三档标签 | 同上 | 见 §2。CMake 注释里写死了三档的定义、升档规则与标签拼写的正则理由 | +| ICD 裁定 | 同上 | 六条 Magma 车道从 `${MGL_ITEST_COMMON_ENV}` 改为 `${MGL_ITEST_VULKAN_ENV}`；NamedBlit / P5fRsp 两块按**后端**选，GLES 半边不拿 VK 钉 | | 死亡通知前提 | `MobileGL/MG_Remote/Client/WireTables.cpp` | 去掉 `ActiveBackendType == DirectGLES`，保留 `Transport == Spawn` 与 `GetStateObjectDeathOps() == nullptr` 两条（P6.5 原意的两半） | -| 私有日志纪律 | `MobileGL/MG_IntegrationTest/Harness/split_log_paths.py` | `is_split` 前缀补 `DirectVulkan.Spawn.` / `DirectVulkan.Tcp.` | -| 名集合门 | `scripts/ci/spawn_lane_parity.py` | 新增 Magma 两档的三臂比对 + 两条具名豁免 | -| CI | `.github/workflows/test.yml` | retrace-split 补三个 iterationrp 旋钮；新增 magma-spawn/-tcp 门控步骤与 buffers 子标签的 `require_green` | +| 私有日志纪律 | `Harness/split_log_paths.py`、`Harness/SplitLogPaths.cmake.in` | `is_split` 前缀补 `DirectVulkan.Spawn.` / `DirectVulkan.Tcp.`；tier 3 走**自己的**列表，只发日志路径 + CtWire 的计数器开关 | +| 名集合门 | `scripts/ci/spawn_lane_parity.py` | 新增三档的三臂比对（逐档的 inproc-only 豁免） | +| CI | `.github/workflows/test.yml` | retrace-split 补**五个** Magma 旋钮；新增 magma-spawn/-tcp 门控步骤与 buffers 子标签的 `require_green` | -## 2. 两档车道（这是本包的主结构） +## 2. 三档车道（本包的主结构） **第一档，门控。** `integration-magma-split`（inproc，**含义不变**：同样 73 条、同样的名字、同样的标签、 -同样的私有日志路径）＋本包新增的 `integration-magma-spawn` / `integration-magma-tcp`。跑的是六条**手铺** -Magma 车道（Fm / Buffers / RunAhead / Caches / NamedBlit / P5fRsp），因为每条都带自己的 flavour（strict + -dual-block、adopt tier、run-ahead credit、cache pin），共享的场景过滤器表达不了。**一条标签只有在实测绿之后 -才准进门控步骤**——本包两条都实测绿，所以进了（§6）。 +同样的私有日志路径）＋ `integration-magma-spawn` / `integration-magma-tcp`。跑的是六条**手铺** Magma 车道 +（Fm / Buffers / RunAhead / Caches / NamedBlit / P5fRsp），因为每条都带自己的 flavour（strict + dual-block、 +adopt tier、run-ahead credit、cache pin），共享的场景过滤器表达不了。**一条标签只有在实测绿之后才准进门控 +步骤**——两条都实测绿，所以进了（§7）。 **第二档，信息性。** `integration-magma-all-{split,spawn,tcp}`：DirectGLES split 臂跑的每一个场景，在 -DirectVulkan 上，三条传输各一遍。**不在任何 CI 门控步骤里**，它的职责就是**能红而 CI 仍绿**。它由宏记录的 -调用列表**回放**生成（`MGL_SPLIT_ARM_CALLS`，32 次调用），所以明天给 split 臂加一个场景，Magma 普查当天 -跟着长——这是 P6 `t6` 给 spawn 臂赢下的同一条论证，往后端方向再走一维。 +DirectVulkan 上，三条传输各一遍。由宏记录的调用列表**回放**生成（`MGL_SPLIT_ARM_CALLS`，32 次调用），所以 +明天给 split 臂加一个场景，Magma 普查当天跟着长。 -三条臂里**包含 inproc**，这是它的诊断半边：spawn/tcp 红而 inproc 绿 = 两进程缺陷；三条都红 = Magma 自己缺 -动词，归 wave 2 某个簇。没有 inproc 臂的话每一条红都要手工复跑一次才能分类。 +**第三档，全量普查（集成者追加）。** `integration-magma-full-{split,spawn,tcp}`：**整个集成二进制**，即 +monolith `DirectVulkan.` 臂用的同一过滤器（`-${MGL_ITEST_MONOLITH_MECHANISM_FILTER}`， +`CMakeLists.txt:770-778` 的形状），510 个用例 × 三臂。**出口门 1 说的是这个集合**，不是 tier 2 的 102 个。 +tier 2 里没有一个场景能走到 `@P7` 拒绝；回读矩阵、同纹理 copy 形状、奇偶数偏移的 uniform range 这些能走到的， +只在这一档里。 -**标签拼写是按 `ctest -L` 的正则选的**（ID-131 的规矩，本文件已经为它付过两次学费）： -`-L integration-magma-spawn` **不得**选中第二档，所以档位词放**中间**——`integration-magma-all-spawn` 不含 -`integration-magma-spawn` 子串，而显然的 `integration-magma-spawn-all` 含，会把 ~100 条预期可红的条目悄悄 -拖进门控车道。六种拼写双向都查过。子标签同理：inproc 臂保留历史名 `integration-magma-buffers`（CI 那一步 -按名字 require_green 它的 19 条），其余臂把臂词放**前面**（`integration-magma-spawn-buffers`），两个选择 -互相够不着。 +三档**都包含 inproc 臂**，这是诊断半边：spawn/tcp 红而 inproc 绿 = 两进程缺陷；三条都红 = Magma 自己缺动词。 +§5 的那条红正是靠这个判出来的。 -## 3. 首轮结果（逐车道） +**标签拼写是按 `ctest -L` 的正则选的**（ID-131 的规矩）：档位词放**中间**——`integration-magma-all-spawn` / +`integration-magma-full-spawn` 都不含 `integration-magma-spawn` 子串，而显然的 `…-spawn-all` 含，会把上千条 +预期可红的条目悄悄拖进门控车道。九种拼写双向都查过。子标签同理：inproc 臂保留历史名 +`integration-magma-buffers`（CI 那一步按名字 require_green 它的 19 条），其余臂把臂词放**前面**。 -统计口径：`ctest --output-junit` 的 testcase，PASS / FAIL / SKIP 按 JUnit 判定；tcp 车道的条目数含 -`TcpServer.Start` / `TcpServer.Stop` 两条 fixture（每条 tcp 条目都 `FIXTURES_REQUIRED mobilegl-tcp`， -ctest 会把它们一起列进标签）。门控三档按 CI 的 job 环境跑（`MOBILEGL_ITEST_REQUIRE_GPU=1` -`MOBILEGL_IPC_STRICT_ERRORS=1` `MOBILEGL_IPC_ROLE_SPLIT_STATE=1`，`-j 2`）；信息档与 GLES 档按普通口径 -（`REQUIRE_GPU=1`，`-j 8` / `-j 4`）。 +### 2.1 tier 3 的环境与 tier 1/2 差两处，两处都是实测出来的 + +1. **不设 `MGITEST_SPLIT_LANE=1`。** 该标记武装 `ScenarioFixture` 析构里的断言 + （`Harness/ScenarioFixture.h:85-100`）：**在武装的 split 车道里跑过的用例必须让客户端编码器的记录序号 + 前进**，理由是「workload drew, cleared and read pixels, so records were due」。对一条**策展过的**车道这 + 完全正确；对**整个二进制**的普查它是错的——普查里还有纯查询用例。**第一次带着这个标记跑，13 条红**： + `AdvertisedLimitsScenario`（8）、`SpirvShaderBinaryScenario`（4）、 + `ProgramPipelineScenario.AReservedNameTakesStateBeforeItIsAProgramPipeline`（1），每一条都是 + `EmitSeq was 20 at SetUp and is 20 now`——limits 查询由客户端 CapsMirror 就地回答，shader-binary 的错误 + 面根本到不了动词。**这 13 条在 DirectGLES 的全量普查上也会红**：它是普查的属性，不是 Magma 的属性。 + **放弃了什么（明写）**：这一档不证明自己的记录过了线，tcp 臂的「Dial=Connect 没有拉起本地 server 子进程」 + 拓扑证明（`ScenarioFixture.h:160-171`，在同一个武装块里）在这里是哑的。tier 1/2 两样都保留，而它们才是 + 门控的那两档。 +2. **`DualBlockScenario.*` 被过滤掉。** 它的绿**要求** `MOBILEGL_IPC_ROLE_SPLIT_STATE=1`，而普查绝不能开这个 + 旋钮——开了之后每一次 barrier-pulled 读都 abort，普查的主题就换成了另一个实验。不开则它**按名字红** + （`MGPipeRoleSplitRehearsalActive() is false`），这是它**写在案的负控行为**，不是发现。monolith + `DirectVulkan.` 臂里同一条用例是 **SKIP**（那个运行时根本不是 split）。它自己的车道 + `integration-dualblock-split` 才是读它的地方。 + +## 3. 车道结果（逐档、逐臂） + +统计口径：`ctest --output-junit` 的 testcase；tcp 车道的条目数含 `TcpServer.Start` / `TcpServer.Stop` 两条 +fixture。门控三档按 CI 的 job 环境跑（`MOBILEGL_ITEST_REQUIRE_GPU=1` `MOBILEGL_IPC_STRICT_ERRORS=1` +`MOBILEGL_IPC_ROLE_SPLIT_STATE=1`，`-j 2`）；信息档与全量档按普通口径（`REQUIRE_GPU=1`，`-j 8`）。 | 车道 | 条目 | PASS | FAIL | SKIP | 与基线比 | |---|---|---|---|---|---| @@ -71,21 +102,16 @@ ctest 会把它们一起列进标签）。门控三档按 CI 的 job 环境跑 | `integration-magma-all-split` | 102 | 100 | **0** | 2 | 新增（信息性） | | `integration-magma-all-spawn` | 102 | 100 | **0** | 2 | 新增（信息性） | | `integration-magma-all-tcp` | 104（102 + 2 fixture） | 102 | **0** | 2 | 新增（信息性） | -| `integration-split`（GLES） | 186 | 186 | 0 | 0 | 186 / 102 comparable，与基线相同 | +| **`integration-magma-full-split`** | **510** | **453** | **0** | **57** | 新增（全量普查） | +| **`integration-magma-full-spawn`** | **510** | **453** | **0** | **57** | 新增（全量普查） | +| **`integration-magma-full-tcp`** | **512**（510 + 2 fixture） | **454** | **1** | **57** | 新增（全量普查） | +| `integration-split`（GLES） | 186 | 186 | 0 | 0 | 与基线相同 | | `integration-spawn`（GLES） | 102 | 102 | 0 | 0 | 与基线相同 | | `integration-tcp`（GLES） | 104 | 104 | 0 | 0 | 与基线相同 | +| `integration-magma-{buffers,runahead,caches}` | 19 / 14 / 7 | 全绿 | 0 | 0 | 与基线相同 | -**六条 Magma 车道的 SKIP 全部是具名的、两种**： - -- 门控三档的 2 条是 `ClipDistanceScenario.{ADisabledClipDistanceRemovesNothing, - TheEnablesAreIndependentPerDistance}`，理由「lavapipe clips by a DISABLED gl_ClipDistance …」——inproc - 臂上 `split_log_paths.py` 的 `DUALBLOCK_ALLOWED_SKIPS` 已经收录了同两条的 Split 拼写（`:156-157`）。 -- 信息档的 2 条是 `CtWireScenario.{Texture,Framebuffer}DeathCrossesAndTheRecycledSlotAnswersTheNewObject`， - 理由 `object_death is produced by the DirectGLES death-notice ops; DirectVulkan has none until P7` - （`Scenarios/CtWireScenario.cpp:152-155` / `:208-211`）。**这两条就是 wave 2 包 C 的债，见 §5。** - -**arming 证据**（不是「跑了没红」，是「确实跑了两个进程、确实是 Magma」）：483 条 DirectVulkan split 家族 -条目**每条恰好一个**私有绝对日志路径（`SplitLogPaths.PrivateAndDistinct` 绿），落盘 306 对 +**arming 证据**（不是「跑了没红」，是「确实跑了两个进程、确实是 Magma」）：DirectVulkan split 家族条目 +**每条恰好一个**私有绝对日志路径（`SplitLogPaths.PrivateAndDistinct` 绿），落盘成对的 `.client.log` / `.server.log`；任取一对读到 ``` @@ -93,49 +119,75 @@ client: Config: Active backend type set to DirectVulkan client: Config: MOBILEGL_TRANSPORT=spawn - the MGPipe record stream crosses a real ring to an apply thread in ANOTHER PROCESS client: MG_Remote client: spawn ARMED - the server role runs in pid 130832, reached at "@mgl-130770-106887814518704" server: MG_Remote server: pid=130832 transport=spawn role=server ready control=unix data=shm -server: Config: Active backend type set to DirectVulkan +server: MG_Remote server: pid=625725 transport=spawn role=server ready control=tcp data=stream (tcp 臂) ``` -## 4. 红名单：首轮唯一的两组，都是**车道管道**，都已按仪器纪律处置 +## 4. 全量普查的 57 条 SKIP：全部具名，没有一条是「静默的」 -第一次把三条臂加给全部六条 Magma 车道时，spawn 与 tcp 各红 **21** 条，两臂**逐条相同**。按「Fatal 家族 + -消息 + 哪个角色日志」分组的首阻塞如下——**两组都不是 server 以 `@P7` 名字中止，不是错误像素，不是超时挂起**， -而是**场景本身只能在进程内跑**： +三条臂的 57 条 SKIP 逐条相同，按理由归组（`integration-magma-full-split` 口径）： -| 组 | 条数 | 首阻塞 | 角色日志 | 归类 | -|---|---|---|---|---| -| **P1 run-ahead hold** | 14（`MagmaRunAheadScenario.*` × credit 1/3） | `MagmaRunAheadScenario.cpp:134: Value of: WaitForSplitApplyHoldForTesting() Actual: false Expected: true` + `the clear waited for apply instead of returning while its server batch was held`，随后 `:170` `HoldNextBatch() ... generates new fatal failures`。**两个角色日志里都没有任何 `Fatal{` / `Refuse{`** | `magma-runahead-{spawn,tcp}-credit{1,3}-*.{client,server}.log` | 车道管道 | -| **P2 cache peek** | 7（`MagmaWireCacheScenario.*`） | `MagmaWireCacheScenario.cpp:53: Expected equality of these values: runtime.transportName Which is: "non-monolith" / "inproc"`。同样**零 Fatal** | `magma-caches-{spawn,tcp}-*.{client,server}.log` | 车道管道 | +| 条数 | 理由（截断） | 归属 | +|---|---|---| +| 21 | `dedicated Magma run-ahead lane only` / `dedicated Magma cache lane only` | 车道标记：这两组只在 tier 1 的 inproc 臂跑（§6 的债） | +| 5 | `GL_MAX_IMAGE_SAMPLES is 0, so the conformance case substitutes a plain 2D image` | lavapipe 能力 | +| 5 | `C-1's per-level respecify is consumed by DirectGLES only; backend is DirectVulkan` | Espryt 专属（P3b/P4b） | +| 4 | `DirectGLES only: this scenario is about Espryt's own reachability table` | Espryt 专属 | +| 3 | `three-channel widening is a DirectGLES substitution` | Espryt 专属 | +| 3 | `F-3 is a DirectGLES handle-arm seam` | Espryt 专属 | +| 2 | `the signed-normalized substitution is a DirectGLES fallback` | Espryt 专属 | +| 2 | `subgroup probe requires GL_SUBGROUP_SIZE_KHR in [16, 256]` | lavapipe 能力 | +| **2** | **`object_death is produced by the DirectGLES death-notice ops; DirectVulkan has none until P7`** | **wave 2 包 C 的债，见 §6** | +| 1 | `this driver cannot host separate DEPTH_COMPONENT24 and STENCIL_INDEX8 attachments` | lavapipe 能力（`DepthStencilReadbackMatrixScenario.SeparateDepthAndStencil…`） | +| 2 | `renderer Magma … clips by a DISABLED gl_ClipDistance` / `… regardless of the enables` | 已知 Magma 语义缺口（tier 1 同两条） | +| 2 | `known: a non-trailing unsized array overlaps…` / `two runtime arrays in one block overlap` | 已知（SSBO 声明形状） | +| 1 | `atomic-counter draws do not paint on DirectVulkan yet` | 已知 Magma 缺口 | +| 4 | `this case needs the pinned ON for the whole process` ×3、`MOBILEGL_ASYNC_SHADER_COMPILE is unset` ×1 | 各自专属车道 | +| 5 | `not the strict-arming lane` / `not the counting lane` / `requires the dedicated per-frame stats lane` / `runs only in its own lane` / `optimistic-status quirk` | 各自专属车道 | -**根因，逐行**： +**注意 `DepthStencilReadbackMatrixScenario.SeparateDepthAndStencilAttachmentsAreBothReadable` 是 SKIP 而不是 +红**：审计预测它会撞 `multisample-blit-aspect@P7`，实际上在 lavapipe 上它连 framebuffer 都组不起来，先一步 +skip 了。这就是「主机拿不到那份红名单」的一个具体样本——它需要一台能做 separate D/S 附件的真设备。 -- P1：`MagmaRunAheadScenario::HoldNextBatch` 经 `ArmSplitApplyHoldForTesting()` 把钩子装到 - `MG_Remote::Server::ServerLoopInstance().SetBeforeRetireHookForTesting(&HoldOneAppliedBatch)` - （`Harness/SplitRuntimePeek.cpp:43-50`）——**本进程**的 server loop。spawn/tcp 下 server loop 在另一个 - 进程里，钩子装在一个永不运行的实例上，等待必然超时。 -- P2：`MagmaWireCacheScenario::SetUp` 直接 `ASSERT_EQ(runtime.transportName, "inproc")` - （`MagmaWireCacheScenario.cpp:53`），整条车道读的是**本进程** server 的 view / attachment 身份。 +## 5. 红名单：全量普查在 1530 条里只产出 1 条，而它是 stream 数据面的 -**处置**：两条车道回到**单臂（inproc）注册**，理由写在 CMakeLists 的两段注释里，并在 -`spawn_lane_parity.py` 的 `MAGMA_INPROC_ONLY` 里**具名豁免**（照抄 `MONOLITH_ONLY` 的纪律：宁可点名， -也不放宽容差）。这与本文件已有的四条 DirectGLES 单臂车道（DualBlock / StrictProgramArm / -PersistentMapArm / StrictArming）是同一条规矩：**一个因为「不是它存在的理由」而必然红的条目，比没有这个 -条目更糟**（R-16 的镜像）。 +| 组 | 条数 | 首阻塞 | 分类 | +|---|---|---|---| +| **S1 曝光 texel（tcp / stream 专属）** | 1 | `Scenarios/IterationRPProgram203Scenario.cpp:371: complete Program 203 output differs at 0,0: actual half bits=(0x357a, 0x4b65) golden half bits=(0x3a74, 0x4821); mismatched 1 of 262656 texels`，另有 `:377` 的第二条断言。**两个角色日志里都没有 `Fatal{` / `Refuse{`** | **错误像素**（不是 `@P7` 中止、不是超时、不是管道） | -**由此产生的债（不是本包能关的）**：两进程口径下的 run-ahead 与 cache 身份**今天没有覆盖**。要覆盖，需要 -一个**跨进程**的 hold（server 侧旋钮，而不是函数指针）和一个跨进程的 cache peek。这两件都该由 wave 2-B/C -的 owner 决定要不要做——**本包不擅自做**，只把缺口写在这里。 +**为什么判它是真缺陷而不是车道管道，四条证据**： -## 5. 死亡通知前提（交付 3）：修好了，而且当场就有效 +1. **确定性**：tcp 臂连跑 5 次，5 次全红，同一个 texel、同一组 bits。 +2. **只在 tcp**：同一用例在 `DirectVulkan.Split.Full.`（inproc）、`DirectVulkan.Spawn.Full.`（spawn，**数据面 + 是 shm**）与 monolith `DirectVulkan.` 各连跑 5 次，**各 5/5 全绿**。三臂唯一的差别是传输片段， + 而 spawn 与 tcp 的差别只有 `MOBILEGL_IPC_CONTROL=tcp://…` + `MOBILEGL_IPC_DATA=stream`。 + ⇒ **嫌疑落在 stream 数据面，不落在「两进程」本身。** +3. **GLES 的 tcp 车道是绿的**（`integration-tcp` 104/104），同一轮同一台机器 ⇒ 不是 fixture、不是端口、 + 不是 supervisor。 +4. **差的是第 0 号 texel**，而这个位置正是该用例自己打印为 `actualExposureBits` 的**曝光值** + （`IterationRPProgram203Scenario.cpp:363-370`）；其余 262655 个 texel 逐位相同 ⇒ 不是整幅画错，是 + **归约/曝光那一条链**上的一个值。 + +**归簇**：不属于 A（UniformManager 对齐）/ B（blit-copy-mip）/ C（顶点 / 死亡表 / resident / 反射）中的任何 +一个——它是 **P6.5 stream 传输 × Magma 归约链**的交叉项。建议作为 **wave 2 的一条独立小项**派给 +stream 数据面的 owner，或先在 wave 1 的设备窗口里确认它在真机 tcp 上是否复现。 + +**本包没有去修它**（超出「只修管道」的授权），也没有把它从普查里排除——它就该红在那里。 + +### 5.1 第一轮（tier 3 带着 `MGITEST_SPLIT_LANE=1`）的 14/15 条红，全部是车道管道，已修 + +留档，因为它们是「普查需要自己的环境」这条结论的证据： + +| 组 | 条数（split/spawn/tcp） | 首阻塞 | 处置 | +|---|---|---|---| +| F1 fixture 记录序号断言 | 13 / 13 / 13 | `Harness/ScenarioFixture.h:90: this case ran in an armed DirectGLES.Split. lane and the client encoder's record ordinal did not move: EmitSeq was 20 at SetUp and is 20 now` | tier 3 不再设 `MGITEST_SPLIT_LANE=1`（§2.1-1） | +| F2 dual-block 负控 | 1 / 1 / 1 | `Scenarios/DualBlockScenario.cpp:63: before.roleSplitActive Actual: false Expected: true … MOBILEGL_IPC_ROLE_SPLIT_STATE is not armed` | tier 3 过滤掉 `DualBlockScenario.*`（§2.1-2） | +| F3 server 计数器未发布 | 0 / 1 / 0 | `Scenarios/CtWireScenario.cpp:131: counters.valid Actual: false Expected: true server control-record telemetry missing` | tier 3 的 CtWire 条目补 `MOBILEGL_TEST_SERVER_COUNTERS=1`（遥测开关，不是断言旋钮） | + +## 6. 死亡通知前提（交付 3）：修好了，而且当场就有效 **改动**：`WireTables.cpp` 的安装条件从 - -```cpp -Transport == Spawn && ActiveBackendType == BackendType::DirectGLES && GetStateObjectDeathOps() == nullptr -``` - -去掉中间一条。保留的两条正是 P6.5 原意的两半：`Transport == Spawn` = 「这是没有本地孪生表的远端 client」； -`GetStateObjectDeathOps() == nullptr` = 「谁先装谁算，inproc 保留后端自己的派发器」。 +`Transport == Spawn && ActiveBackendType == DirectGLES && GetStateObjectDeathOps() == nullptr` +去掉中间一条。保留的两条正是 P6.5 原意的两半。 **R-16（安装点是承重的）**：把安装点临时短路掉（`if (false && …)`）重编，两条 **DirectGLES spawn** 死亡用例 立刻红： @@ -148,50 +200,50 @@ CtWireScenario.cpp:246: Failure Expected: (afterCounters.deaths) > (deathsBefor 这正是计划 §1.3 (2) 描述的「静默 `ObjectDeaths=0`」的形状，而车道抓得住它。已还原。 -**Magma 下实际观测到什么**（计划要求「记录你观察到的」）：`CtWireScenario` 自己在非 DirectGLES 上 -`GTEST_SKIP`（`:152-155` / `:208-211`），所以门控与信息档里这两条是 **SKIP**，不是 0 也不是绿。 -为了给集成者一个真数，做了一次**临时、未提交**的探针（把那两处 skip 守卫去掉重编，跑完还原并重编）： +**Magma 下实际观测到什么**：`CtWireScenario` 自己在非 DirectGLES 上 `GTEST_SKIP`（`:152-155` / `:208-211`）， +所以三档里这两条都是 **SKIP**。做了一次**临时、未提交**的探针（去掉那两处 skip 守卫重编，跑完还原并重编）： | 臂 | 结果 | |---|---| -| `DirectVulkan.Spawn.Ct.CtWireScenario.{Texture,Framebuffer}Death…` | **两条 PASS**（`deaths > deathsBefore` 成立） | -| `DirectVulkan.Split.Ct.…`（inproc） | **两条 FAIL** | +| `DirectVulkan.Spawn.…Death…`（spawn） | **两条 PASS**（`deaths > deathsBefore` 成立） | +| `DirectVulkan.Split.…Death…`（inproc） | **两条 FAIL** | -也就是说：**本包的前提修复让 Magma 的 spawn / tcp 路径今天就能跨 `object_death`**（对象作为 wire 对象已经 -过线，`MGPipeSlots().FindByLifetimeId` 解析得到句柄），计划里「Magma 下计数可能仍然是 0」的预期只在 -**inproc 臂**成立——inproc 靠的是后端自己的 `StateObjectDeathOps`，而 Magma 还没有那张表（wave 2 包 C）。 +即：**本包的前提修复让 Magma 的 spawn / tcp 路径今天就能跨 `object_death`**；计划里「Magma 下计数可能仍然 +是 0」的预期只在 **inproc 臂**成立（inproc 靠后端自己的 `StateObjectDeathOps`，Magma 还没有那张表 = wave 2 +包 C）。 -→ **给集成者的一条裁定项（ID 待编）**：`CtWireScenario` 的 skip 守卫（`BackendName() != "DirectGLES"`）现在 -**过宽**，可以窄化为「非 DirectGLES **且** transport 非 spawn/tcp 才 skip」，代价是一行，收益是 Magma 两进程 -死亡路径立刻有门。本包**没有**改它：那是 wave 2 包 C 的文件，且改了会让信息档的 inproc 臂变红（需要同时 -决定 inproc 臂怎么处置）。 +→ **裁定项**：`CtWireScenario` 的 skip 守卫（`:152`/`:208`）现在**过宽**，可窄化为「非 DirectGLES **且** +transport 非 spawn/tcp 才 skip」，一行代价，收益是 Magma 两进程死亡路径立刻有门。本包**没有**改它：那是 +wave 2 包 C 的文件，且改了会让 inproc 臂变红（需要同时决定 inproc 臂怎么处置）。 -## 6. CI（交付 4） +## 7. CI -**(a) retrace-split 的三个旋钮**。`test.yml` 的 `retrace-split` 作业「Retrace and validate under -MOBILEGL_TRANSPORT」一步过去**一个 Magma 旋钮都不导出**，而 monolith `retrace` 作业（`:2180-2196`）对 -`minecraft-1.21.4-fabric-iris-iterationrp-in-world × DirectVulkan` 导出三个 iterationRP 修复。已按**逐字 -相同**的 backend+case 守卫补上三个旋钮。`split-matrix` 实测 154 格，含该 case × DirectVulkan × {inproc, -spawn} 两格——也就是这一步过去是唯一**无法**与 monolith 对照的两格。 +**(a) retrace-split 的五个旋钮**（两次提交合起来）。该作业过去**一个 Magma 旋钮都不导出**。现已按与 monolith +`retrace` 作业（`test.yml:2180-2196`）**逐字相同**的守卫补齐： -**(b) 门控标签**。两条新标签首轮全绿，因此按交付要求入门控： +- `MOBILEGL_MAGMA_R11G11B10F_FALLBACK`（全部 DirectVulkan 行） +- `MOBILEGL_MAGMA_DISABLE_BLENDED_DEPTH_WRITE`（`improved-transparency-minecraft-26.3`） +- 三个 iterationRP 修复（`minecraft-1.21.4-fabric-iris-iterationrp-in-world`） -- 新步骤 `Integration-magma-spawn and -tcp - the same cases in two processes (P7 L)`： +`split-matrix` 实测 154 格，含上述 case × DirectVulkan × {inproc, spawn}。`retrace-verify` 按裁定未动。 + +**(b) 门控标签**。两条新标签实测全绿，因此入门控： + +- `Integration-magma-spawn and -tcp - the same cases in two processes (P7 L)`： `ctest -L '^integration-magma-spawn$'` 与 `'^integration-magma-tcp$'`，job 环境与既有 magma-split 一步相同。 -- 新步骤 `Magma application-buffer wire cases must all execute on the spawn and tcp arms`：对 +- `Magma application-buffer wire cases must all execute on the spawn and tcp arms`：对 `integration-magma-{spawn,tcp}-buffers` 按**名字** `require_green` 那 19 条（tcp 臂的必需名单里**显式包含** - `TcpServer.Start` / `TcpServer.Stop`，因为 ctest 会把 fixture 一起列进标签，而 supervisor 没起来的车道对 - 那 19 条无话可说）。 + `TcpServer.Start` / `TcpServer.Stop`）。 -两步都在本机**实跑过**（不只是 `bash -n`）：spawn 19/19 + `require-green: 19 PASS, 0 skip, 0 failed`， -tcp 19/19 + `require-green: 21 PASS, 0 skip, 0 failed`。整个 workflow 的 **99 个 `run:` 块**全部 `bash -n` 通过。 +两步都在本机**实跑过**：spawn `19 PASS, 0 skip, 0 failed`，tcp `21 PASS, 0 skip, 0 failed`。整个 workflow 的 +**99 个 `run:` 块**全部 `bash -n` 通过。 -**信息档三条标签刻意不入任何门控步骤**，CMake 注释与上面的 CI 注释都写明了升档规则：一个用例随着**退役它的 -那个提交**从第二档搬进第一档。 +**信息档与全量档共六条标签刻意不入任何门控步骤**；升档规则写在 CMake 注释里：一个用例随着**退役它的那个 +提交**从下一档搬进门控档。 -## 7. 车道自身的 red-once（交付 6） +## 8. 车道自身的 red-once（交付 6） -把 spawn 臂的第二个进程拿掉（`mv build-split/libMobileGLServer.so ...redonce-bak`），三件事同时发生： +把 spawn 臂的第二个进程拿掉（`mv build-split/libMobileGLServer.so ...redonce-bak`）： ``` # 门控档 @@ -205,43 +257,57 @@ client log: MG_Remote: the spawn session failed to start (rc=2); MobileGL will N # 信息档 0% tests passed, 3 tests failed out of 3 (DirectVulkan.Spawn.TriangleScenario.*) -# 同一时刻，inproc 臂不受影响（破坏是传输特定的，不是「整个 Magma 挂了」） +# 同一时刻，inproc 臂不受影响（破坏是传输特定的） DirectVulkan.Split.Fm.F1WireScenario.ClearBufferfiPixels ... Passed ``` -还原后两条臂即刻回绿。**注意失败是具名的**：断言文本停在 `eglInitialize failed`（pre-flight 子进程），但 -库自己的通道（私有角色日志）里是上面那条 `refusing` 行——这正是 `split_log_paths.py` 反复强调的 -「ctest 的 transcript 对库输出是 false zero」。 +还原后即刻回绿。**失败是具名的**：ctest 的断言文本停在 `eglInitialize failed`（pre-flight 子进程），而库 +自己的通道（私有角色日志）里是上面那条 `refusing` 行——这正是 `split_log_paths.py` 反复强调的「ctest 的 +transcript 对库输出是 false zero」。 -## 8. 名集合与 parity（交付 7） +## 9. 名集合与 parity（交付 7） ``` $ python3 scripts/ci/spawn_lane_parity.py build-split spawn-lane parity: split 105 (102 comparable), spawn 102 # 与基线逐字相同 integration-tcp parity: spawn 102, tcp 102 # 与基线逐字相同 -magma gated tier: integration-magma-split has 73 case entrie(s), 73 after normalisation -magma gated tier: integration-magma-spawn has 52 case entrie(s), 52 after normalisation -magma gated tier: integration-magma-tcp has 52 case entrie(s), 52 after normalisation -magma gated tier: 21 inproc-only entrie(s) excluded from the comparison by name - (MagmaRunAheadScenario., MagmaWireCacheScenario.) -magma informational tier: integration-magma-all-{split,spawn,tcp} 102 / 102 / 102 after normalisation +magma gated tier: 73 / 52 / 52 after normalisation（21 条 inproc-only 具名豁免） +magma informational tier: 102 / 102 / 102 after normalisation +magma full-suite tier: 510 / 510 / 510 after normalisation RC=0 ``` Magma 档的归一化**只脱臂段**（`..<其余>` → `.<其余>`），**不脱**子车道尾巴： -`RunAhead.Credit1.` 与 `RunAhead.Credit3.` 是同一个用例的两条条目，脱掉尾巴会把它们折成一条，然后报一个 -「数目相等」的假绿。GLES 档保持原样（脱 `F1.` / `Ct.`），数字与基线逐字相同。 +`RunAhead.Credit1.` 与 `RunAhead.Credit3.` 是同一个用例的两条条目。inproc-only 豁免是**逐档**的：门控档里 +`MagmaRunAheadScenario` / `MagmaWireCacheScenario` 只注册在 inproc 臂（§10 的债），全量档里它们三臂都在 +（只是各自 SKIP），所以在全量档豁免它们反而会造出假的 `extra`。 **G14（名字只增不减）**，对 `~/w7/p7-before/ctest-names-split.txt`： ``` -before=4155 after=4565 removed=0 added=410 -added by prefix: DirectVulkan.Spawn. 154 DirectVulkan.Tcp. 154 DirectVulkan.Split. 102 +before=4155 after=6095 removed=0 added=1940 +added by prefix: DirectVulkan.Split. 612 DirectVulkan.Spawn. 664 DirectVulkan.Tcp. 664 ``` -410 = (52 门控 spawn + 102 信息 spawn) + (52 门控 tcp + 102 信息 tcp) + 102 信息 split。**removed = 0。** +1940 = (52+102+510) spawn + (52+102+510) tcp + (102+510) split。**removed = 0。** -## 9. 相邻门（本机实跑，证明没有回归） +## 10. 明写的例外与债 + +**`MagmaRunAheadScenario`（14）与 `MagmaWireCacheScenario`（7）在门控档里只注册 inproc 臂。** 第一次把三臂 +加给全部六条 Magma 车道时，spawn 与 tcp 各红 21 条，两臂逐条相同，**两个角色日志里都没有任何 `Fatal{`**： + +- `MagmaRunAheadScenario.cpp:134: Value of: WaitForSplitApplyHoldForTesting() Actual: false Expected: true` + ——`HoldNextBatch` 经 `ArmSplitApplyHoldForTesting()` 把钩子装到 + `ServerLoopInstance().SetBeforeRetireHookForTesting`（`Harness/SplitRuntimePeek.cpp:43-50`），**本进程**的 + server loop；spawn/tcp 下它在另一个进程里。 +- `MagmaWireCacheScenario.cpp:53: runtime.transportName Which is: "non-monolith" / "inproc"`——`SetUp` 直接 + 断言 inproc。 + +处置：回到单臂注册，理由写进 CMakeLists，并在 `spawn_lane_parity.py` 的 `MAGMA_INPROC_ONLY` 里**具名豁免** +（照抄 `MONOLITH_ONLY` 的纪律）。**债**：两进程口径下的 run-ahead 与 cache 身份**今天没有覆盖**，需要一个 +**跨进程**的 hold（server 侧旋钮）和跨进程 cache peek——归 wave 2-B/C 的 owner 裁定。 + +## 11. 相邻门（本机实跑，证明没有回归） | 门 | 结果 | |---|---| @@ -250,47 +316,40 @@ added by prefix: DirectVulkan.Spawn. 154 DirectVulkan.Tcp. 154 DirectVulkan | `integration-p5f-rsp` 的 `require_green` | `2 PASS, 0 skip, 0 failed` | | `scripts/ci/magma_cache_checks.py --execute`（exact-seven + 环境不变式） | 7/7 `verdict=GREEN` | | `scripts/ci/magma_runahead_checks.py negative --execute` | `run_ahead_0: EXPECTED_RED` → `restored_run_ahead_1: GREEN` | -| `integration-magma-{buffers,runahead,caches}` 锚定标签计数 | 19 / 14 / 7，与基线相同 | +| `integration-magma-{buffers,runahead,caches}` 锚定标签 | 19 / 14 / 7，全绿，与基线相同 | +| 六条 Magma 车道的 ICD 钉（裁定后） | 73/73 条带 `VK_ICD_FILENAMES` 与三个 iterationRP 变量；`DirectGLES.Split.NamedBlit.` 两条**不带** | -## 10. 没有验证的（明写） +## 12. 没有验证的（明写） -- **真机**：一次都没有跑（本包全部在 lavapipe 主机）。出口门 3 的真机 ssim 归 wave 1。 -- **retrace**：没有跑 retrace-split 矩阵，(a) 的三个旋钮只验证了 YAML + shell 语法与 matrix 里确实有那两格， +- **真机**：一次都没有跑（全部在 lavapipe 主机）。出口门 3 的真机 ssim 归 wave 1。**§4 的若干 SKIP（分离 + D/S 附件、subgroup 探针、`GL_MAX_IMAGE_SAMPLES=0`）只有真机才能变成真结果。** +- **retrace**：没有跑 retrace-split 矩阵，五个旋钮只验证了 YAML + shell 语法与 matrix 里确实有那些格， **没有**验证加上旋钮后 `iterationrp × DirectVulkan × {inproc,spawn}` 会变绿或变红。 -- **pull 构建 / G1**：本包只改 CMake 注册、一处 `MOBILEGL_BUILD_DISAGGREGATED` 之外的 client 文件 - （`WireTables.cpp` 在 `MG_Remote` 下，pull 构建不编译它）与 CI/脚本；**没有**重跑 pull `.text` 恒等。 - 合并前请由集成者跑一次 G1。 +- **§5 那条红的根因**：只做到「确定性、tcp/stream 专属、曝光 texel」，没有下钻到具体的记录或回读。 +- **pull 构建 / G1**：本包改的是 CMake 注册、`MG_Remote` 下的一处 client 文件（pull 构建不编译它）与 + CI/脚本；**没有**重跑 pull `.text` 恒等。合并前请由集成者跑一次 G1。 - **`MOBILEGL_ITEST_TCP_DEVICE_ENDPOINT`**：本树为空，`TcpDevice` 臂未配置，Magma **不给** TcpDevice 臂 - （一台手机、串行，主机臂都还没绿之前翻倍没有收益）——这是一个明写的决定，不是遗漏。 -- **信息档在 CI runner 上的耗时**：本机三条信息车道合计 24.5 s（`-j 8`），CI runner 未测。 + （一台手机、串行）——明写的决定，不是遗漏。 +- **CI runner 上的耗时**：本机 tier 3 三条合计约 2 分 6 秒（`-j 8`，其中 tcp 臂 91 s，因 fixture 串行）， + CI runner 未测。 -## 11. 给集成者的发现（按重要性） +## 13. 给集成者的发现（按重要性） -1. **出口门 1 的主机半边已经满足，红名单是空的。** 计划把 wave 2 的 A/B/C 三簇建立在「首轮红名单」之上； - 在主机 × lavapipe 口径下没有这样一份名单。`@P7` 的 15 处具名拒绝**没有一处**被这 410 条新条目触发。 - 建议：把「红名单来源」改挂到 wave 1 的真机实验 + retrace 全矩阵 + P3b/P4b 的 ~20 个候选场景普查上， - 并据此重估 wave 2 三簇的规模；本车道的职责改为**回归门**（退役一条，把它从第二档搬进第一档）。 -2. **`CtWireScenario` 的 skip 守卫过宽**（`:152`/`:208`）：Magma **spawn/tcp** 的死亡路径今天实测可通 - （§5），只有 inproc 臂还等 wave 2 包 C 的 `StateObjectDeathOps`。一行窄化即可让两进程死亡路径有门。 -3. **两进程 run-ahead / cache 身份今天无覆盖**（§4 的债）：需要跨进程 hold 与跨进程 cache peek，属 - wave 2-B/C owner 的裁定。 -4. **既有 Magma 车道不带 ICD 钉**（相邻缺陷，未修）：`MGL_ITEST_MAGMA_*_ENVIRONMENT` 家族拼的是 - `${MGL_ITEST_COMMON_ENV}`，**不是** `${MGL_ITEST_VULKAN_ENV}`，所以 monolith `DirectVulkan.` 臂有 - `VK_ICD_FILENAMES` 与 lavapipe 的三个 iterationRP 修复，而 `integration-magma-split` 的 73 条**没有** - （`CMakeLists.txt` 内 Fm / Buffers / RunAhead / Caches / NamedBlit / P5fRsp 六处）。本机只装了 lavapipe - 一个 ICD，所以驱动是同一个，但**三个修复旋钮的取值不同**。本包**没有**改动它们（那会改变 73 条既有条目的 - 环境，超出「含义不变」的承诺）；新的 `MGL_ITEST_VULKAN_{SPLIT,SPAWN,TCP}_ENVIRONMENT`（信息档用）按交付 - 要求用了 `${MGL_ITEST_VULKAN_ENV}`。**因此两档之间存在一处已知的环境不对称**，请裁定是把六条车道对齐到 - `VULKAN_ENV`，还是把信息档降回 `COMMON_ENV`。 -5. **`retrace-split` 还缺另外两个 monolith / verify 都有的旋钮**（相邻缺陷，未修）： - `MOBILEGL_MAGMA_R11G11B10F_FALLBACK`（monolith `:2180`、verify `:2383` 都有）与 - `MOBILEGL_MAGMA_DISABLE_BLENDED_DEPTH_WRITE`（`:2195` / `:2387`）。交付只点名了 iterationrp 的三个， - 故只补了三个；这两个同样让 split 与 monolith 不可比。 +1. **出口门 1 的主机半边只欠一条，而且不是 `@P7`。** 全量普查 1530 条里 **0 条**触发树上 15 处 `@P7` 具名 + 拒绝；唯一的红是 §5 的 stream 曝光 texel。计划把 wave 2 的 A/B/C 三簇建立在「首轮红名单」之上——这份 + 名单在主机 × lavapipe 口径下是空的。**建议**：把红名单来源改挂到 wave 1 真机 + retrace 全矩阵 + + P3b/P4b 场景普查；本车道的职责改为**回归门**，并把 §5 作为 stream 数据面的独立小项派出去。 +2. **§5 的 stream 曝光 texel**：确定性、tcp 专属、与 A/B/C 三簇都不同族。需要一位 owner。 +3. **`CtWireScenario` 的 skip 守卫过宽**（`:152`/`:208`）：Magma **spawn/tcp** 的死亡路径今天实测可通（§6）， + 只有 inproc 臂还等 wave 2 包 C 的 `StateObjectDeathOps`。一行窄化即可让两进程死亡路径有门。 +4. **两进程 run-ahead / cache 身份今天无覆盖**（§10 的债）。 +5. **tier 3 放弃了两条自证**（记录过线证明、tcp 拓扑证明，§2.1-1）。若将来要把某条全量用例升进门控档， + 必须连同 `MGITEST_SPLIT_LANE=1` 一起升——门控档的价值有一半在这两条自证上。 6. **`DUALBLOCK_ALLOWED_SKIPS` 只收录 Split 拼写**（`split_log_paths.py:156-157`）。如果将来把 magma-spawn/-tcp 加进 dual-block 普查的选择式，需要同时补 `DirectVulkan.{Spawn,Tcp}.Fm.ClipDistance…` 两条，否则那一步会以「unexpected skip」红。 -## 12. 复现 +## 14. 复现 ```bash cd ~/w7/p7-lane @@ -301,9 +360,13 @@ cmake -S . -B build-split -DMOBILEGL_BUILD_INTEGRATION_TEST=ON \ ninja -C build-split -j 20 python3 scripts/ci/spawn_lane_parity.py build-split cd build-split +# 门控档（CI 口径） MOBILEGL_ITEST_REQUIRE_GPU=1 MOBILEGL_IPC_STRICT_ERRORS=1 MOBILEGL_IPC_ROLE_SPLIT_STATE=1 \ ctest -L '^integration-magma-spawn$' --no-tests=error -j 2 --output-on-failure -MOBILEGL_ITEST_REQUIRE_GPU=1 MOBILEGL_IPC_STRICT_ERRORS=1 MOBILEGL_IPC_ROLE_SPLIT_STATE=1 \ - ctest -L '^integration-magma-tcp$' --no-tests=error -j 2 --output-on-failure -MOBILEGL_ITEST_REQUIRE_GPU=1 ctest -L '^integration-magma-all-spawn$' --no-tests=error -j 8 --output-on-failure +# 全量普查（一条一条跑，-j 8） +MOBILEGL_ITEST_REQUIRE_GPU=1 ctest -L '^integration-magma-full-split$' --no-tests=error -j 8 --output-on-failure +MOBILEGL_ITEST_REQUIRE_GPU=1 ctest -L '^integration-magma-full-spawn$' --no-tests=error -j 8 --output-on-failure +MOBILEGL_ITEST_REQUIRE_GPU=1 ctest -L '^integration-magma-full-tcp$' --no-tests=error -j 8 --output-on-failure +# §5 的那一条 +MOBILEGL_ITEST_REQUIRE_GPU=1 ctest -V -R '^DirectVulkan\.Tcp\.Full\.IterationRPProgram203Scenario\.' ``` diff --git a/scripts/ci/spawn_lane_parity.py b/scripts/ci/spawn_lane_parity.py index 0cbe04b2..74035881 100644 --- a/scripts/ci/spawn_lane_parity.py +++ b/scripts/ci/spawn_lane_parity.py @@ -75,7 +75,7 @@ def lane_cases(build_dir, label): return {m.group(1) for m in CASE.finditer(out)} -def compare_arms(build_dir, tier, labels): +def compare_arms(build_dir, tier, labels, inproc_only=()): """The three arms of one tier must name the same set after the arm segment comes off. Returns True on failure, the way main() below counts them.""" @@ -96,10 +96,10 @@ def compare_arms(build_dir, tier, labels): failed = False reference = "split" comparable = {k for k in sets[reference] - if not any(only in k for only in MAGMA_INPROC_ONLY)} + if not any(only in k for only in inproc_only)} if len(comparable) != len(sets[reference]): print(f"{tier}: {len(sets[reference]) - len(comparable)} inproc-only entrie(s) excluded " - f"from the comparison by name ({', '.join(MAGMA_INPROC_ONLY)})") + f"from the comparison by name ({', '.join(inproc_only)})") for arm, keys in sets.items(): if arm == reference: continue @@ -157,14 +157,29 @@ def main(): failed = True # P7 package L, exit gate 1's half of the same question: the Magma arms. + # THE EXCLUSION IS PER TIER, not global. In the GATED tier the two scenarios are registered + # on the inproc arm ALONE (the CMakeLists says why), so they are absent from the other arms + # and have to come off the reference set. In the FULL-SUITE census they are registered on + # every arm - it is a whole-binary filter, and there they simply SKIP for want of their + # lane marker - so excluding them there would turn a present-on-all-arms case into a + # spurious "extra". failed |= compare_arms(args.build_dir, "magma gated tier", {"split": "integration-magma-split", "spawn": "integration-magma-spawn", - "tcp": "integration-magma-tcp"}) + "tcp": "integration-magma-tcp"}, + inproc_only=MAGMA_INPROC_ONLY) failed |= compare_arms(args.build_dir, "magma informational tier", {"split": "integration-magma-all-split", "spawn": "integration-magma-all-spawn", "tcp": "integration-magma-all-tcp"}) + # Tier 3, the whole-suite census. It is expected to be RED and is in no gating step - but + # its three arms must still name the same set, because the census's whole value is that a + # case red on spawn and green on inproc is a two-process fact, and that comparison needs + # both arms to have run the same case. + failed |= compare_arms(args.build_dir, "magma full-suite tier", + {"split": "integration-magma-full-split", + "spawn": "integration-magma-full-spawn", + "tcp": "integration-magma-full-tcp"}) return 1 if failed else 0