一键在 Manus 中运行任何 Skill

acc-perf

星标0

分支0

更新时间2026年7月9日 12:18

OpRunway 验收性能维的方法论薄壳——msprof kernel-only 采集 + timing_scope 必填同口径 + 基线按任务书参考源（TBE/GPU）+ 小 shape 例外，供理解「一个算子的性能该怎么比、为什么」。P2 规划的原子能力 skill：尚未接入 op-acceptance live 流、勿自动触发、不落盘、不算达标（比值/裁决唯一归确定性 perf_compare.py，ADR 0007 canonical；timing_scope 口径见 ADR 0006·proposed）。需要读懂或扩展性能对比口径、排查性能裁决时阅读。

安装

用 Codex 或 Claude 帮你安装复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。

在 Manus 中运行

来源

lllyys

lllyys/OpRunway

打开 GitHub 仓库查看创作者相关仓库

下载

在 Manus 中运行

acc-perf — 性能验收方法论（原子能力 skill）

定位（诚实，P2 边界）：本 skill 是 P2 规划的原子能力 skill，只装「性能该怎么比、为什么」的方法论指针。

不算达标、不落盘：ratio 与达标判定唯一归 ${OPRUNWAY_PLUGIN_ROOT}/acc-common/perf_compare.py（report['simulation'] 亦只此处产），渲染归 ${OPRUNWAY_PLUGIN_ROOT}/acc-common/perf_sim_plot.py（只画不判）。${OPRUNWAY_PLUGIN_ROOT} = 本插件根中立变量，Claude 下等价 ${CLAUDE_PLUGIN_ROOT}。本 skill 不复制阈值、不复刻比值、不宣告达标（ADR 0007 canonical）。
未登记进 AGENTS.md（诚实先例）：本 skill 不列入 plugin/AGENTS.md 的 skills: 清单——登记 = 声称已接入 live 流，而本 skill 未接入（live 性能对比仍走 perf_compare）。分发 / 发现由 init.sh 扇出保证（symlink plugin/skills/ 下全部 skill 目录、不依赖 AGENTS.md 登记）。待 P1 / 后续真接线再登记；本 skill 勿被自动触发。
阈值零复制：target_ratio 取自 spec.perf.target_ratio；小 shape 例外阈值取自 spec.perf.small_shape_exception（when_us_below / abs_gap_us_within），均不写死进本 skill。

方法论一 · 计时口径（timing_scope 必填、双边同口径）

NPU 侧默认 msprof op 采 kernel-only Task Duration（不含 H2D/D2H）；catlass 的 msTuner 是搜 tiling 的调优工具、不用于验收（canon catlass acceptance mechanics）。
timing_scope 必填枚举：kernel_only / device_e2e_no_h2d_d2h / host_e2e_with_h2d_d2h。NPU 与基线必须同 scope；缺失/不一致 → 不出结论、只出「不可比」诊断 BLOCKED_INCOMPARABLE_TIMING_SCOPE（timing_scope 口径出 ADR 0006·proposed·未 settle；诊断态归 Task 3 acceptance state machine·canonical——两页 tier 不同，勿混）。
稳态：warmup / iters / 取 median(p50)、保留 p90/min 属 policy（warmup≥门槛、迭代到方差收敛、排除首次编译/缓存）。

方法论二 · 基线按任务书参考源（不写死单一 GPU）

基线来源由任务书按参考源/改动目标定（spec.perf.baseline 驱动；canon Performance baseline follows the reference source·proposed·未 settle，载重前需核）：

重写类（参考内置 TBE） → 基线 = TBE（无劣化 / ≥ 任务书给定比例；当前接入的 aclnn 类算子 isclose/sign/equal/neg 均 perf.baseline=tbe，catlass matmul 属对标类、为 synthetic demo 未定基线——「均」仅限这批重写类算子，勿外推为全局）；
移植类（对标 GPU 库） → 基线 = GPU（如 A100，任务书给定比例区间）；
加 dtype 类 → 同 op 其他 dtype 不劣化；
可选 → 昇腾小算子拼接（torch 小算子链，us = Σ 各小算子 kernel-only，非整条 e2e 墙钟）。

ratio = baseline_us / npu_us（>1 表示 NPU 更快）；达标 = ratio ≥ spec.perf.target_ratio（由 perf_compare 算）。

方法论三 · 小 shape 例外（数据驱动、绝不偷偷置达标 True）

任务书常带「小 shape 例外条款」（如 <N us 差 M us 需仿真图证明）。这已在 perf_compare.py（T6）实现：小shape tag 的性能用例，若 max(NPU,基线) < when_us_below 且 |NPU−基线| ≤ abs_gap_us_within → 达标保持 False + 打 exception 标 + 记 exception_detail；report['simulation'] 由 perf_compare 独家产（唯一事实源），perf_sim_plot.py 只渲染 SVG。status=exception 且先过 gate_task3（simulation 图齐备 + 例外行↔图交叉一致 + SVG sha 钉死）→ 编排层才映射 PASSED_WITH_RISK（挂人工核仿真图，绝不偷偷把达标置 True）；门未过 → BLOCKED(验收门未过)、非 PASSED_WITH_RISK（run_workflow 先判门再判例外态）。

