Results
Headline (RTX 5090, real PI052 shapes, GQA kv_heads=1)
At the REAL attention shapes (q 8 heads / kv 1 head, D=256, bf16) the
materialized-logits manual backend (cuBLAS GEMMs + one compiled masked
softmax, native autograd) beats every fused path on fwd+bwd:
| shape | SDPA fwd/fwd+bwd | best flex fwd | best flex fwd+bwd | manual fwd/fwd+bwd | manual vs flex (fwd+bwd) |
|---|---|---|---|---|---|
| b4_p700_k5_c50 | 1.581 / 4.006 | 0.262 | 2.597 | 0.360 / 1.285 | 2.0x |
| b2_p700_k5_c50 | 0.775 / 2.011 | 0.166 | 2.486 | 0.221 / 0.864 | 2.9x |
| b1_p700_k5_c50 | 0.453 / 1.292 | 0.139 | 2.180 | 0.127 / 0.977 | 2.2x |
| b4_p512_k5_c50 | 0.967 / 2.601 | 0.179 | 1.934 | 0.245 / 1.057 | 1.8x |
| b4_p896_k5_c50 | 2.332 / 5.667 | 0.323 | 2.634 | 0.515 / 1.854 | 1.4x |
| b4_p700_k1_c50 | 1.009 / 2.660 | ERROR | ERROR | 0.279 / 0.975 | flex NaN/err at K=1 |
| b4_p700_k8_c50 | 2.116 / 5.212 | 0.301 | 2.673 | 0.497 / 1.719 | 1.6x |
(5090, torch 2.11.0+cu128, median of 10 after 5 warmup, harness includes per-iter leaf clones + loss; flex rows are the best of {default, bwd_shrunk_only} x {64x64, 128x128}.)
- vs the SDPA dense-mask baseline the manual backend is 2.3-3.1x on fwd+bwd, on every shape.
- manual peak (fwd) memory is 0.35-0.43x of the SDPA path — the dense additive mask the SDPA path materializes costs more than the transient logits.
TORCHINDUCTOR_MAX_AUTOTUNE=1trims manual fwd another ~14% (0.360 -> 0.311 at b4_p700_k5); fwd+bwd unchanged.
Why (mechanism, not vibes)
- GQA is the fidelity key. With 8 kv heads (earlier sweeps) flex fwd+bwd looked best. At the real kv_heads=1: the flex BACKWARD autotune has no valid config on the 5090 (needs 112 KB shared memory, hardware 101 KB) and even the shrunken-tile fallback runs 2.2-2.7 ms — the backward dominates everything. The manual backward is four cuBLAS GEMMs + a fused softmax-grad chain: 0.5-1.4 ms.
- flex forward stays the fastest single direction (autotune, 128x128 or 64x64 masks) — but you cannot combine flex-fwd with manual-bwd, and fwd+bwd is what training pays.
- Precision class: manual materializes logits in bf16, so outputs differ from the fp32-softmax fused paths by up to ~1.2e-2 max-abs (flex class: ~2e-3). Model-level parity gates (loss rel <= 1e-3, grads <= 1%) are the ship test; the fwd-diff gate for manual is tracked separately.
Per-architecture verdict (final, 2026-07-09)
| arch | local microbench | real-model E2E | verdict |
|---|---|---|---|
| RTX 5090 (sm120 consumer) | manual 2.3-3.1x vs SDPA, 1.4-2.9x vs flex | flow -7.8% / text -11.6% | manual ON |
| A100 (sm80) | manual wins, incl. vs the repeat-interleave production baseline (B1/P1024: 1.98 vs 3.60 ms) | LOSES (text 436 vs 386 ms; action-only scope and eager-vs-compiled both exonerated) | manual OFF — integration-level interaction, parked |
| H200 (sm90) | manual LOSES the microbench outright (1.80 vs sdpa_repeat 1.18 at B1/P1024) — Hopper FMHA is too strong | not needed | manual OFF |
| RTX PRO 6000 (sm120 workstation) | pending | pending | expected ON (5090 arch family) |
flex_attention(impl="auto") encodes this: manual only on sm120-class
CUDA with no dropout, SDPA elsewhere.
Dispatch recommendation (as of 2026-07-09)
- 5090-class training (fwd+bwd):
manualeverywhere;TORCHINDUCTOR_MAX_AUTOTUNEoptional (+14% fwd). - fwd-only (inference prefill): flex
defaultautotune, mask 64x64 (128x128 for P>=896-class shapes). - A100/H100/H200: SDPA path (see the verdict table).
Measured and closed follow-up levers (2026-07-09)
- bf16-saved-p custom autograd (
manual_attention_part_v2): REJECTED end-to-end. Against the EAGER composed part it wins 1.32-1.48x fwd+bwd (fused softmax-gradient chain) — but the production form is the composed part undertorch.compile, where AOTAutograd's partitioner already generates a fused backward and manages what gets saved; the hand-written Function blocks that whole-graph treatment and measured slower on the real model (text step 341.6 vs 333.3 ms on a 5090). The symbol stays exported for API stability and as the documented negative. Lesson (third time this project): compare against the PRODUCTION form of the baseline, not its eager form. - Structural 3-GEMM split: DOWNGRADED. The synthetic harness's half/half att pattern overstates it — on the real model, flow-step prefixes are fully bidirectional (no maskable quadrant) and text-step causal spans vary per sample (no uniform split). The remaining uniform win is the action cross-chunk block (~7% of attention FLOPs); not scheduled.
Next levers (not yet implemented)
- Native CUDA fused kernel: manual sits at ~20% of bf16 peak on the 5090 (harness-inclusive); an FA2-style specialized kernel (D=256, GQA, prefix-dense + action-block) targeting 40-50% would be another ~2x. Entry per house rules: only after 1-2 are in and the remaining gap is confirmed on both archs.
History
Earlier 8-kv-head sweeps (superseded — wrong KV shape for PI052):
5090 flex fwd+bwd best 1.48-2.55 ms vs SDPA 3.97; A100 matrix at 8 kv
heads showed flex positive at real shapes with 64x64 masks. Those runs
also established: torch autotune beats every hand preset at 8 heads;
torch_default_explicit NaNs at K=1; ROWS_GUARANTEED_SAFE /
BLOCKS_ARE_CONTIGUOUS / PRESCALE_QK no help on 5090.
No native CUDA performance results are claimed yet.