[P3] 转置感知 dValue 建模当前不生效：c/d 生成守卫与条件4/约束器口径不一，且新增转置测试全部空转 #19

New Issue

admin · 2026-09-03T13:03:57Z

admin commented

2026-09-03 13:03:57 +00:00

iter_batch.py 的 l1_form c/d 生成守卫仍要求 k_l1dt >= 128B（:52/:60），而条件 4 的转置感知判据（dv_a=Mdt / dv_b=Ndt 等，OR 语义）只有在 c/d 形态生成后才检查——凡能生成 c/d 的 case，非转置侧 dv=k_l1dt 必然 >=128B，转置分支实际不可能改变判定（复评报告 v3.0 §2.2/R5）。且 TestTransposeModeling 三个用例全部落在形态 a/b（整驻留豁免）或带 if 的空转断言上，未命中 c/d。另外 constraints.py 的 dValue 检查也未感知转置（k_l1*dt 单值判据）。
期望：把转置感知 dValue 判据同源化到三处（l1_form 生成守卫 / check_conditions 条件 4 / constraints 校验），非转置行为保持不变；补真实 c/d+转置回归用例（例如 B=64 M=N=4096 K=4096 bf16：A 转置应能走 IterBatch 形态 d，A 不转置仍被挡）。

iter_batch.py 的 l1_form c/d 生成守卫仍要求 k_l1*dt >= 128B（:52/:60），而条件 4 的转置感知判据（dv_a=M*dt / dv_b=N*dt 等，OR 语义）只有在 c/d 形态生成后才检查——凡能生成 c/d 的 case，非转置侧 dv=k_l1*dt 必然 >=128B，转置分支实际不可能改变判定（复评报告 v3.0 §2.2/R5）。且 TestTransposeModeling 三个用例全部落在形态 a/b（整驻留豁免）或带 if 的空转断言上，未命中 c/d。另外 constraints.py 的 dValue 检查也未感知转置（k_l1*dt 单值判据）。期望：把转置感知 dValue 判据同源化到三处（l1_form 生成守卫 / check_conditions 条件 4 / constraints 校验），非转置行为保持不变；补真实 c/d+转置回归用例（例如 B=64 M=N=4096 K=4096 bf16：A 转置应能走 IterBatch 形态 d，A 不转置仍被挡）。

admin commented

2026-09-03 13:10:25 +00:00

【修复说明 · 乱码重写】原评论提交时编码损坏、内容不可恢复, 以下按 git 记录 / issue 正文 / 残留文本重建 (要点级, 非逐字原稿):

[P3] 转置感知 dValue 建模不生效 (c/d 守卫与条件4/约束器口径不一, 转置测试空转) 已修复 (commit 9afe6ee):

models.dvalue_contig_dims 作为三处同源判据: A 转置判 Mdt / A 不转置判 k_L1dt,
B 不转置判 Ndt / B 转置判 k_L1dt;
l1_form c/d 生成守卫、IterBatch 条件 4、constraints 校验全部收敛到该判据;
form c 双缓冲适配修复 (驻留侧 + 2k_L1对侧 <= 预算, 防 k_L1 抬到 16 超预算的假方案);
新增真实命中 c/d 形态的回归 test_issue19_transpose_dvalue_guard_effective。

【修复说明 · 乱码重写】原评论提交时编码损坏、内容不可恢复, 以下按 git 记录 / issue 正文 / 残留文本重建 (要点级, 非逐字原稿): [P3] 转置感知 dValue 建模不生效 (c/d 守卫与条件4/约束器口径不一, 转置测试空转) 已修复 (commit 9afe6ee): - models.dvalue_contig_dims 作为三处同源判据: A 转置判 M*dt / A 不转置判 k_L1*dt, B 不转置判 N*dt / B 转置判 k_L1*dt; - l1_form c/d 生成守卫、IterBatch 条件 4、constraints 校验全部收敛到该判据; - form c 双缓冲适配修复 (驻留侧 + 2*k_L1*对侧 <= 预算, 防 k_L1 抬到 16 超预算的假方案); - 新增真实命中 c/d 形态的回归 test_issue19_transpose_dvalue_guard_effective。

admin closed this issue

2026-09-03 13:10:25 +00:00

admin referenced this issue

2026-09-04 08:31:08 +00:00

[P1] dValue 下限约束口径矛盾：IterBatch 形态 a/b"恒满足"与评估器 k_L1*dtype>=128B 检查冲突 #6

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: admin/matmul-analysis#19