| Files | Last commit | Last update |
|---|---|---|
[fresnel_sin] quality-hardening：算子质量加固修复（准入+检视问题整改） Co-authored-by: handsomeRobot_SK<suke13@huawei.com> # message auto-generated for no-merge-commit merge: !6194 merge fresnel_sin_quality_hardening into master [fresnel_sin] quality-hardening：算子质量加固修复（准入+检视问题整改） Created-by: handsomeRobot_SK Commit-by: handsomeRobot_SK Merged-by: cann-robot Description: # [fresnel_sin] quality-hardening：算子质量加固修复（准入+检视问题整改） ## 一、变更概述 本 PR 为 fresnel_sin 算子转测准入（ops-admission-scan 白盒）+ 代码检视（ascendc-code-review file-review 全量）双报告问题的整改合入： - **准入扫描（2026-09-23）**：唯一真实 FAIL 为 ascend950 ini [FresnelSin] section 残留（P-E3，已由上游 canndev legacy 下线删除闭环）；另一自动化 FAIL（15.5 f_dtype）经人工复核为 README "DOUBLE" 措辞被 dtype 正则误命中的工具误报；另有提示级问题 P-D/P-D2/P-INFO。 - **代码检视（2026-09-23）**：LOG-1 裸 OP_LOGE FAIL 5 处（H1-H5）、SUSPICIOUS 6 项（L1-L6）、设计一致性偏差 5 项（M1-M5）、风格 3 项（S1-S3）、文档格式 3 处（D1-D3）。 修复对象覆盖主线（math/fresnel_sin/，GE 交付主体，TBE 结构）与实验侧（experimental/math/fresnel_sin/，Ascend C l0op + aclnn 两段式）**双实现**：日志结构化、UB 容量校验、TilingData 字段整治、输出舍入模式对齐、大值截断机制显式化（两实现口径一致）等；交付件 DESIGN.md/REQUIREMENTS.md 同步至 v1.1，测试用例补齐空 tensor/边界/压力用例。共 7 个代码 commit（基线 2a12b1423 起）+ 2 个交付件同步 commit（625b165/8a47e70 中本算子部分）。 **适用审阅视角**：主线/实验侧均为 kernel + tiling + host 混合改动；无属性算子（proto/def 无 ATTR），无 TensorList/SIMT/MC2 路径介入。 ## 二、分类修改清单 ### （一）代码（ops-math 仓，主线 math/fresnel_sin + 实验侧 experimental/math/fresnel_sin） | 文件（范围） | 修改内容 | 对应问题 | |---|---|---| | 实验侧 op_host/arch35/fresnel_sin_tiling.cpp | H1/H2 裸 OP_LOGE 改结构化宏（EZ0016/EZ0007）；新增 GetTileUbBytes() UB 容量校验（不足报错）；删除只写不读字段写入（L5）；4 处单行 if 补大括号（S2） | H1/H2、L2、L5、S2 | | 实验侧 op_kernel/arch35/fresnel_sin_tiling_data.h | baseLength/tailLength 由 uint32_t 改 int64_t，防 GM 偏移截断 | L1 | | 实验侧 op_kernel/arch35/fresnel_sin.h | 输出 Cast 由 CAST_NONE 改 CAST_RINT（M1）；1e-30f 魔数命名 EPS_GUARD（L3） | M1、L3 | | 实验侧 op_api/aclnn_fresnel_sin.cpp、op_api/fresnel_sin.cpp | 3 处裸 OP_LOGE 改 OP_LOGE_WITH_INVALID_INPUT_DTYPE / OP_LOGE_FOR_INVALID_SHAPES_WITH_REASON（H3/H4/H5） | H3/H4/H5 | | 实验侧 op_api/aclnn_fresnel_sin.h | 头注释空 tensor 措辞明确化（0-8 维任意 shape 含空 tensor） | P-D2 | | 主线 op_kernel/arch35/fresnel_sin.h | 死代码清理（未用常量、被覆盖的 NaN 掩码 Compare，L4）；恢复 ASYM_THRESH=36974.0f 并接入 CompareScalar(GE) 显式截断分支（L6）；单行 if 补大括号、成员变量分行声明（S1/S3） | L4、L6、S1、S3 | 修复机制说明（L6）：主线大值截断由原先 |x|==|x|+1 饱和（≈2^24 起触发）改为显式 |x|≥36974（GE）阈值分支，[36974, 2^24) 区间按 DESIGN §1.3 显式截断为 sign(x)*0.5，±Inf 同落该掩码，与实验侧 maskClamp（Compare(maskClamp, |x|, 36974, GE)）口径一致；结果数值等价，两实现机制对齐。 ### （二）资料（operator-artifacts/fresnel_sin 交付件） | 文件 | 修改内容 | 对应问题 | |---|---|---| | DESIGN.md（v1.1） | workspace 非 0（系统 Sin/Cos 临时空间）说明、arch22 未实现状态说明、双实现 TilingKey/TilingData 差异记录、输出 Cast 舍入 CAST_RINT、主线大值截断机制说明 | M3/M4/M5 收口 + L6 机制同步 | | REQUIREMENTS.md（v1.1） | workspaceSize 参数口径修正（GetLibApiWorkSpaceSize，可能非 0；空 tensor 时为 0）、Workspace/资源约束章节同步、GE 图模式静态/动态 shape 支持标记修正；"0-8 维" 空格清理（D1/D2） | M3/M4 + D1/D2 | | DESIGN.md:414 | "248 KB" 改 "248KB"（D3）；v1.1 版本历史留痕 | D3 | ### （三）用例（operator-artifacts/fresnel_sin/测试用例） - fresnel_sin_tf_e2e_cases.csv：新增 18 条——rank5-8 各 1、1GiB 压力 fp32/fp16/bf16 各 1、特殊值（±0、NaN、±Inf）三 dtype 各 1、空 tensor 1D（fp16/bf16）与 2D 0×3（fp32/fp16/bf16）共 5、边界值（fp32 max/denorm、fp16 max/min、bf16）3； - test_cases_spec.csv：新增 5 条**空 tensor 边界用例**（1D 空、2D 0×3，fp16/bf16/fp32，带容差列），补齐覆盖度报告指出的空 tensor 专项用例缺口。 ## 三、逐 commit 摘要表 ops-math 分支（基线 2a12b1423 → HEAD，7 个）： | # | commit | 标题 | 涉及文件 | 对应问题 | |---|---|---|---|---| | 1 | 32fc3c64c | fix: 实验侧 tiling LOG-1 结构化日志+UB 容量校验+TilingData 字段整治 | 实验侧 tiling.cpp、tiling_data.h | H1/H2、L1、L2、L5 | | 2 | ffcd16efe | fix: 实验侧 kernel 输出 Cast 改 CAST_RINT+命名 1e-30f 魔数 | 实验侧 kernel fresnel_sin.h | M1、L3 | | 3 | 8319a90ed | fix: 清理主线 kernel 死代码 | 主线 kernel fresnel_sin.h | L4 | | 4 | fa23a8441 | docs: 修正 aclnn 头注释空 tensor 措辞 | 实验侧 aclnn_fresnel_sin.h | P-D2 | | 5 | 34e9e4786 | fix: op_api 三处裸 OP_LOGE 改用结构化预定义宏 | 实验侧 aclnn_fresnel_sin.cpp、fresnel_sin.cpp | H3/H4/H5 | | 6 | 84d83c99e | style: 补齐 STYLE-2.4 大括号与 STYLE-2.8 变量分行 | 实验侧 tiling.cpp、主线 kernel fresnel_sin.h | S1/S2/S3 | | 7 | 02039ad1e | fix: 主线显式实现 36974 大值截断阈值(L6) | 主线 kernel fresnel_sin.h | L6 | 交付件同步（operator-artifacts 仓，本算子部分）： | # | commit | 标题 | 涉及文件 | 对应问题 | |---|---|---|---|---| | 8 | 625b165 | quality-hardening: 19算子批量修复（本算子部分） | fresnel_sin/DESIGN.md（v1.1）、REQUIREMENTS.md（v1.1）、测试用例/fresnel_sin_tf_e2e_cases.csv（+18）、test_cases_spec.csv（+5） | M3/M4/M5、D1-D3、用例补齐 | | 9 | 8a47e70 | quality-hardening: 第二轮补修（本算子部分） | fresnel_sin/DESIGN.md（区间3 阈值符号 GT→GE、"两实现一致"口径）、REQUIREMENTS.md | L6 交付件口径同步 | 外部闭环：P-E3（ascend950 ini [FresnelSin] 残留）随 canndev 上游 legacy 下线提交（2026-09-18，删除含 FresnelSin 在内 20 个算子的 ascend950 ini 段）删除；已复核当前 ascend950 ini 无该 section。 ## 四、测试与验证 ### 构建（主线/实验侧两套实现均覆盖） - **主线包全量构建**（含 kernel bin 重编）：通过（commit 02039ad1e 验证记录）； - **实验侧全量构建**：通过（commit 34e9e4786 验证记录，含 opapi 目标日志栈隔离改动）； - **代码风格**：clang-format dry-run 校验通过，大括号/分行整改不被格式化工具回退（commit 84d83c99e 验证记录）。 ### 白盒准入复扫（无 NPU 静态证据） - P-E3 修复后准入扫描无残留 FAIL 项（15.5 f_dtype 为工具误报另案，见未完成事项）； - 异常三层检测（Tiling/op_api/LLM 审视）与工程规范 6 项（E1-E6）均 PASS； - 用例覆盖度：kernel 侧 95.9%、aclnn 侧 81.2%，均 PASS（≥80%），空 tensor 用例已按此轮改动补齐。 ### UT 与真机 - **UT**：受本地环境限制（ophost UT 进程无法找到算子 impl 注册 "not found FresnelSin"，同仓 abs/fresnel_cos 对照也全挂），UT 未能跑通，待环境修复后复跑；本 PR 未改 UT 代码； - **精度/性能**：无 NPU 环境，未新增实测；沿用交付件历史精度/性能报告（operator-artifacts/fresnel_sin/测试报告/，2026-09-15/18，scipy golden 两方/三方）。M1（CAST_RINT）与 L6（显式 36974 阈值）均为机制对齐类修改：前者直接降低 fp16/bf16 舍入误差，后者数值与原饱和路径等价（区间 3 输出恰为 ±0.5 边界值），预期不影响既有精度结论，真机验证随转测执行。 ## 五、未完成事项与限制（审阅须知） ### 三禁区声明（需架构/产品裁决，不在本 PR 范围） 1. **ACLNN 接口交付范围未定**（admission P-D）：实验侧手写 aclnn 两段式接口存在但当前 ACLNNTYPE=aclnn_exclude + DISABLE_IN_OPP，全仓无 docs/aclnnFresnelSin.md。若实验侧随交付则需补文档（含错误码表，覆盖 ACLNN_ERR_PARAM_NULLPTR/PARAM_INVALID）；此 PR 未动 aclnn 交付配置与文档目录结构。 2. **910B（arch22/DAV_2201）产品支持矛盾**（code-review M2）：spec.yaml/REQUIREMENTS/README 声明支持 Ascend910B，实现仅 arch35 且 l0op 强制 DAV_3510，无 op_kernel/arch22 目录；DESIGN v1.1 仅记录了"arch22 未实现"状态说明，spec/需求的声明未改动（删声明或补实现属产品决策）。 3. **主线（GE）与实验侧（Ascend C）双实现并存，交付侧别未收敛**（admission P-INFO + 检视附注 3）：两实现算法同源但接口/结构差异大，REG_OP(FresnelSin) 仅主线有；收敛其一属大改动，需架构裁决。DESIGN v1.1 §3.2/§3.3 已记录双实现差异，未做收敛决策。 ### 环境限制 - **无 NPU/TTK**：GEIR TTK 动态 shape 真机测试、异常输入真机实测（admission 标记 UNAVAILABLE）及覆盖度报告残留缺口（DT_INT32 边界 ±2.14748e+09、UB 整除、aclnn 异常用例部分）未补证，待转测拿到 NPU 后执行 run_ttk_geir.sh / run_ttk_exception.sh 并回填测试报告目录。 ### 已知未修低危项 / 工具冲突 - README 约束说明 "不支持DOUBLE（FP64）" 措辞仍会触发扫描器 dtype 正则误报（P-W1，为规避需确认扫描器口径的文档措辞改动）；无有意设计类未修项。 以上 5 项未修项的完整条目、决策人与修复条件，见 /home/s00947152/LongTail/guide/未修项明细/fresnel_sin_未修项明细.md。 See merge request: cann/ops-math!6194 | 1 month ago |