From b690fd27e297fe7d348f9c8c97b985b66f4ed3ef Mon Sep 17 00:00:00 2001 From: wangxu Date: Fri, 23 Oct 2026 15:03:50 +0800 Subject: [PATCH 1/4] =?UTF-8?q?docs(plan):=20all-VL=20Phase=202=20P2=20(SM?= =?UTF-8?q?E=20fmopa=5Fza=20=E6=94=B6=E5=B0=BE)=20=E5=AE=9E=E6=96=BD?= =?UTF-8?q?=E8=AE=A1=E5=88=92?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 四任务: gem5-fi 语义裁决 kernel (mova za0v 轴向双 golden 判别 + za-only SMSTART 合法性, 16 run) → 测试全 VL 重构 (堆叠 feat/arm64-vl-api, 三重 缺陷修复: rdsvl#0/步距#16字节/轴向矛盾) → writing_tests.md VL 政策节 (spec 0c6c9c89 归属) → 文档收尾。无回归锚的诚实替代声明。 Signed-off-by: wangxu --- .../plans/2026-10-23-sve-sme-all-vl2-p2.md | 490 ++++++++++++++++++ 1 file changed, 490 insertions(+) create mode 100644 docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md diff --git a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md new file mode 100644 index 00000000..753f9ffb --- /dev/null +++ b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md @@ -0,0 +1,490 @@ +# SVE/SME 全 VL 二期 P2（SME fmopa_za 收尾）实施计划 + +> **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. + +**Goal:** 把 `sme_fmopa_za_arm` 从"从未可用"修成全 VL（128/256/512/1024-bit）动态适配的 SME 测试——arm64_vl.h API 接入、几何 cols 化、轴向语义实证裁决、gem5-fi 语义裁决 kernel 四档验证、writing_tests.md VL 政策节交付。 + +**Architecture:** 双仓流水（PR #242 先例）：gem5-fi 语义裁决 kernel 先行（轴向判别 + za-only SMSTART 合法性 + 四档 16 run 全绿）→ 同源落地 sdcshield 测试重构（堆叠在 feat/arm64-vl-api 之上，消费 arm64_require_sme_svl）→ writing_tests.md 政策节 + 文档收尾。 + +**Tech Stack:** C++（SME inline asm, GCC 12.3 无 arm_sme.h intrinsics）、gem5-fi（CHAOS/SE, `--sme_vl {1,2,4,8}`）、arm64_vl.h（PR #277）。 + +**Spec:** `docs/superpowers/specs/2026-10-23-sve-sme-all-vl2-design.md` §5/§7/§8/§9（已在 main，PR #271 已合并）。 + +## Global Constraints + +- 依赖排序：**测试分支 `feat/sme-fmopa-za-allvl` 从 `feat/arm64-vl-api`（PR #277，未合并）切出**（堆叠 PR）；若 #277 先合并，rebase 到 main（无冲突预期：两 PR 文件集不相交）。 +- 本机 0xd01 无 SVE/SME：测试只能验证构建零告警 + SKIP 路径；**全部功能结论以 gem5 四档真实 run 为准**（规则 2b）。gem5-fi 真实路径 `/home/sdc/wangxu/code-review/gem5-fi`。 +- 构建入口 `./scripts/build.sh`；回归 `./builddir/sdcshield -e zstd19 -t 2000 -n 1` → `exit: pass`；meson 改动须 `meson setup --reconfigure builddir`。 +- DCO：`git commit -s` 末行 `Signed-off-by: wangxu `，无 Co-Authored-By；永不提交 main；一单元一 patch。 +- x86-64 零改动；SME 测试全部在 `#if defined(__aarch64__)` 内。 +- **无回归锚（诚实声明）**：原测试从未在任何硬件产生过有效输出（见下"原状三重缺陷"），spec §7 的回归锚机制不适用——验证锚 = kernel 通道 A 在四档对精确整数 golden 的逐字节一致。 +- 验证按用户指令由隔离 subagent 并行执行，主 agent 不阻塞；报告回来前不得引用其结论。 + +## 原状三重缺陷（P2 的真实起点，2026-10-23 全文核验） + +`tests/cpu/arm64/sme_fmopa_za_arm.cpp`（262 行）从未在任何硬件运行过（host 无 SME、无 dual kernel、PR #242 未纳入），全文核验发现三重独立缺陷： + +1. **`rdsvl %0, 0`（:153）imm=0**：RDSVL 语义 = SVL_bytes × imm（`sme_fmopa_dual.c:75` 的 `#1` 返回字节数为实证旁证）→ imm=0 恒返 0 → `tile_cols=0` → golden_row0 为空向量、run 侧 `st1w` 向 0 长缓冲写 SVL/32 个 float——真实 SME 硬件上**堆溢出**。 +2. **asm 步距 `add %[a], %[a], #16`（:95-96）单位错**：#16 = 16 **字节** = 4 float，而 golden 按 16 **float**/步（`b_stream[s*16+c]` :121、流长 `MOPA_STEPS*16` :158）寻址——asm 与 golden 几何在**任何** SVL 下都不一致。 +3. **`mova z2.s, p0/m, za0v.s[w12, 0]`（:100）轴向与自家 docblock 矛盾**：docblock :41-42 称"row slice 0 … ZA[0][c]"（行），golden 按行建模；但 tileview 探针（PR #242 四档实证）确立 **za0v = 列视图**（"za0v.d[r,0]=列 r 转置"）。轴向由 kernel 实证裁决（Task 1），测试 golden 随裁决结果落地。 + +另：`smstart za`（:88，无 `smstart sm`）能否执行 FMOPA 未经任何验证（stress 孪生用 sm+za 双切）——kernel 一并裁决。 + +## Review Focus + +1. **mova za0v.s 轴向裁决错误 → golden 比错轴**。测试：Task 1 kernel 双 golden 判别（readout 同时对比行/列两个 golden，运行证据裁决并记录）。 +2. **za-only SMSTART 下 FMOPA 非法 → SIGILL**。测试：Task 1 四档 run（崩溃即证据；应急方案 = 改 sm+za 双切，stress 先例）。 +3. **步距单位错（#16 字节 vs float）**。测试：Task 1 通道 A 四档逐字节一致 + Task 2 一步自检。 +4. **SVL 读取/API 误用（cols=0 缺陷类）**。测试：Task 2 require 助手 + 范围检查 + run 侧 fail-closed 断言。 +5. **gem5 F4 双舍入假阳性**。测试：精确整数操作数（积与和均精确可表示，两种舍入重合）——Task 1 设计不变式 + 四档 FAILS=0。 +6. **cols=32（1024-bit 档）缓冲**：流按 steps×cols 动态分配，无 16 硬编码。测试：Task 2 尺寸代码 + 四档跑。 + +--- + +### Task 1: gem5-fi 语义裁决 kernel `sme_fmopa_za_dual.c` + 四档 16 run + +**Files:** +- Create（gem5-fi 仓）: `workloads/sdcshield/sme_fmopa_za_dual.c` +- Modify（gem5-fi 仓）: `workloads/sdcshield/Makefile`（追加 gcc 目标）、`findings.md`（实录） + +**Interfaces:** +- Produces: ①轴向结论（ROW/COL，四档一致）；②za-only SMSTART 合法性结论；③四档 × {fixed, random×3} 全绿实录（`SDCSHIELD_FAILS=0` + checksum 表）；④与 Task 2 同源的 asm 形态。Task 2 的 golden 公式、smstart 形态、步距寄存器化全部以本任务裁决为准。 + +- [ ] **Step 1: gem5-fi 仓分支与身份** + +```bash +cd /home/sdc/wangxu/code-review/gem5-fi +git config user.name "wangxu" && git config user.email "wangxumarshall@qq.com" # 若已配置则跳过 +git checkout -b feat/fmopa-za-dual # 基于 main @ 9dbbbbba +``` +注意：工作树有他人未提交的 CHAOS/ 与 Makefile PR244 目标——**选择性暂存**（P1 Task 8 先例），不碰他人改动。 + +- [ ] **Step 2: 写 kernel** + +`workloads/sdcshield/sme_fmopa_za_dual.c`（完整内容）： + +```c +/* sme_fmopa_za_dual.c — semantics-settling dual-channel kernel for the + * all-VL Phase 2 P2 rework of sdcshield test sme_fmopa_za_arm. + * Mirrors the REWORKED test asm (same-source): smstart za; zero {za}; + * 256-step FMOPA za0.s chain over per-step operand windows; mova + * za0v.s[w12,0] readout; st1w. Settles the original test's two + * never-validated choices empirically: + * (a) mova za0v.s[0,0] axis — tileview .d probe says COLUMN 0, the + * test docblock claimed ROW 0; both goldens computed, the run + * decides (byte-exact, per lane); + * (b) smstart za-only (no sm) sufficing for FMOPA — stress twin uses + * sm+za; a gem5 crash here is the evidence to switch. + * Operands: exact small integers, window layout [s*cols + i]; every + * product and accumulate is exactly representable in f32, so gem5's + * fplib double-rounding (F4) coincides with real-hardware single + * rounding — no F4 adaptation needed. + * Channels: A = axis discrimination + byte-exact vs the winning golden; + * B = FNV-1a over the readout bits. + * argv: [fixed|random] [seed]; exit 0 / 1(g_fails) / 3(unsupported SVL). + * Build: gcc -static -O2 -march=armv9-a+sve -Wall -Wextra (no SME + * mnemonics beyond .inst-free plain asm — wait, FMOPA/SMSTART ARE SME + * mnemonics: build with clang if available, else gcc -march=armv9-a+sve+sme + * — mirror the Makefile's existing dual-kernel flags). + */ +#include +#include +#include +#include + +#define COLS_MAX 32 /* SVL=1024-bit -> 32 f32 lanes */ +#define STEPS 256 /* the test's MOPA_STEPS (SVL-independent) */ + +static uint32_t xs_state; +static uint32_t xs32(void) +{ + xs_state ^= xs_state << 13; + xs_state ^= xs_state >> 17; + xs_state ^= xs_state << 5; + return xs_state; +} + +static unsigned g_fails = 0; +static uint64_t fnv = 1469598103934665603ULL; +static void fnv_u32(uint32_t v) +{ + fnv ^= v & 0xFF; fnv *= 1099511628211ULL; + fnv ^= (v >> 8) & 0xFF; fnv *= 1099511628211ULL; + fnv ^= (v >> 16) & 0xFF; fnv *= 1099511628211ULL; + fnv ^= (v >> 24) & 0xFF; fnv *= 1099511628211ULL; +} + +int main(int argc, char **argv) +{ + const char *mode = (argc > 1) ? argv[1] : "fixed"; + const uint32_t seed = (argc > 2) ? (uint32_t)strtoul(argv[2], 0, 0) : 1; + const int randomize = (strcmp(mode, "random") == 0); + xs_state = seed ? seed : 1; + + int64_t svl_bytes = 0; + asm volatile("rdsvl %0, #1" : "=r"(svl_bytes)); + const int cols = (int)(svl_bytes / 4); + if (cols < 4 || cols > COLS_MAX) { + fprintf(stderr, "unsupported SVL %ld bytes\n", (long)svl_bytes); + return 3; + } + + /* Exact-integer operand windows, layout [s*cols + i]. Row 0 and + column 0 readouts differ by construction (a/b patterns differ). */ + static float a[STEPS * COLS_MAX], b[STEPS * COLS_MAX]; + for (int s = 0; s < STEPS; ++s) + for (int i = 0; i < cols; ++i) { + const size_t si = (size_t)s * cols + i; + if (randomize) { + a[si] = (float)((xs32() % 7) + 1); + b[si] = (float)((xs32() % 5) + 1); + } else { + a[si] = (float)((si % 7) + 1); + b[si] = (float)((si % 5) + 1); + } + } + + /* Both candidate goldens, exact integer accumulation. */ + static float g_row[COLS_MAX], g_col[COLS_MAX]; + for (int c = 0; c < cols; ++c) g_row[c] = g_col[c] = 0.0f; + for (int s = 0; s < STEPS; ++s) + for (int x = 0; x < cols; ++x) { + const size_t s0 = (size_t)s * cols; + /* row 0: ZA[0][c] = sum z0[0]*z1[c] */ + g_row[x] += a[s0] * b[s0 + x]; + /* column 0: ZA[r][0] = sum z0[r]*z1[0] */ + g_col[x] += a[s0 + x] * b[s0]; + } + + /* Same-source mirror of the reworked test asm. stride is a register + operand (bytes = cols * 4); the f32 element size stays implicit. */ + static float out[COLS_MAX]; + { + const float *pa = a, *pb = b; + float *po = out; + long steps = STEPS; + const size_t stride = (size_t)cols * sizeof(float); + asm volatile( + "smstart za\n\t" + "ptrue p0.s\n\t" + "zero {za}\n\t" + "mov w12, wzr\n\t" + "1:\n\t" + "ld1w {z0.s}, p0/z, [%[a]]\n\t" + "ld1w {z1.s}, p0/z, [%[b]]\n\t" + "add %[a], %[a], %[s]\n\t" + "add %[b], %[b], %[s]\n\t" + "fmopa za0.s, p0/m, p0/m, z0.s, z1.s\n\t" + "subs %[n], %[n], #1\n\t" + "b.ne 1b\n\t" + "mova z2.s, p0/m, za0v.s[w12, 0]\n\t" + "st1w {z2.s}, p0, [%[o]]\n\t" + "smstop za\n\t" + : [a] "+r"(pa), [b] "+r"(pb), [n] "+r"(steps) + : [o] "r"(po), [s] "r"(stride) + : "z0", "z1", "z2", "p0", "w12", "memory", "cc"); + } + + for (int i = 0; i < cols; ++i) + fnv_u32(*(uint32_t *)&out[i]); + + int row_ok = 1, col_ok = 1; + for (int i = 0; i < cols; ++i) { + if (out[i] != g_row[i]) row_ok = 0; + if (out[i] != g_col[i]) col_ok = 0; + } + if (row_ok && col_ok) { + /* row0 == col0 at this seed: patterns degenerated — rerun with a + different seed (the operator notes it); treat as failure here. */ + fprintf(stderr, "row/col goldens identical — seed %u degenerate, " + "rerun with another seed\n", seed); + return 1; + } + if (!row_ok && !col_ok) { + for (int i = 0; i < cols && i < 4; ++i) + fprintf(stderr, "mismatch @%d hw=%.1f row=%.1f col=%.1f\n", + i, (double)out[i], (double)g_row[i], (double)g_col[i]); + ++g_fails; + } + + printf("sme_fmopa_za_dual: svl=%ld cols=%d axis=%s\n", + (long)svl_bytes, cols, row_ok ? "ROW" : "COLUMN"); + printf("SDCSHIELD_FAILS=%u\n%016llx\n", + g_fails, (unsigned long long)fnv); + return g_fails ? 1 : 0; +} +``` +注：头部 build 注释里对编译器的不确定段落删掉，按 Makefile 实际 flags 写（见 Step 3）。`fmopa`/`smstart`/`mova {za…}` 是 SME 助记符 → 需 `+sme` march；本机无 clang，gcc `-march=armv9-a+sve+sme` 可汇编（`tests_arm64_sme` 库同款）。 + +- [ ] **Step 3: Makefile 目标** + +按 P1 Task 8 的选择性暂存纪律，索引版 Makefile = HEAD + 本单元： +```make +# all-VL Phase 2 P2: semantics-settling kernel for the sme_fmopa_za_arm +# rework (needs +sme mnemonics -> gcc, same shape as the clang SME kernels): +sme_fmopa_za_dual: sme_fmopa_za_dual.c + $(GCC) -static -O2 -march=armv9-a+sve+sme -Wall -Wextra -o $@ $< -lm +``` +并把 `sme_fmopa_za_dual` 加入 `all:` 与 `clean:`。`make sme_fmopa_za_dual` 必须 -Wall -Wextra 零告警。 + +- [ ] **Step 4: 四档 × {fixed, random×3} = 16 run** + +```bash +G5=/home/sdc/wangxu/code-review/gem5-fi/build/ARM/gem5.opt +for T in 1 2 4 8; do + for ARGS in "fixed 1" "random 1" "random 2" "random 3"; do + timeout 600 $G5 configs/se/arm_chaos.py --cpu O3 \ + --cmd workloads/sdcshield/sme_fmopa_za_dual --sme_vl $T --sve_vl $T \ + --workload_args "$ARGS" 2>&1 | tee /tmp/fza_sve${T}_$(echo $ARGS | tr ' ' '_').log \ + | grep -E 'sme_fmopa_za_dual|SDCSHIELD_FAILS|checksum|mismatch' + echo "tier=$T args='$ARGS' exit=$?" + done +done +``` +Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`；random 各 seed checksum 互异、fixed/random 可比即记录。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 + +- [ ] **Step 5: findings.md + 提交推送** + +findings.md 尾部：日期、16 run 表（tier/mode/cols/axis/checksum/FAILS/exit）、za-only 裁决、F4 豁免依据（精确整数）、PR 交叉引用。然后选择性暂存三文件、`git commit -s`（正文含 16 run 实证与轴向结论）、`git push -u origin feat/fmopa-za-dual`。 + +### Task 2: `sme_fmopa_za_arm.cpp` 全 VL 重构（堆叠分支） + +**Files:** +- Modify: `tests/cpu/arm64/sme_fmopa_za_arm.cpp`（全文重构 init/asm/golden/run/docblock） + +**Interfaces:** +- Consumes: `arm64_require_sme_svl(struct test *, long min_bits, long max_bits) -> long`（>0 = SVL 字节；-1 = 已 log_skip，PR #277，`#include `）；Task 1 的 axis 裁决与 smstart 形态结论。 +- Produces: SME 侧全部达标（spec §6 P2 出口）。 + +- [ ] **Step 1: 堆叠分支** + +```bash +git checkout feat/arm64-vl-api && git checkout -b feat/sme-fmopa-za-allvl +``` + +- [ ] **Step 2: 重构（以下为完整新实现，替换对应函数/段落）** + +`fmopa_chain_asm` ——步距寄存器化（原 `#16` 缺陷修正）： +```cpp +static void fmopa_chain_asm(const float *a_stream, const float *b_stream, + size_t steps, float *out_vec, size_t cols) +{ + const size_t stride = cols * sizeof(float); /* window bytes, runtime */ + __asm__ volatile( + "smstart za\n\t" /* [Task 1 裁决: za-only 或 sm+za] */ + "ptrue p0.s\n\t" + "zero {za}\n\t" + "mov w12, wzr\n\t" + "1:\n\t" + "ld1w {z0.s}, p0/z, [%[a]]\n\t" + "ld1w {z1.s}, p0/z, [%[b]]\n\t" + "add %[a], %[a], %[s]\n\t" + "add %[b], %[b], %[s]\n\t" + "fmopa za0.s, p0/m, p0/m, z0.s, z1.s\n\t" + "subs %[n], %[n], #1\n\t" + "b.ne 1b\n\t" + "mova z2.s, p0/m, za0v.s[w12, 0]\n\t" + "st1w {z2.s}, p0, [%[o]]\n\t" + "smstop za\n\t" + : [a] "+r"(a_stream), [b] "+r"(b_stream), [n] "+r"(steps) + : [o] "r"(out_vec), [s] "r"(stride) + : "z0", "z1", "z2", "p0", "w12", "memory", "cc"); +} +``` + +`fmopa_golden` ——窗口几何 + 裁决轴向（以 COLUMN 为例；ROW 则对调两处下标，Task 1 结论为准）： +```cpp +static std::vector fmopa_golden(const std::vector &a_stream, + const std::vector &b_stream, + size_t steps, size_t cols) +{ + /* Per Task 1's axis verdict: mova za0v.s[w12,0] w12=0 reads COLUMN 0 — + out[r] = ZA[r][0] = sum_s z0[r]*z1[0] = sum_s a[s*cols+r]*b[s*cols]. */ + std::vector out(cols, 0.0f); + for (size_t s = 0; s < steps; ++s) { + const size_t s0 = s * cols; + for (size_t r = 0; r < cols; ++r) + out[r] += a_stream[s0 + r] * b_stream[s0]; /* exact integers */ + } + return out; +} +``` + +`init` ——require API + 范围检查 + 窗口流（替换 :128-174 整个函数体）： +```cpp +static int sme_fmopa_za_arm_init(struct test *test) +{ +#ifndef __aarch64__ + (void)test; + return EXIT_SUCCESS; +#else + const long svl = arm64_require_sme_svl(test, 128, 1024); + if (svl < 0) + return EXIT_SKIP; /* log_skip already emitted (capability or range) */ + + try { + auto data = std::make_unique(); + data->tile_cols = (size_t)svl / 32; + + /* Exact-integer operand windows [s*cols + i] (Task 1 geometry). */ + std::vector a_stream(MOPA_STEPS * data->tile_cols); + std::vector b_stream(MOPA_STEPS * data->tile_cols); + for (size_t si = 0; si < a_stream.size(); ++si) { + a_stream[si] = (float)((si % 7) + 1); + b_stream[si] = (float)((si % 5) + 1); + } + data->golden_row0 = fmopa_golden(a_stream, b_stream, MOPA_STEPS, + data->tile_cols); + data->a_stream = a_stream; /* struct 增两字段, 免 run 重建 */ + data->b_stream = b_stream; + test->data = data.release(); + return EXIT_SUCCESS; + } catch (const std::exception &e) { + log_skip(TestResourceIssueSkipCategory, + "sme_fmopa_za_arm init: %s", e.what()); + return EXIT_SKIP; + } +#endif +} +``` +`SmeFmopaData` 增字段 `std::vector a_stream, b_stream;`（golden_row0 改名 golden_out 亦可，保持最小改动则留名并在注释说明实际轴向）。 + +`run` ——fail-closed 断言 + 一步自检 cols 化（替换 :176-233 函数体；流直接用 init 存的，不再重建）： +```cpp +static int sme_fmopa_za_arm_run(struct test *test, int cpu) +{ + (void)cpu; +#ifndef __aarch64__ + (void)test; + log_skip(CpuNotSupportedSkipCategory, + "to be implemented (placeholder): aarch64 SME required for " + "sme_fmopa_za_arm"); + return EXIT_SKIP; +#else + auto *d = static_cast(test->data); + const size_t cols = d->tile_cols; + + if ((size_t)arm64_sme_svl_bytes() / 32 != cols) { + log_error("sme_fmopa_za_arm: SVL drifted between init (%zu cols) " + "and run (%ld cols)", cols, arm64_sme_svl_bytes() / 32); + report_fail_msg("sme_fmopa_za_arm: SVL drifted between init and run"); + } + + /* One-step self-check (golden-vs-hardware on a single FMOPA — a golden + bug reports as a test bug, never as SDC). */ + { + std::vector one_a(cols, 2.0f), one_b(cols); + for (size_t j = 0; j < cols; ++j) + one_b[j] = (j & 1) ? 1.0f : 3.0f; + std::vector expect = fmopa_golden(one_a, one_b, 1, cols); + std::vector got(cols, -1.0f); + fmopa_chain_asm(one_a.data(), one_b.data(), 1, got.data(), cols); + if (memcmp(expect.data(), got.data(), cols * sizeof(float)) != 0) { + report_fail_msg("sme_fmopa_za_arm: golden tile-mapping " + "self-check failed — test bug, not SDC"); + return EXIT_FAILURE; + } + } + + do { + std::vector out(cols, -1.0f); + fmopa_chain_asm(d->a_stream.data(), d->b_stream.data(), MOPA_STEPS, + out.data(), cols); + if (memcmp(out.data(), d->golden_row0.data(), + cols * sizeof(float)) != 0) { + for (size_t c = 0; c < cols; ++c) + if (out[c] != d->golden_row0[c]) { + uint32_t g, a; + memcpy(&g, &d->golden_row0[c], 4); + memcpy(&a, &out[c], 4); + log_warning("sme_fmopa_za: col %zu golden=0x%08" PRIx32 + " actual=0x%08" PRIx32, c, g, a); + break; + } + report_fail_msg("sme_fmopa_za_arm: SME FMOPA/ZA outer-" + "product SDC detected"); + return EXIT_FAILURE; + } + } while (test_time_condition(test)); + + return EXIT_SUCCESS; +#endif +} +``` +（比较改 memcmp 字节级整块比较 + 首失配定位日志——spec §8 军规口径。） + +头部 includes：`#ifdef __aarch64__` 块内 `/` 换成 `#include `（getauxval 手探不再需要）；docblock 重写：三重缺陷修复记载、Task 1 轴向/SMSTART 裁决引用（gem5 run 命令形态 + 16 run 表）、"first functional form"诚实声明。 + +- [ ] **Step 3: 构建 + SKIP 路径 + 回归** + +```bash +./scripts/build.sh +./builddir/sdcshield -e sme_fmopa_za_arm -t 2000 -n 1 -v # 预期 result: skip (require 助手文案) +./builddir/sdcshield -e zstd19 -t 2000 -n 1 +``` +Expected：构建零告警；skip-reason 含 'ARM64 SME not available; sme_fmopa_za_arm exercises the SME datapath'（require 助手能力分支文案）；zstd19 pass。 + +- [ ] **Step 4: 提交推送** + +单 commit（一个单元 = 一个测试的完整重构），正文引用 Task 1 的 16 run 轴向/SMSTART 裁决与本机 SKIP/构建实录。 + +### Task 3: writing_tests.md VL 政策节（spec 0c6c9c89 归属交付） + +**Files:** +- Modify: `docs/coding/writing_tests.md`（`## Additional information` :641 之前插入） + +- [ ] **Step 1: 插入政策节** + +```markdown +## SVE/SME vector-length policy (all-VL Phase 2) + +Tests that exercise SVE/SME must adapt to the runtime vector length +instead of assuming one tier: + +- **Probe via the framework layer**: `#include + ` and call + `arm64_require_sve_vl(test, min_bits, max_bits)` / + `arm64_require_sme_svl(...)` from `test_init`; a -1 return means the + helper already logged the skip — `return EXIT_SKIP` immediately. Do + not hand-write getauxval probes: `device_has_feature()` is + short-circuited by compile-time `__ARM_FEATURE_*` macros in +sve/+sme + TUs (docs/architecture.md). +- **Range check, never single-value match**: gate on + `min_bits <= VL <= max_bits` (128..1024-bit covers all four tiers); an + out-of-range VL skips with the measured value in the message. A test + that only runs at exactly one VL must say why in its docblock. +- **Fail-closed on the run side**: re-check the VL in `test_run` and + `report_fail` on drift from the value recorded at init — never + continue with stale geometry. +- **Geometry scales, element sizes stay immediate** (the PR #242 + invariant): size buffers by the helper's return (or svcnt/SVL) at + init, registerize strides and loop bounds in inline asm, keep only + element-size immediates (e.g. `sizeof(float)` multiplies, `lsl #2`). +- **Golden comparison is byte-exact per lane/element**: memcmp / + memcmp_or_fail against a golden recomputed for the actual VL; + sum/xor/reduce cross-lane aggregation is forbidden (it can cancel a + flipped bit). +``` + +- [ ] **Step 2: 构建（纯文档 no-op）+ 提交** + +与 Task 2 同分支、独立 commit（不同单元）。 + +### Task 4: 文档收尾 + PR + +**Files:** +- Modify: `docs/research/progress-log.md`（尾部 P2 条目） +- PR：`feat/sme-fmopa-za-allvl` → main（正文含 Task 1 四档实录表 + Task 2/3 说明） + +- [ ] **Step 1: progress-log P2 条目**（真实数据：轴向裁决、SMSTART 裁决、16 run 表、本机 SKIP/构建实录、三重缺陷修复记载、无回归锚声明） +- [ ] **Step 2: 全量验证矩阵**（构建零告警 / `-e sme_fmopa_za_arm -v` skip 文案 / zstd19 / `--dump-cpu-info` 不变） +- [ ] **Step 3: 提交推送 + PR**（若 #277 已合并先 rebase main）；PR 正文交叉引用 gem5-fi `feat/fmopa-za-dual` 与 PR #277。 + +--- + +## Self-Review 记录 + +- **Spec 覆盖**：§6 P2 四要素（新 API ✓Task2/范围检查 ✓/`#16` 寄存器化 ✓/dual kernel ✓Task1）；§7 协议落在 Task 1（16 run + 无回归锚的诚实替代：通道 A 四档 golden 逐字节一致）；§8 SME fmopa_za 行（标量累加 ✓——精确整数）；§9 SKIP 语义（require 助手内置）；§10 writing_tests.md（0c6c9c89 归属 ✓Task3）。✓ +- **占位符**：Task 2 中两处"[Task 1 裁决]"是**跨任务数据依赖**（轴向/SMSTART 由实证决定，非 TBD——Task 1 产出明确定义）；其余无占位。✓ +- **类型一致性**：`fmopa_chain_asm(const float*, const float*, size_t, float*, size_t)` 与 golden/init/run 调用一致；`arm64_require_sme_svl/ arm64_sme_svl_bytes` 签名与 PR #277 一致。✓ +- **Review Focus 归属**：1/2→Task 1 Step 4；3→Task 1 通道 A + Task 2 自检；4→Task 2 Step 2/3；5→Task 1 设计不变式 + 16 run；6→Task 2 尺寸 + 四档 cols=32。✓ From d5fb43c1a8a91ea04bd9bd3f246a19479994aded Mon Sep 17 00:00:00 2001 From: wangxu Date: Sat, 24 Oct 2026 20:45:00 +0800 Subject: [PATCH 2/4] =?UTF-8?q?docs(plan):=20P2=20=E8=AE=A1=E5=88=92?= =?UTF-8?q?=E4=BA=94=20bot=20=E6=A3=80=E8=A7=86=E9=97=AD=E7=8E=AF=E2=80=94?= =?UTF-8?q?=E2=80=94/32=20=E5=8D=95=E4=BD=8D=E9=94=99=E8=AF=AF=E5=90=8C?= =?UTF-8?q?=E6=AD=A5=E4=BF=AE=E6=AD=A3=20+=20Task=201=20=E8=A3=81=E5=86=B3?= =?UTF-8?q?=E8=90=BD=E5=AE=9A=20+=20Erratum=20=E5=85=A5=E5=BA=93?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR #279 五 bot 检视(coderabbit 6 / local-claude 6 / 其余限额类)处置, 采纳 12 + 变通 2,单 commit 修复计划模板: - Critical: init/run 的 svl/32 → svl/4(arm64_require_sme_svl 返回 SVL 字节,差 8×;128-bit 档曾为空 golden 假 PASS + 堆溢出),加显式 cols∈[4,32] 检查——与实现分支 38faa1b3 逐字同步 - Task 1 裁决落定: axis=COLUMN、sm+za 双切强制(za-only 首条 FMOPA 即陷阱),kernel/test asm 块按裁决更新,占位注释消除 - 取证脚本: exit=$? → PIPESTATUS[0] + overall 汇总(原为 grep 退出码, gem5 崩溃可被记为 exit=0);kernel 输出补 checksum= 标签、axis 双失配 输出 UNKNOWN;fnv/比对 memcpy 化(消严格别名 UB,字节级 per-lane) - 契约勘误: '-1 = 已 log_skip' → EXIT_SKIP(-255)(arm64_vl.h 实际 契约;Task 3 文本将入 writing_tests.md,杠杆最高) - golden_row0 → golden_readout 改名同步(原名暗示行 0,与 COLUMN 裁决 矛盾);自检失配分类措辞中性化(无独立 oracle 依据) - 新增 Erratum 节(勘误入库而非只留 PR 描述)+ 验证边界诚实声明 (gem5 只跑 kernel,粘合层零执行覆盖,三重缓解防线如实列出) 纯文档 PR:不触发构建/回归;自验 = 修正后代码块与 38faa1b3 实现逐字 一致处一致、分歧处有注、无旧形态残留(grep 实查 5 处残留均为历史 描述/改名说明/双切序列 za 行,合法)。 Signed-off-by: wangxu --- .../plans/2026-10-23-sve-sme-all-vl2-p2.md | 113 +++++++++++++----- 1 file changed, 85 insertions(+), 28 deletions(-) diff --git a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md index 753f9ffb..a66157d9 100644 --- a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md +++ b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md @@ -165,6 +165,7 @@ int main(int argc, char **argv) long steps = STEPS; const size_t stride = (size_t)cols * sizeof(float); asm volatile( + "smstart sm\n\t" "smstart za\n\t" "ptrue p0.s\n\t" "zero {za}\n\t" @@ -180,18 +181,25 @@ int main(int argc, char **argv) "mova z2.s, p0/m, za0v.s[w12, 0]\n\t" "st1w {z2.s}, p0, [%[o]]\n\t" "smstop za\n\t" + "smstop sm\n\t" : [a] "+r"(pa), [b] "+r"(pb), [n] "+r"(steps) : [o] "r"(po), [s] "r"(stride) : "z0", "z1", "z2", "p0", "w12", "memory", "cc"); + /* 注: 输出 %[a]/%[b]/%[n] 在输入 [s]/[o] 读尽前已写,GCC 语义上理论 + 正确形为 "+&r";保持 "+r" 系与 ebe08632 已验证 kernel 及仓库惯例 + (sme_fmopa_stress_arm / za_tileview)逐字同源,统一硬化留待后续 PR + (三处 SME asm 一并改 "+&r" 并重跑 16-run)。 */ } - for (int i = 0; i < cols; ++i) - fnv_u32(*(uint32_t *)&out[i]); - int row_ok = 1, col_ok = 1; for (int i = 0; i < cols; ++i) { - if (out[i] != g_row[i]) row_ok = 0; - if (out[i] != g_col[i]) col_ok = 0; + uint32_t ob, rb, cb; + memcpy(&ob, &out[i], 4); /* no aliasing UB; byte-exact per lane */ + memcpy(&rb, &g_row[i], 4); + memcpy(&cb, &g_col[i], 4); + fnv_u32(ob); + if (ob != rb) row_ok = 0; + if (ob != cb) col_ok = 0; } if (row_ok && col_ok) { /* row0 == col0 at this seed: patterns degenerated — rerun with a @@ -207,9 +215,10 @@ int main(int argc, char **argv) ++g_fails; } + const char *axis = row_ok ? "ROW" : (col_ok ? "COLUMN" : "UNKNOWN"); printf("sme_fmopa_za_dual: svl=%ld cols=%d axis=%s\n", - (long)svl_bytes, cols, row_ok ? "ROW" : "COLUMN"); - printf("SDCSHIELD_FAILS=%u\n%016llx\n", + (long)svl_bytes, cols, axis); + printf("SDCSHIELD_FAILS=%u\nchecksum=%016llx\n", g_fails, (unsigned long long)fnv); return g_fails ? 1 : 0; } @@ -231,17 +240,21 @@ sme_fmopa_za_dual: sme_fmopa_za_dual.c ```bash G5=/home/sdc/wangxu/code-review/gem5-fi/build/ARM/gem5.opt +overall=0 for T in 1 2 4 8; do for ARGS in "fixed 1" "random 1" "random 2" "random 3"; do timeout 600 $G5 configs/se/arm_chaos.py --cpu O3 \ --cmd workloads/sdcshield/sme_fmopa_za_dual --sme_vl $T --sve_vl $T \ --workload_args "$ARGS" 2>&1 | tee /tmp/fza_sve${T}_$(echo $ARGS | tr ' ' '_').log \ | grep -E 'sme_fmopa_za_dual|SDCSHIELD_FAILS|checksum|mismatch' - echo "tier=$T args='$ARGS' exit=$?" + rc=${PIPESTATUS[0]} # timeout/gem5 的真实退出码,不是 grep 的 + echo "tier=$T args='$ARGS' exit=$rc" + [ "$rc" -ne 0 ] && overall=1 done done +exit $overall ``` -Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`；random 各 seed checksum 互异、fixed/random 可比即记录。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 +Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`；random 各 seed checksum 互异、fixed/random 可比即记录；**exit≠0 或 axis=UNKNOWN 的档位不得计入全绿、不得作为 Task 2 golden 依据**。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 - [ ] **Step 5: findings.md + 提交推送** @@ -253,7 +266,7 @@ findings.md 尾部：日期、16 run 表（tier/mode/cols/axis/checksum/FAILS/ex - Modify: `tests/cpu/arm64/sme_fmopa_za_arm.cpp`（全文重构 init/asm/golden/run/docblock） **Interfaces:** -- Consumes: `arm64_require_sme_svl(struct test *, long min_bits, long max_bits) -> long`（>0 = SVL 字节；-1 = 已 log_skip，PR #277，`#include `）；Task 1 的 axis 裁决与 smstart 形态结论。 +- Consumes: `arm64_require_sme_svl(struct test *, long min_bits, long max_bits) -> long`（>0 = SVL 字节；<0 = EXIT_SKIP(-255) 且已 log_skip——非裸 -1，见 arm64_vl.h 头注，直接 return；PR #277，`#include `）；Task 1 的 axis 裁决（**COLUMN**，ebe08632 四档实证）与 smstart 形态结论（**sm+za 双切强制**，za-only 首条 FMOPA 即陷阱）。 - Produces: SME 侧全部达标（spec §6 P2 出口）。 - [ ] **Step 1: 堆叠分支** @@ -271,7 +284,9 @@ static void fmopa_chain_asm(const float *a_stream, const float *b_stream, { const size_t stride = cols * sizeof(float); /* window bytes, runtime */ __asm__ volatile( - "smstart za\n\t" /* [Task 1 裁决: za-only 或 sm+za] */ + "smstart sm\n\t" /* Task 1 裁决: sm+za 双切强制——za-only 下首条 FMOPA + 即陷阱(FMOPA 需 SVCR.SM=1),四档实证 ebe08632 */ + "smstart za\n\t" "ptrue p0.s\n\t" "zero {za}\n\t" "mov w12, wzr\n\t" @@ -286,9 +301,12 @@ static void fmopa_chain_asm(const float *a_stream, const float *b_stream, "mova z2.s, p0/m, za0v.s[w12, 0]\n\t" "st1w {z2.s}, p0, [%[o]]\n\t" "smstop za\n\t" + "smstop sm\n\t" : [a] "+r"(a_stream), [b] "+r"(b_stream), [n] "+r"(steps) : [o] "r"(out_vec), [s] "r"(stride) : "z0", "z1", "z2", "p0", "w12", "memory", "cc"); + /* 注: 输出 %[a]/%[b]/%[n] 在输入 [s]/[o] 读尽前已写,理论正确形 "+&r"; + 保持 "+r" 与 ebe08632 已验证形态及仓库惯例逐字同源,统一硬化留待后续 PR。 */ } ``` @@ -320,11 +338,19 @@ static int sme_fmopa_za_arm_init(struct test *test) #else const long svl = arm64_require_sme_svl(test, 128, 1024); if (svl < 0) - return EXIT_SKIP; /* log_skip already emitted (capability or range) */ + return EXIT_SKIP; /* helper returns EXIT_SKIP(-255), not a bare -1; + log_skip already emitted (capability or range) */ try { auto data = std::make_unique(); - data->tile_cols = (size_t)svl / 32; + /* arm64_require_sme_svl returns SVL BYTES (arm64_vl.h: bits/8); + cols = f32 lanes = SVL_bits/32 = svl_bytes/4 — same as the kernel. */ + data->tile_cols = (size_t)svl / 4; + if (data->tile_cols < 4 || data->tile_cols > 32) { + log_error("sme_fmopa_za_arm: cols %zu outside [4,32] — unit " + "drift (svl %ld bytes)", data->tile_cols, svl); + return EXIT_FAILURE; /* assert() is compiled out under NDEBUG */ + } /* Exact-integer operand windows [s*cols + i] (Task 1 geometry). */ std::vector a_stream(MOPA_STEPS * data->tile_cols); @@ -333,8 +359,8 @@ static int sme_fmopa_za_arm_init(struct test *test) a_stream[si] = (float)((si % 7) + 1); b_stream[si] = (float)((si % 5) + 1); } - data->golden_row0 = fmopa_golden(a_stream, b_stream, MOPA_STEPS, - data->tile_cols); + data->golden_readout = fmopa_golden(a_stream, b_stream, MOPA_STEPS, + data->tile_cols); data->a_stream = a_stream; /* struct 增两字段, 免 run 重建 */ data->b_stream = b_stream; test->data = data.release(); @@ -347,7 +373,7 @@ static int sme_fmopa_za_arm_init(struct test *test) #endif } ``` -`SmeFmopaData` 增字段 `std::vector a_stream, b_stream;`（golden_row0 改名 golden_out 亦可，保持最小改动则留名并在注释说明实际轴向）。 +`SmeFmopaData` 增字段 `std::vector a_stream, b_stream;`；`golden_row0` 改名 **`golden_readout`**（与 38faa1b3 实现一致——原名暗示行 0，与 Task 1 裁决的 COLUMN 轴向矛盾）。 `run` ——fail-closed 断言 + 一步自检 cols 化（替换 :176-233 函数体；流直接用 init 存的，不再重建）： ```cpp @@ -364,14 +390,15 @@ static int sme_fmopa_za_arm_run(struct test *test, int cpu) auto *d = static_cast(test->data); const size_t cols = d->tile_cols; - if ((size_t)arm64_sme_svl_bytes() / 32 != cols) { + if ((size_t)arm64_sme_svl_bytes() / 4 != cols) { log_error("sme_fmopa_za_arm: SVL drifted between init (%zu cols) " - "and run (%ld cols)", cols, arm64_sme_svl_bytes() / 32); + "and run (%ld cols)", cols, arm64_sme_svl_bytes() / 4); report_fail_msg("sme_fmopa_za_arm: SVL drifted between init and run"); } - /* One-step self-check (golden-vs-hardware on a single FMOPA — a golden - bug reports as a test bug, never as SDC). */ + /* One-step self-check (golden-vs-hardware on a single FMOPA; 走同一 + fmopa_chain_asm 硬件路径,失配不预设分类——golden 缺陷与真实 SDC + 在此处不可区分,统一按未分类硬件/金标准失配上报)。 */ { std::vector one_a(cols, 2.0f), one_b(cols); for (size_t j = 0; j < cols; ++j) @@ -381,8 +408,8 @@ static int sme_fmopa_za_arm_run(struct test *test, int cpu) fmopa_chain_asm(one_a.data(), one_b.data(), 1, got.data(), cols); if (memcmp(expect.data(), got.data(), cols * sizeof(float)) != 0) { report_fail_msg("sme_fmopa_za_arm: golden tile-mapping " - "self-check failed — test bug, not SDC"); - return EXIT_FAILURE; + "self-check failed — golden/asm mismatch or " + "hardware fault (unclassified)"); } } @@ -390,12 +417,12 @@ static int sme_fmopa_za_arm_run(struct test *test, int cpu) std::vector out(cols, -1.0f); fmopa_chain_asm(d->a_stream.data(), d->b_stream.data(), MOPA_STEPS, out.data(), cols); - if (memcmp(out.data(), d->golden_row0.data(), + if (memcmp(out.data(), d->golden_readout.data(), cols * sizeof(float)) != 0) { for (size_t c = 0; c < cols; ++c) - if (out[c] != d->golden_row0[c]) { + if (out[c] != d->golden_readout[c]) { uint32_t g, a; - memcpy(&g, &d->golden_row0[c], 4); + memcpy(&g, &d->golden_readout[c], 4); memcpy(&a, &out[c], 4); log_warning("sme_fmopa_za: col %zu golden=0x%08" PRIx32 " actual=0x%08" PRIx32, c, g, a); @@ -413,6 +440,8 @@ static int sme_fmopa_za_arm_run(struct test *test, int cpu) ``` （比较改 memcmp 字节级整块比较 + 首失配定位日志——spec §8 军规口径。） +**验证边界诚实声明（P2 评审裁决补记）**：本计划的验证架构存在结构性盲区——gem5 只执行 Task 1 kernel，测试粘合层（init 流尺寸/golden 组装/run 缓冲）在本机与 gem5 均零执行覆盖。缓解防线：① 测试 fixed 模式与 kernel 逐字节几何同构（操作数公式 `(si%7)+1/(si%5)+1`、`MOPA_STEPS=256`、golden 公式三者与 kernel 一致），16-run 证据经同构锚定直达测试 golden；② run 侧一步自检使真机首跑即校验 golden 组装；③ init 的 cols∈[4,32] 显式检查兜住单位漂移。此声明源自 PR #279 五 bot 检视（local-claude 意见），Self-Review 原文"范围检查 ✓"据实勘正为"bits 区间 + 派生 cols∈[4,32] 双重检查"。 + 头部 includes：`#ifdef __aarch64__` 块内 `/` 换成 `#include `（getauxval 手探不再需要）；docblock 重写：三重缺陷修复记载、Task 1 轴向/SMSTART 裁决引用（gem5 run 命令形态 + 16 run 表）、"first functional form"诚实声明。 - [ ] **Step 3: 构建 + SKIP 路径 + 回归** @@ -444,8 +473,9 @@ instead of assuming one tier: - **Probe via the framework layer**: `#include ` and call `arm64_require_sve_vl(test, min_bits, max_bits)` / - `arm64_require_sme_svl(...)` from `test_init`; a -1 return means the - helper already logged the skip — `return EXIT_SKIP` immediately. Do + `arm64_require_sme_svl(...)` from `test_init`; a negative return + (EXIT_SKIP, -255 — deliberately not a bare -1, see arm64_vl.h) means + the helper already logged the skip — `return EXIT_SKIP` immediately. Do not hand-write getauxval probes: `device_has_feature()` is short-circuited by compile-time `__ARM_FEATURE_*` macros in +sve/+sme TUs (docs/architecture.md). @@ -482,9 +512,36 @@ instead of assuming one tier: --- +## Erratum（2026-10-24，PR #279 五 bot 检视闭环） + +1. **`/32` 单位错误（Critical）**：原模板 init/run 两处 `svl / 32` 把 + arm64_require_sme_svl 返回的 **SVL 字节**当作位处理，差 8×——128-bit 档 + cols=0（空 golden + memcmp 长度 0 恒过的**无操作假 PASS** + st1w 向空缓冲 + 写的堆溢出），256-1024-bit 档前缀一致假 PASS + 越界写。实现分支 + `feat/sme-fmopa-za-allvl` 提交 38faa1b3 已在代码侧修复（`/32→/4` + 显式 + cols∈[4,32] 检查），本计划模板本节同步修正，并指出根因：**P2 计划模板 + 自相矛盾**（Interfaces 说明写"字节"，代码块写 `/32`）。 +2. **Task 1 两项裁决已落定**（原模板为未决占位）：**axis=COLUMN** + （`za0v.s[w12,0]` 读列 0）；**sm+za 双切强制**（za-only 下首条 FMOPA 即 + 陷阱，FMOPA 需 SVCR.SM=1）——证据 = gem5-fi `feat/fmopa-za-dual @ + ebe08632` 四档 16 run 全绿。kernel 代码块已按裁决更新。 +3. **取证脚本取码修正**：原 `exit=$?` 取的是管道末 grep 的退出码而非 + gem5 的（gem5 崩溃但有匹配行 → 假 exit=0 记录）；改 `PIPESTATUS[0]` + + overall 汇总。kernel 输出补 `checksum=` 标签（原裸十六进制行被自家 + grep 过滤式排除）、axis 双失配时输出 UNKNOWN 而非武断 COLUMN、 + fnv/比对 memcpy 化（消严格别名 UB、字节级 per-lane）。 +4. **跳过返回值契约勘误**：Interfaces 与 Task 3 政策原文"-1 = 已 + log_skip"系错误——实际契约是 EXIT_SKIP(-255)（arm64_vl.h 头注明确 + "not a bare -1"）。两处已改，Task 3 文本将进入 writing_tests.md 持久 + 指南，此处勘误杠杆最高。 +5. 评审出处：PR #279 五 bot 检视（coderabbit 6 条 / local-claude 6 条 / + pr-agent、codex、greptile 限额类），处置明细见 PR 描述。自检失配 + "test bug, not SDC" 分类措辞中性化（自检走同一硬件路径，无独立 oracle + 依据支撑分类断言）。 + ## Self-Review 记录 -- **Spec 覆盖**：§6 P2 四要素（新 API ✓Task2/范围检查 ✓/`#16` 寄存器化 ✓/dual kernel ✓Task1）；§7 协议落在 Task 1（16 run + 无回归锚的诚实替代：通道 A 四档 golden 逐字节一致）；§8 SME fmopa_za 行（标量累加 ✓——精确整数）；§9 SKIP 语义（require 助手内置）；§10 writing_tests.md（0c6c9c89 归属 ✓Task3）。✓ +- **Spec 覆盖**：§6 P2 四要素（新 API ✓Task2/bits 区间 + 派生 cols∈[4,32] 双重检查 ✓/`#16` 寄存器化 ✓/dual kernel ✓Task1）；§7 协议落在 Task 1（16 run + 无回归锚的诚实替代：通道 A 四档 golden 逐字节一致）；§8 SME fmopa_za 行（标量累加 ✓——精确整数）；§9 SKIP 语义（require 助手内置）；§10 writing_tests.md（0c6c9c89 归属 ✓Task3）。✓ - **占位符**：Task 2 中两处"[Task 1 裁决]"是**跨任务数据依赖**（轴向/SMSTART 由实证决定，非 TBD——Task 1 产出明确定义）；其余无占位。✓ - **类型一致性**：`fmopa_chain_asm(const float*, const float*, size_t, float*, size_t)` 与 golden/init/run 调用一致；`arm64_require_sme_svl/ arm64_sme_svl_bytes` 签名与 PR #277 一致。✓ - **Review Focus 归属**：1/2→Task 1 Step 4；3→Task 1 通道 A + Task 2 自检；4→Task 2 Step 2/3；5→Task 1 设计不变式 + 16 run；6→Task 2 尺寸 + 四档 cols=32。✓ From dc3c8c7b22c44ec4e813577aad13841a3f01588e Mon Sep 17 00:00:00 2001 From: wangxu Date: Sun, 25 Oct 2026 13:39:41 +0800 Subject: [PATCH 3/4] =?UTF-8?q?docs(plan):=20P2=20=E8=AE=A1=E5=88=92?= =?UTF-8?q?=E4=BA=8C=E8=BD=AE=E6=A3=80=E8=A7=86=E9=97=AD=E7=8E=AF=E2=80=94?= =?UTF-8?q?=E2=80=94=E5=A5=91=E7=BA=A6=E5=88=86=E8=A3=82/=E9=98=B2?= =?UTF-8?q?=E7=BA=BF=E2=91=A21024=E6=A1=A3/FNV=E5=9F=BA=E6=95=B0/FAILS?= =?UTF-8?q?=E7=A8=8B=E5=BA=8F=E5=8C=96=E6=AF=94=E5=AF=B9=E5=85=AD=E6=9D=A1?= =?UTF-8?q?=E5=8B=98=E8=AF=AF?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR #279 五 bot 检视第二轮(local-claude 6 条全采纳, codex 配额类), 全部为计划文档口径修正, 无代码/行为变更: - 契约分裂(Important): Erratum 4 一轮裁定'require 助手实际契约是 EXIT_SKIP(-255)'对本计划治理的执行分支不成立——feat/arm64-vl-api @d61cc09f 起返回 EXIT_SKIP, 而 feat/sme-fmopa-za-allvl 切自该提交 之前仍 return -1 由调用方翻译(56e916fe)。Interfaces/init 模板注释/ Task 3 政策三处改为值无关的 '< 0' 军规, 禁止 == -1/== EXIT_SKIP 相等匹配(任一方向漏判侧 (size_t)负值/… 巨量分配)。 - 防线③(Important): cols∈[4,32] 检查对 /32 单位漂移仅 128/256/512 档 有效(cols=0/1/2), 1024 档 128/32=4 恰落区间放行——前缀一致假 PASS + st1w 每轮向 16 字节缓冲写 128 字节; 全档兜底是 run 侧 arm64_sme_svl_bytes()/4 != cols fail-closed 断言, 防线排序改以 run 侧为主、区间检查为辅(Erratum 1 二轮再勘 + 验证边界声明同步)。 - FNV-1a 基数(Minor): 模板与实际 kernel(ebe08632)的 64 位 offset basis 均为 1469598103934665603——规范值 14695981039346656037 (0xcbf29ce484222325)掉尾位 7; 模板改规范值, findings.md 16 checksum 以 typo 基数计算的事实入 Erratum 6, kernel 侧修正+重跑属 gem5-fi 仓后续。 - fixed 模式 degenerate 补救语(Minor): 'rerun with another seed'在 fixed 模式是空操作(fixed 填充与 seed 无关), 消息改模式感知; 16 run 该分支从未触发, 无证据影响(Erratum 7)。 - FAILS 程序化比对(Minor): Step 4 脚本绿灯原先只看 gem5 退出码, SDCSHIELD_FAILS 仅在展示 grep 里从未被比对——加 grep -q '^SDCSHIELD_FAILS=0$' 与 axis≠UNKNOWN 两条程序化检查; 既有 16-run 表 exit 列取自修前脚本(grep 退出码)的事实入 Erratum 3 二轮补充。 - 四处同步清单(Minor): 原注'三处 SME asm'未把 gem5-fi kernel 计入, 统一硬化 PR 须四处同步(kernel ebe08632/本测试/stress/za_tileview) 防同源锚点漂移; 防线①如实记录几何同构由人工誊写维持、无机械比对 (Erratum 8)。 - 另: gem5-fi 路径三处勘正 code-review/ → operator/(搬迁前旧路径, 本机已不存在; gem5.opt/arm_chaos.py 实存已核验)(Erratum 9)。 验证: 纯文档变更无行为影响; Step 4 脚本 bash -n 通过; FNV 常数与 档位算术(16/32/64/128 字节 ÷4=4/8/16/32, ÷32=0/1/2/4)python3 实证; 两分支契约与时间线(d61cc09f 10-23 18:35 / 56e916fe 10-24 21:49)、 framework init 负返回处理(sandstone_run.cpp:1234-1247)、findings.md 16-run 表、gem5 SE 日志行格式(SDCSHIELD_FAILS=0 独立成行)均经 git/文件实证。 Signed-off-by: wangxu --- .../plans/2026-10-23-sve-sme-all-vl2-p2.md | 121 ++++++++++++++---- 1 file changed, 95 insertions(+), 26 deletions(-) diff --git a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md index a66157d9..5d717f61 100644 --- a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md +++ b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md @@ -13,7 +13,7 @@ ## Global Constraints - 依赖排序：**测试分支 `feat/sme-fmopa-za-allvl` 从 `feat/arm64-vl-api`（PR #277，未合并）切出**（堆叠 PR）；若 #277 先合并，rebase 到 main（无冲突预期：两 PR 文件集不相交）。 -- 本机 0xd01 无 SVE/SME：测试只能验证构建零告警 + SKIP 路径；**全部功能结论以 gem5 四档真实 run 为准**（规则 2b）。gem5-fi 真实路径 `/home/sdc/wangxu/code-review/gem5-fi`。 +- 本机 0xd01 无 SVE/SME：测试只能验证构建零告警 + SKIP 路径；**全部功能结论以 gem5 四档真实 run 为准**（规则 2b）。gem5-fi 真实路径 `/home/sdc/wangxu/operator/gem5-fi`（二轮勘正:原写 code-review/ 系搬迁前旧路径,本机已不存在）。 - 构建入口 `./scripts/build.sh`；回归 `./builddir/sdcshield -e zstd19 -t 2000 -n 1` → `exit: pass`；meson 改动须 `meson setup --reconfigure builddir`。 - DCO：`git commit -s` 末行 `Signed-off-by: wangxu `，无 Co-Authored-By；永不提交 main；一单元一 patch。 - x86-64 零改动；SME 测试全部在 `#if defined(__aarch64__)` 内。 @@ -53,7 +53,7 @@ - [ ] **Step 1: gem5-fi 仓分支与身份** ```bash -cd /home/sdc/wangxu/code-review/gem5-fi +cd /home/sdc/wangxu/operator/gem5-fi git config user.name "wangxu" && git config user.email "wangxumarshall@qq.com" # 若已配置则跳过 git checkout -b feat/fmopa-za-dual # 基于 main @ 9dbbbbba ``` @@ -105,7 +105,9 @@ static uint32_t xs32(void) } static unsigned g_fails = 0; -static uint64_t fnv = 1469598103934665603ULL; +static uint64_t fnv = 14695981039346656037ULL; /* canonical FNV-1a 64 offset + basis 0xcbf29ce484222325 — + 二轮勘正:原值掉尾位 7 */ static void fnv_u32(uint32_t v) { fnv ^= v & 0xFF; fnv *= 1099511628211ULL; @@ -188,7 +190,9 @@ int main(int argc, char **argv) /* 注: 输出 %[a]/%[b]/%[n] 在输入 [s]/[o] 读尽前已写,GCC 语义上理论 正确形为 "+&r";保持 "+r" 系与 ebe08632 已验证 kernel 及仓库惯例 (sme_fmopa_stress_arm / za_tileview)逐字同源,统一硬化留待后续 PR - (三处 SME asm 一并改 "+&r" 并重跑 16-run)。 */ + (四处 SME asm 一并改 "+&r" 并重跑 16-run:gem5-fi kernel ebe08632 + + 本测试 + sme_fmopa_stress_arm + za_tileview——kernel 若不计入, + 硬化落地即与测试静默失同步,见 Erratum 8)。 */ } int row_ok = 1, col_ok = 1; @@ -202,10 +206,14 @@ int main(int argc, char **argv) if (ob != cb) col_ok = 0; } if (row_ok && col_ok) { - /* row0 == col0 at this seed: patterns degenerated — rerun with a - different seed (the operator notes it); treat as failure here. */ - fprintf(stderr, "row/col goldens identical — seed %u degenerate, " - "rerun with another seed\n", seed); + /* row0 == col0: patterns degenerated — treat as failure here. Remedy + is mode-aware: only random mode consumes the seed; fixed mode + fills (si%7)+1/(si%5)+1 and is seed-independent, so "rerun with + another seed" is a no-op there (二轮勘正). */ + fprintf(stderr, "row/col goldens identical (%s mode) — rerun in " + "random mode with another seed; fixed mode is " + "seed-independent, treat as test-data failure\n", + mode); return 1; } if (!row_ok && !col_ok) { @@ -239,22 +247,27 @@ sme_fmopa_za_dual: sme_fmopa_za_dual.c - [ ] **Step 4: 四档 × {fixed, random×3} = 16 run** ```bash -G5=/home/sdc/wangxu/code-review/gem5-fi/build/ARM/gem5.opt +G5=/home/sdc/wangxu/operator/gem5-fi/build/ARM/gem5.opt overall=0 for T in 1 2 4 8; do for ARGS in "fixed 1" "random 1" "random 2" "random 3"; do + LOG=/tmp/fza_sve${T}_$(echo $ARGS | tr ' ' '_').log timeout 600 $G5 configs/se/arm_chaos.py --cpu O3 \ --cmd workloads/sdcshield/sme_fmopa_za_dual --sme_vl $T --sve_vl $T \ - --workload_args "$ARGS" 2>&1 | tee /tmp/fza_sve${T}_$(echo $ARGS | tr ' ' '_').log \ + --workload_args "$ARGS" 2>&1 | tee $LOG \ | grep -E 'sme_fmopa_za_dual|SDCSHIELD_FAILS|checksum|mismatch' rc=${PIPESTATUS[0]} # timeout/gem5 的真实退出码,不是 grep 的 - echo "tier=$T args='$ARGS' exit=$rc" + grep -q '^SDCSHIELD_FAILS=0$' $LOG # 程序化比对(二轮补):绿灯不再 + fails_ok=$? # 悬置于 gem5 透传退出码的假设 + grep -q 'axis=UNKNOWN' $LOG && fails_ok=1 + echo "tier=$T args='$ARGS' exit=$rc fails_ok=$fails_ok" [ "$rc" -ne 0 ] && overall=1 + [ "$fails_ok" -ne 0 ] && overall=1 done done exit $overall ``` -Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`；random 各 seed checksum 互异、fixed/random 可比即记录；**exit≠0 或 axis=UNKNOWN 的档位不得计入全绿、不得作为 Task 2 golden 依据**。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 +Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`（脚本已程序化比对 `^SDCSHIELD_FAILS=0$` 与 axis≠UNKNOWN——二轮补，原先 FAILS 只出现在展示 grep 里、从未被比对，绿灯悬置于"gem5.opt 把 SE 客户机退出码透传为宿主退出码"这一未验证假设上）；random 各 seed checksum 互异、fixed/random 可比即记录；**exit≠0、fails_ok≠0 或 axis=UNKNOWN 的档位不得计入全绿、不得作为 Task 2 golden 依据**。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 - [ ] **Step 5: findings.md + 提交推送** @@ -266,7 +279,7 @@ findings.md 尾部：日期、16 run 表（tier/mode/cols/axis/checksum/FAILS/ex - Modify: `tests/cpu/arm64/sme_fmopa_za_arm.cpp`（全文重构 init/asm/golden/run/docblock） **Interfaces:** -- Consumes: `arm64_require_sme_svl(struct test *, long min_bits, long max_bits) -> long`（>0 = SVL 字节；<0 = EXIT_SKIP(-255) 且已 log_skip——非裸 -1，见 arm64_vl.h 头注，直接 return；PR #277，`#include `）；Task 1 的 axis 裁决（**COLUMN**，ebe08632 四档实证）与 smstart 形态结论（**sm+za 双切强制**，za-only 首条 FMOPA 即陷阱）。 +- Consumes: `arm64_require_sme_svl(struct test *, long min_bits, long max_bits) -> long`（>0 = SVL 字节；<0 = 已 log_skip 的跳过——**具体负值随分支版本而异，勿做断言**：feat/arm64-vl-api @ d61cc09f 起返回 EXIT_SKIP(-255)（头注 "not a bare -1"），而本计划治理的堆叠分支 feat/sme-fmopa-za-allvl 切自 d61cc09f 之前、require 助手仍返回裸 -1 由调用方翻译（56e916fe 头注 "test_init translates it to EXIT_SKIP (-255)"）——同名头注两分支各说一词，详见 Erratum 4。**消费军规：一律 `svl < 0` 判定并 `return EXIT_SKIP`，禁止 `== -1`/`== EXIT_SKIP` 相等匹配**（任一形态下相等匹配都会漏判另一形态，漏判侧 `(size_t)负值/…` 巨量分配直接爆炸）；#280 rebase 到 #277 之后契约统一为 EXIT_SKIP(-255)；PR #277，`#include `）；Task 1 的 axis 裁决（**COLUMN**，ebe08632 四档实证）与 smstart 形态结论（**sm+za 双切强制**，za-only 首条 FMOPA 即陷阱）。 - Produces: SME 侧全部达标（spec §6 P2 出口）。 - [ ] **Step 1: 堆叠分支** @@ -306,7 +319,9 @@ static void fmopa_chain_asm(const float *a_stream, const float *b_stream, : [o] "r"(out_vec), [s] "r"(stride) : "z0", "z1", "z2", "p0", "w12", "memory", "cc"); /* 注: 输出 %[a]/%[b]/%[n] 在输入 [s]/[o] 读尽前已写,理论正确形 "+&r"; - 保持 "+r" 与 ebe08632 已验证形态及仓库惯例逐字同源,统一硬化留待后续 PR。 */ + 保持 "+r" 与 ebe08632 已验证形态及仓库惯例逐字同源,统一硬化留待后续 + PR——四处同步(gem5-fi kernel ebe08632 + 本测试 + sme_fmopa_stress_arm + + za_tileview),见 Erratum 8。 */ } ``` @@ -338,8 +353,12 @@ static int sme_fmopa_za_arm_init(struct test *test) #else const long svl = arm64_require_sme_svl(test, 128, 1024); if (svl < 0) - return EXIT_SKIP; /* helper returns EXIT_SKIP(-255), not a bare -1; - log_skip already emitted (capability or range) */ + return EXIT_SKIP; /* negative = skip already log_skip'ed (capability + or range). The concrete value is branch-version- + dependent (EXIT_SKIP on feat/arm64-vl-api @ + d61cc09f+, bare -1 caller-translated on the + stacked branch) — hence the < 0 test, never + equality (see Erratum 4) */ try { auto data = std::make_unique(); @@ -440,7 +459,7 @@ static int sme_fmopa_za_arm_run(struct test *test, int cpu) ``` （比较改 memcmp 字节级整块比较 + 首失配定位日志——spec §8 军规口径。） -**验证边界诚实声明（P2 评审裁决补记）**：本计划的验证架构存在结构性盲区——gem5 只执行 Task 1 kernel，测试粘合层（init 流尺寸/golden 组装/run 缓冲）在本机与 gem5 均零执行覆盖。缓解防线：① 测试 fixed 模式与 kernel 逐字节几何同构（操作数公式 `(si%7)+1/(si%5)+1`、`MOPA_STEPS=256`、golden 公式三者与 kernel 一致），16-run 证据经同构锚定直达测试 golden；② run 侧一步自检使真机首跑即校验 golden 组装；③ init 的 cols∈[4,32] 显式检查兜住单位漂移。此声明源自 PR #279 五 bot 检视（local-claude 意见），Self-Review 原文"范围检查 ✓"据实勘正为"bits 区间 + 派生 cols∈[4,32] 双重检查"。 +**验证边界诚实声明（P2 评审裁决补记；二轮再勘）**：本计划的验证架构存在结构性盲区——gem5 只执行 Task 1 kernel，测试粘合层（init 流尺寸/golden 组装/run 缓冲）在本机与 gem5 均零执行覆盖。缓解防线：① 测试 fixed 模式与 kernel 逐字节几何同构（操作数公式 `(si%7)+1/(si%5)+1`、`MOPA_STEPS=256`、golden 公式三者与 kernel 一致），16-run 证据经同构锚定直达测试 golden——**该同构由人工誊写维持、无机械比对步骤**（四处副本：gem5-fi kernel ebe08632 / 本测试 / sme_fmopa_stress_arm / za_tileview，跨仓无法 build-time 断言；Erratum 1 的 /32 事故正是发生在这条誊写缝上、由外部检视而非计划内检查捕获），后续 '+&r' 统一硬化 PR 须四处同步防锚点漂移；② run 侧一步自检使真机首跑即校验 golden 组装；③ init 的 cols∈[4,32] 显式检查**部分**兜住单位漂移——/32 类错误在 128/256/512-bit 档派生 cols=0/1/2 被拦，1024-bit 档 128/32=4 恰落区间内放行（该档 asm 按 ptrue 跑 32 lane、流按 cols=4 建模，前缀 memcmp 与一步自检双绿的同时 st1w 每轮向 16 字节缓冲写 128 字节、尾步 ld1w 同步越界读）；**全档兜底是 run 侧 `arm64_sme_svl_bytes()/4 != cols` fail-closed 断言**，防线排序以 run 侧为主、区间检查为辅。此声明源自 PR #279 五 bot 检视（local-claude 意见），Self-Review 原文"范围检查 ✓"据实勘正为"bits 区间 + 派生 cols∈[4,32] 双重检查"。 头部 includes：`#ifdef __aarch64__` 块内 `/` 换成 `#include `（getauxval 手探不再需要）；docblock 重写：三重缺陷修复记载、Task 1 轴向/SMSTART 裁决引用（gem5 run 命令形态 + 16 run 表）、"first functional form"诚实声明。 @@ -473,9 +492,13 @@ instead of assuming one tier: - **Probe via the framework layer**: `#include ` and call `arm64_require_sve_vl(test, min_bits, max_bits)` / - `arm64_require_sme_svl(...)` from `test_init`; a negative return - (EXIT_SKIP, -255 — deliberately not a bare -1, see arm64_vl.h) means - the helper already logged the skip — `return EXIT_SKIP` immediately. Do + `arm64_require_sme_svl(...)` from `test_init`; a negative return means + the helper already logged the skip — test `< 0` and + `return EXIT_SKIP` immediately, NEVER match the exact value: the skip + value is EXIT_SKIP (-255) on current arm64_vl.h but a bare -1 on + branches cut before that contract fix, and an equality test + (`== -1` / `== EXIT_SKIP`) that misses the other form lets the + negative fall through as a bogus huge size. Do not hand-write getauxval probes: `device_has_feature()` is short-circuited by compile-time `__ARM_FEATURE_*` macros in +sve/+sme TUs (docs/architecture.md). @@ -512,7 +535,7 @@ instead of assuming one tier: --- -## Erratum（2026-10-24，PR #279 五 bot 检视闭环） +## Erratum（一轮 2026-10-24 / 二轮 2026-10-25，PR #279 五 bot 检视闭环；二轮修订 1/3/4、新增 6-9） 1. **`/32` 单位错误（Critical）**：原模板 init/run 两处 `svl / 32` 把 arm64_require_sme_svl 返回的 **SVL 字节**当作位处理，差 8×——128-bit 档 @@ -521,6 +544,10 @@ instead of assuming one tier: `feat/sme-fmopa-za-allvl` 提交 38faa1b3 已在代码侧修复（`/32→/4` + 显式 cols∈[4,32] 检查），本计划模板本节同步修正，并指出根因：**P2 计划模板 自相矛盾**（Interfaces 说明写"字节"，代码块写 `/32`）。 + **二轮再勘（防线③口径）**：cols∈[4,32] 检查对 /32 漂移仅 128/256/512 档 + 有效（cols=0/1/2），1024 档 cols=4 恰落区间放行（前缀一致假 PASS + + st1w 每轮溢出 112 字节）——修复主力是 `/4` 本身与 run 侧 fail-closed + 断言，区间检查只是部分档位的辅助网，验证边界声明防线③已同步改写。 2. **Task 1 两项裁决已落定**（原模板为未决占位）：**axis=COLUMN** （`za0v.s[w12,0]` 读列 0）；**sm+za 双切强制**（za-only 下首条 FMOPA 即 陷阱，FMOPA 需 SVCR.SM=1）——证据 = gem5-fi `feat/fmopa-za-dual @ @@ -530,14 +557,56 @@ instead of assuming one tier: overall 汇总。kernel 输出补 `checksum=` 标签（原裸十六进制行被自家 grep 过滤式排除）、axis 双失配时输出 UNKNOWN 而非武断 COLUMN、 fnv/比对 memcpy 化（消严格别名 UB、字节级 per-lane）。 -4. **跳过返回值契约勘误**：Interfaces 与 Task 3 政策原文"-1 = 已 - log_skip"系错误——实际契约是 EXIT_SKIP(-255)（arm64_vl.h 头注明确 - "not a bare -1"）。两处已改，Task 3 文本将进入 writing_tests.md 持久 - 指南，此处勘误杠杆最高。 + **二轮补充（FAILS 程序化比对）**：一轮修正后 SDCSHIELD_FAILS 仍只出现 + 在展示 grep 里、从未被程序化比对，绿灯悬置于"gem5.opt 把 SE 客户机 + 退出码透传为宿主退出码"这一未验证假设上——脚本再加 `grep -q + '^SDCSHIELD_FAILS=0$'` 与 axis≠UNKNOWN 两条程序化检查（fails_ok）。 + 既有 16-run 表（findings.md @ ebe08632）的 exit 列取自修前脚本（grep + 退出码），该列仅"有匹配行"语义；权威逐 run 证据是 kernel 自身 stdout + 的 FAILS/axis/checksum/cols 列，未来重跑以修正后脚本为准。 +4. **跳过返回值契约勘误（二轮再勘：契约随分支分裂，一轮断言只对了一半）**： + Interfaces 与 Task 3 政策原文"-1 = 已 log_skip"系错误；一轮勘误改写为 + "实际契约是 EXIT_SKIP(-255)"——但该断言对**本计划治理的执行分支**不 + 成立：feat/arm64-vl-api @ d61cc09f（2026-10-23 18:35）起 require 助手 + 返回 EXIT_SKIP(-255)（头注 "not a bare -1"），而 feat/sme-fmopa-za-allvl + 切自 d61cc09f 之前，其 arm64_vl.h 仍 `return -1` 由调用方翻译 + （56e916fe 头注 "test_init translates it to EXIT_SKIP (-255)"）—— + 同名头注两分支各说一词。功能结论：`if (svl < 0) return EXIT_SKIP` 在 + 两种契约下均安全（本计划模板与 #280 实现均如此，framework 对 init 的 + 非 EXIT_SKIP 负返回仅追加 strerror 噪声不改变 Skipped 分类）；危险 + 形态仅是相等匹配（`== -1` 漏 EXIT_SKIP / `== EXIT_SKIP` 漏 -1，漏判侧 + `(size_t)负值/…` 巨量分配）。Interfaces/init 模板注释/Task 3 政策 + 三处已改为值无关的 `< 0` 军规；#280 rebase 到 #277 后契约统一为 + EXIT_SKIP(-255)，届时 writing_tests.md 落地文本即为终态契约。 5. 评审出处：PR #279 五 bot 检视（coderabbit 6 条 / local-claude 6 条 / pr-agent、codex、greptile 限额类），处置明细见 PR 描述。自检失配 "test bug, not SDC" 分类措辞中性化（自检走同一硬件路径，无独立 oracle - 依据支撑分类断言）。 + 依据支撑分类断言）。二轮：local-claude 6 条（契约分裂/防线③1024 档/ + FNV 基数/fixed 模式 seed 空操作/FAILS 程序化比对/四处同步清单）+ + codex 配额类，全部采纳，处置见本节 1/3/4 修订与 6-9 新增。 +6. **FNV-1a 64 位 offset basis 掉尾笔误（二轮）**：kernel 模板与实际执行 + kernel（gem5-fi ebe08632）的偏移基数均为 1469598103934665603——规范值 + 14695981039346656037（0xcbf29ce484222325）掉尾位 7；质数 1099511628211 + 正确。findings.md 的 16 个 checksum 即以 typo 基数计算：比较性结论 + （16 值互异、档位一致、axis 全 COLUMN）不受影响，但与标准 FNV-1a 工具 + 互验必然对不上。模板本节已改规范值；kernel 侧修正 + 16-run 重跑属 + gem5-fi 仓后续工作（重跑后 checksum 全变，须同步 findings.md 及 + PR #280 的引用），不由本计划文档承载。 +7. **fixed 模式 degenerate 补救语空操作（二轮）**：kernel degenerate 分支 + 原消息 "rerun with another seed" 在 fixed 模式下是空操作——fixed 填充 + `(si%7)+1/(si%5)+1` 与 seed 无关，16-run 协议含 "fixed 1" 四次。消息 + 已改模式感知（random 换 seed / fixed 视为测试数据失败）。16 run 中该 + 分支从未触发（四档 axis 均 COLUMN、非退化），无证据影响。 +8. **'+&r' 统一硬化范围勘误（二轮）**：原注 "三处 SME asm" 未把 gem5-fi + kernel 计入——四处副本：gem5-fi kernel（ebe08632）、本测试 + fmopa_chain_asm、sme_fmopa_stress_arm、za_tileview；硬化 PR 若只改仓内 + 三处，kernel 即与测试静默失同步（同源锚点漂移）。两处 asm 注释与验证 + 边界声明防线①已同步改写，并如实记录：几何同构现由人工誊写维持、无 + 机械比对步骤（跨仓无法 build-time 断言），/32 事故正发生在这条誊写缝上。 +9. **gem5-fi 路径勘正（二轮，可复现性）**：本计划三处 + `/home/sdc/wangxu/code-review/gem5-fi` 系搬迁前旧路径，本机已不存在； + 实际路径 `/home/sdc/wangxu/operator/gem5-fi`（近期计划文档已统一）， + 三处已改。 ## Self-Review 记录 From 2fee8b0152a76ca83cd11ea6d8bddd182bbd39ac Mon Sep 17 00:00:00 2001 From: wangxu Date: Sun, 25 Oct 2026 20:55:23 +0800 Subject: [PATCH 4/4] =?UTF-8?q?docs(plan):=20P2=20=E8=AE=A1=E5=88=92?= =?UTF-8?q?=E4=B8=89=E8=BD=AE=E6=A3=80=E8=A7=86=E9=97=AD=E7=8E=AF=E2=80=94?= =?UTF-8?q?=E2=80=94Step=204=20=E8=84=9A=E6=9C=AC=20cols=20=E6=A1=A3?= =?UTF-8?q?=E4=BD=8D=E6=96=AD=E8=A8=80+=E8=B7=A8=20run=20=E8=BD=B4?= =?UTF-8?q?=E5=90=91=E4=B8=80=E8=87=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit coderabbit 两条 Major 均采纳:取证脚本此前只拦 FAILS≠0 与 axis 未决, gem5 忽略/裁剪 --sme_vl 时 kernel 按真实 SVL 自洽生成 golden 仍 FAILS=0(错误几何流入 Task 2),各档轴向分歧时 fails_ok 也全 0(单一 golden 公式对部分 VL 必错)。脚本加两条断言:cols==4*T(解析 ^sme_fmopa_za_dual: 行,4/8/16/32 对应 T=1/2/4/8)与跨 run 轴向一致 (首个有效 ROW/COLUMN 为基准,分歧即 fails_ok=1);echo 行补 cols/axis/ref 三列。 核验中发现并同步修复:双失配标签模板印 UNKNOWN 而实际 kernel (ebe08632/959a5fa7)印 NEITHER,旧 grep 只拦一个——改双态兼容 axis=(UNKNOWN|NEITHER);解析锚定行首,gem5 日志 command line:/ Returning 行含 workload 名但不在行首(实测 p283v 日志核验)。 回溯核验:既有 16-run 表(findings.md @ ebe08632)cols 逐档 4/8/16/32、 axis=COLUMN ×16,两断言全过,既有证据无需重跑。9 场景合成日志功能 测试全绿(正常/NEITHER/UNKNOWN/崩溃/档位裁剪/轴向分歧/分歧后恢复)。 纯文档变更,无构建/行为影响。Erratum 3/5 三轮补充;实际 kernel 标签 统一(NEITHER/checksum 标签)与 FNV 基数修正同批,属 gem5-fi 仓后续。 Signed-off-by: wangxu --- .../plans/2026-10-23-sve-sme-all-vl2-p2.md | 47 +++++++++++++++++-- 1 file changed, 42 insertions(+), 5 deletions(-) diff --git a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md index 5d717f61..4e22f44c 100644 --- a/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md +++ b/docs/superpowers/plans/2026-10-23-sve-sme-all-vl2-p2.md @@ -249,6 +249,7 @@ sme_fmopa_za_dual: sme_fmopa_za_dual.c ```bash G5=/home/sdc/wangxu/operator/gem5-fi/build/ARM/gem5.opt overall=0 +axis_ref= for T in 1 2 4 8; do for ARGS in "fixed 1" "random 1" "random 2" "random 3"; do LOG=/tmp/fza_sve${T}_$(echo $ARGS | tr ' ' '_').log @@ -259,15 +260,29 @@ for T in 1 2 4 8; do rc=${PIPESTATUS[0]} # timeout/gem5 的真实退出码,不是 grep 的 grep -q '^SDCSHIELD_FAILS=0$' $LOG # 程序化比对(二轮补):绿灯不再 fails_ok=$? # 悬置于 gem5 透传退出码的假设 - grep -q 'axis=UNKNOWN' $LOG && fails_ok=1 - echo "tier=$T args='$ARGS' exit=$rc fails_ok=$fails_ok" + grep -Eq 'axis=(UNKNOWN|NEITHER)' $LOG && fails_ok=1 + # 上一行(三轮补):双失配标签双态兼容——本模板印 UNKNOWN(一轮修正), + # 实际 kernel(ebe08632 及 #280 的 959a5fa7)印 NEITHER,只拦一个会漏另一个 + cols=$(sed -n 's/^sme_fmopa_za_dual:.*cols=\([0-9][0-9]*\).*/\1/p' $LOG) + [ "$cols" = "$((4 * T))" ] || fails_ok=1 + # 上一行(三轮补):cols==4*T 即 4/8/16/32——若 gem5 忽略/裁剪 --sme_vl, + # kernel 按真实 SVL 自洽生成 golden 仍 FAILS=0,唯有档位断言能拦错误几何 + axis=$(sed -n 's/^sme_fmopa_za_dual:.*axis=\(ROW\|COLUMN\).*/\1/p' $LOG) + if [ -z "$axis" ]; then + fails_ok=1 # 轴向行缺失或未决(UNKNOWN/NEITHER)——无效证据 + elif [ -z "$axis_ref" ]; then + axis_ref=$axis # 三轮补:首个有效轴向为跨 run 一致性基准 + elif [ "$axis" != "$axis_ref" ]; then + fails_ok=1 # 三轮补:跨档轴向分歧——Task 2 golden 公式不能混用 + fi + echo "tier=$T args='$ARGS' exit=$rc fails_ok=$fails_ok cols=${cols:-none} axis=${axis:-none} ref=${axis_ref:-none}" [ "$rc" -ne 0 ] && overall=1 [ "$fails_ok" -ne 0 ] && overall=1 done done exit $overall ``` -Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据）；全部 `SDCSHIELD_FAILS=0`（脚本已程序化比对 `^SDCSHIELD_FAILS=0$` 与 axis≠UNKNOWN——二轮补，原先 FAILS 只出现在展示 grep 里、从未被比对，绿灯悬置于"gem5.opt 把 SE 客户机退出码透传为宿主退出码"这一未验证假设上）；random 各 seed checksum 互异、fixed/random 可比即记录；**exit≠0、fails_ok≠0 或 axis=UNKNOWN 的档位不得计入全绿、不得作为 Task 2 golden 依据**。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 +Expected 逐档：`cols=4/8/16/32`（=128/256/512/1024-bit，脚本已断言 `cols==4*T`——三轮补）；**axis= 四档一致**（记录 ROW 还是 COLUMN——这是 Task 2 golden 公式的依据；脚本已断言跨 run 一致、首个有效轴向为基准——三轮补）；全部 `SDCSHIELD_FAILS=0`（脚本已程序化比对 `^SDCSHIELD_FAILS=0$` 与 axis 未决双态 UNKNOWN/NEITHER——二/三轮补，原先 FAILS 只出现在展示 grep 里、从未被比对，绿灯悬置于"gem5.opt 把 SE 客户机退出码透传为宿主退出码"这一未验证假设上）；random 各 seed checksum 互异、fixed/random 可比即记录；**exit≠0、fails_ok≠0（含 cols≠4*T 或跨 run 轴向分歧）或 axis 未决的档位不得计入全绿、不得作为 Task 2 golden 依据**。若 gem5 在 smstart/fmopa 处崩溃（SIGILL 类）→ za-only 非法，改 `smstart sm`+`smstart za` / `smstop za`+`smstop sm`（stress 先例 :121-122/:150-151），重跑全部 16 run 并在 findings.md 记录裁决过程。若 axis 判别失败（两 golden 均不匹配）→ 看 mismatch dump，如实上报，不改数据迁就。 - [ ] **Step 5: findings.md + 提交推送** @@ -535,7 +550,7 @@ instead of assuming one tier: --- -## Erratum（一轮 2026-10-24 / 二轮 2026-10-25，PR #279 五 bot 检视闭环；二轮修订 1/3/4、新增 6-9） +## Erratum（一轮 2026-10-24 / 二轮 / 三轮 2026-10-25，PR #279 五 bot 检视闭环；二轮修订 1/3/4、新增 6-9；三轮修订 3/5） 1. **`/32` 单位错误（Critical）**：原模板 init/run 两处 `svl / 32` 把 arm64_require_sme_svl 返回的 **SVL 字节**当作位处理，差 8×——128-bit 档 @@ -564,6 +579,24 @@ instead of assuming one tier: 既有 16-run 表（findings.md @ ebe08632）的 exit 列取自修前脚本（grep 退出码），该列仅"有匹配行"语义；权威逐 run 证据是 kernel 自身 stdout 的 FAILS/axis/checksum/cols 列，未来重跑以修正后脚本为准。 + **三轮补充（cols 档位断言 + 跨 run 轴向一致）**：二轮程序化检查只拦 + FAILS≠0 与 axis 未决，仍有两条假绿通道——(a) gem5 忽略/裁剪 + `--sme_vl $T` 时 kernel 按真实 SVL 自洽生成 golden，FAILS=0 照常通过， + 错误几何流入 Task 2；(b) 各档轴向分歧（一档 ROW 一档 COLUMN）时 + fails_ok 仍全 0，单一 golden 公式对部分 VL 必错。脚本再加两条断言： + 解析 `^sme_fmopa_za_dual:` 行的 cols= 并要求 `cols==4*T`（4/8/16/32 + 对应 T=1/2/4/8）；解析 axis= 并以首个有效 ROW/COLUMN 为基准做跨 run + 一致性比对，分歧即 fails_ok=1。**回溯核验**：既有 16-run 表 + （findings.md @ ebe08632）cols 逐档 4/8/16/32、axis=COLUMN ×16，两 + 断言全过，既有证据无需重跑。**模板/实际 kernel 标签分歧（本轮核验 + 中发现）**：双失配时本模板印 UNKNOWN（一轮修正），实际 kernel + （ebe08632 与 #280 的 959a5fa7）印 NEITHER；实际 kernel 的 checksum + 行仍是裸十六进制（无 `checksum=` 标签，展示 grep 的 checksum 分支只 + 匹配模板输出）。脚本的 axis 拒绝已双态兼容 `axis=(UNKNOWN|NEITHER)`， + cols/axis 解析锚定行首 `^sme_fmopa_za_dual:`（gem5 日志的 + `command line:`/`Returning '…'` 行含 workload 名但均不在行首，实测 + p283v 日志核验），不受标签分歧影响；kernel 侧标签统一属 gem5-fi 仓 + 后续（与第 6 条 FNV 基数修正同批），不由本计划文档承载。 4. **跳过返回值契约勘误（二轮再勘：契约随分支分裂，一轮断言只对了一半）**： Interfaces 与 Task 3 政策原文"-1 = 已 log_skip"系错误；一轮勘误改写为 "实际契约是 EXIT_SKIP(-255)"——但该断言对**本计划治理的执行分支**不 @@ -583,7 +616,11 @@ instead of assuming one tier: "test bug, not SDC" 分类措辞中性化（自检走同一硬件路径，无独立 oracle 依据支撑分类断言）。二轮：local-claude 6 条（契约分裂/防线③1024 档/ FNV 基数/fixed 模式 seed 空操作/FAILS 程序化比对/四处同步清单）+ - codex 配额类，全部采纳，处置见本节 1/3/4 修订与 6-9 新增。 + codex 配额类，全部采纳，处置见本节 1/3/4 修订与 6-9 新增。三轮： + coderabbit 2 条（cols 档位断言 / 跨 run 轴向一致，均 Major——walkthrough + Merge Risk 段同义复述）+ review 头（Actionable=2 计数，无独立发现）， + 两条采纳，脚本 fail-closed 加固与标签分歧记录见本节 3 三轮补充； + codex/greptile 配额类、local-claude 对该 head 未发信号。 6. **FNV-1a 64 位 offset basis 掉尾笔误（二轮）**：kernel 模板与实际执行 kernel（gem5-fi ebe08632）的偏移基数均为 1469598103934665603——规范值 14695981039346656037（0xcbf29ce484222325）掉尾位 7；质数 1099511628211