⚠ 脚本能力边界（诚实标注 HEAD 现状）

据代码核实（perf_compare.py / perf_sim_plot.py HEAD 现状，比早期 plan 快照更全）：

能力	perf_compare 现状	诚实口径
ratio + 达标（ratio≥target_ratio）	已实现	可判（数字归脚本）
scope 一致性门	已实现（不一致→`blocked_incomparable_timing_scope`）	可判
小 shape 例外	已实现（T6）——保持达标 False + `exception` 标 + `simulation` 块	可判「例外」态；过 `gate_task3` 后映射 `PASSED_WITH_RISK`（门未过→`BLOCKED(验收门未过)`；非 pass、非静默）
GPU 标杆 consumer	已实现（T8）——`expect_source∈{gpu,gpu_external}` 且缺基线 → `blocked_wait_gpu_benchmark`（正规挂起、非 fail）	可消费外部 GPU 标杆；真数据由外部 Task 3 给
真机小 shape 真值 / 真 GPU 数据	未有	mock/占位仅证管路；真值待真机 + 外部标杆

详规见 references/perf-methodology.md（timing_scope 枚举 · 基线谱系 · 小 shape 例外门 · Task3 blocked 路由，按 canon tier 引）。

同仓库更多 Skills

同仓库

acc-spec

lllyys/OpRunway

把算子任务书（md 本地路径或链接）+ PR 链接，抽成中立的 <op>.spec.json（OpRunway 验收流水线 Layer 0 契约）。当你拿到「算子任务书 + 对应 PR」要开始 NPU 算子验收、或需要从任务书生成 spec 时用。一份任务书含多个算子时产出多份 spec。规则由真实社区任务书语料归纳、经三个已建 spec 验证。

2026-07-230

acc-runner

lllyys/OpRunway

OpRunway 验收的代码产出 skill，两件事：(a) gen_golden——据任务书为任意算子产 <ops_root>/<op>/golden.py（真值口径走两档链、PR/仓内参考实现禁作 golden 源、后端生成期定死、check_golden.py 自检），纯 CPU、不需 NPU、不受 runner scope gate 约束；(b) gen_runner/verify_runner——为 ops-<族> 仓、aclnn 两段式接口、opp 安装型的算子（含非 experimental 子树，引擎目录/后缀已生成化），据 spec + PR 事实（算子自带 example + op_def）生成一个「锚定算子实测路径」的 per-op NPU runner（oprunway_<op.lower()>_runner.cpp），并按 runner 自检证据满足/不满足纪律（未满足则停在 CP-C、不上真机）后才交真机跑测。OpRunway 验收 ③：spec 已就绪、要在真 NPU 上跑一个此类算子的正确性/性能时用。catlass（换构建体系）/非 aclnn 接口/双实现当前不支持（需先扩 adapter，见 doc/oprunway-batch6b-design.md）。

2026-07-230

acceptance-workflow

lllyys/OpRunway

OpRunway 算子验收编排的 CP-A..E 检查点状态机——定义薄 primary orchestrator 如何调度 3 个 subagent、串工件门禁、把 pass/fail 判定唯一交给确定性脚本链（validator/perf_compare/三级验收门），供 op-acceptance primary 首响应加载。

2026-07-230

acc-casegen

lllyys/OpRunway

把算子任务书拆成原语组合、按 rule-catalog 拉每原语的必测 case 模式、实例化去重后出「功能/精度/性能」覆盖矩阵——OpRunway 验收 Task1 用例生成的展开规则。参考草案：尚未接入 op-acceptance live 流、勿自动触发；仅在需理解或扩展「任务书→用例集」的展开规则时阅读。live 用例生成由确定性 gen_cases.py 负责。

2026-07-220

acc-precision

lllyys/OpRunway

OpRunway 验收精度维的方法论薄壳——oracle 分层（谁当真值）+ dtype 分层度量（哪套标准、什么口径），供理解「一个算子的精度该怎么判、为什么」。P2 规划的原子能力 skill：尚未接入 op-acceptance live 流、勿自动触发、不落盘、不算 pass/fail（判定唯一归确定性 validator.py + precision_policy.py，ADR 0007）。需要读懂或扩展精度判定口径、排查精度裁决时阅读。

2026-07-090

acc-rootcause

lllyys/OpRunway

OpRunway 验收里任何 FAIL 归因前的解耦纪律薄壳——先验证「任务书↔PR 对应」本身，再用被测物自己的东西（自 build + 声明 dtype + 手算 golden + custom↔builtin 对照）解耦「被测物 vs 我们的 harness」，才下归因。P2 规划的原子能力 skill：尚未接入 op-acceptance live 流、勿自动触发、无脚本判定（纪律 skill，不产 verdict）。真机 FAIL 要归因、或复盘一次归因翻案时阅读。

2026-07-090

name

acc-perf

description

acc-perf — 性能验收方法论（原子能力 skill）

定位（诚实，P2 边界）：本 skill 是 P2 规划的原子能力 skill，只装「性能该怎么比、为什么」的方法论指针。

不算达标、不落盘：ratio 与达标判定唯一归 ${OPRUNWAY_PLUGIN_ROOT}/acc-common/perf_compare.py（report['simulation'] 亦只此处产），渲染归 ${OPRUNWAY_PLUGIN_ROOT}/acc-common/perf_sim_plot.py（只画不判）。${OPRUNWAY_PLUGIN_ROOT} = 本插件根中立变量，Claude 下等价 ${CLAUDE_PLUGIN_ROOT}。本 skill 不复制阈值、不复刻比值、不宣告达标（ADR 0007 canonical）。
未登记进 AGENTS.md（诚实先例）：本 skill 不列入 plugin/AGENTS.md 的 skills: 清单——登记 = 声称已接入 live 流，而本 skill 未接入（live 性能对比仍走 perf_compare）。分发 / 发现由 init.sh 扇出保证（symlink plugin/skills/ 下全部 skill 目录、不依赖 AGENTS.md 登记）。待 P1 / 后续真接线再登记；本 skill 勿被自动触发。
阈值零复制：target_ratio 取自 spec.perf.target_ratio；小 shape 例外阈值取自 spec.perf.small_shape_exception（when_us_below / abs_gap_us_within），均不写死进本 skill。

方法论一 · 计时口径（timing_scope 必填、双边同口径）

NPU 侧默认 msprof op 采 kernel-only Task Duration（不含 H2D/D2H）；catlass 的 msTuner 是搜 tiling 的调优工具、不用于验收（canon catlass acceptance mechanics）。
timing_scope 必填枚举：kernel_only / device_e2e_no_h2d_d2h / host_e2e_with_h2d_d2h。NPU 与基线必须同 scope；缺失/不一致 → 不出结论、只出「不可比」诊断 BLOCKED_INCOMPARABLE_TIMING_SCOPE（timing_scope 口径出 ADR 0006·proposed·未 settle；诊断态归 Task 3 acceptance state machine·canonical——两页 tier 不同，勿混）。
稳态：warmup / iters / 取 median(p50)、保留 p90/min 属 policy（warmup≥门槛、迭代到方差收敛、排除首次编译/缓存）。

方法论二 · 基线按任务书参考源（不写死单一 GPU）

基线来源由任务书按参考源/改动目标定（spec.perf.baseline 驱动；canon Performance baseline follows the reference source·proposed·未 settle，载重前需核）：

重写类（参考内置 TBE） → 基线 = TBE（无劣化 / ≥ 任务书给定比例；当前接入的 aclnn 类算子 isclose/sign/equal/neg 均 perf.baseline=tbe，catlass matmul 属对标类、为 synthetic demo 未定基线——「均」仅限这批重写类算子，勿外推为全局）；
移植类（对标 GPU 库） → 基线 = GPU（如 A100，任务书给定比例区间）；
加 dtype 类 → 同 op 其他 dtype 不劣化；
可选 → 昇腾小算子拼接（torch 小算子链，us = Σ 各小算子 kernel-only，非整条 e2e 墙钟）。

ratio = baseline_us / npu_us（>1 表示 NPU 更快）；达标 = ratio ≥ spec.perf.target_ratio（由 perf_compare 算）。

方法论三 · 小 shape 例外（数据驱动、绝不偷偷置达标 True）

⚠ 脚本能力边界（诚实标注 HEAD 现状）

据代码核实（perf_compare.py / perf_sim_plot.py HEAD 现状，比早期 plan 快照更全）：

能力	perf_compare 现状	诚实口径
ratio + 达标（ratio≥target_ratio）	已实现	可判（数字归脚本）
scope 一致性门	已实现（不一致→`blocked_incomparable_timing_scope`）	可判
小 shape 例外	已实现（T6）——保持达标 False + `exception` 标 + `simulation` 块	可判「例外」态；过 `gate_task3` 后映射 `PASSED_WITH_RISK`（门未过→`BLOCKED(验收门未过)`；非 pass、非静默）
GPU 标杆 consumer	已实现（T8）——`expect_source∈{gpu,gpu_external}` 且缺基线 → `blocked_wait_gpu_benchmark`（正规挂起、非 fail）	可消费外部 GPU 标杆；真数据由外部 Task 3 给
真机小 shape 真值 / 真 GPU 数据	未有	mock/占位仅证管路；真值待真机 + 外部标杆

详规见 references/perf-methodology.md（timing_scope 枚举 · 基线谱系 · 小 shape 例外门 · Task3 blocked 路由，按 canon tier 引）。