CK mha bwd: add sink attention score gradient support - #2321
Conversation
🏷️ CI GuideRuns automatically on every PR:
Extended tests (opt-in via labels):
|
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
This PR extends the CK-backed MHA backward paths (mha_bwd / mha_varlen_bwd) to accept sink attention log-scores and optionally accumulate a sink gradient (d_sink), and adds Python tests to validate d_sink correctness.
Changes:
- Plumbs
sink/d_sinkthrough the Torch C++ interfaces, pybind args, and CK kernel argument structs. - Updates CK kernel launch argument packing to pass sink pointers into backward kernels (batch + varlen).
- Adds new GPU tests for
mha_bwdandmha_varlen_bwdd_sinkaccumulation vs a PyTorch reference.
Reviewed changes
Copilot reviewed 10 out of 10 changed files in this pull request and generated 4 comments.
Show a summary per file
| File | Description |
|---|---|
op_tests/test_mha_sink_bwd.py |
New tests validating d_sink accumulation for batch and varlen backward kernels. |
aiter/ops/mha.py |
Updates Python-exposed mha_bwd / mha_varlen_bwd signatures to accept sink / d_sink. |
csrc/include/torch/mha_bwd.h |
Extends the Torch C++ API for mha_bwd to accept sink / d_sink. |
csrc/include/torch/mha_varlen_bwd.h |
Extends the Torch C++ API for mha_varlen_bwd to accept sink / d_sink. |
csrc/include/rocm_ops.hpp |
Adds sink / d_sink parameters to the pybind signatures for backward ops. |
csrc/include/mha_bwd.h |
Extends mha_bwd_args with sink pointer fields. |
csrc/cpp_itfs/mha_bwd.cu |
Passes sink pointers into the CK fmha_bwd_args used by the non-asm path. |
csrc/py_itfs_ck/mha_bwd_kernels.cu |
Adds optional sink/d_sink plumbing to CK batch-mode backward wrapper. |
csrc/py_itfs_ck/mha_varlen_bwd_kernels.cu |
Adds optional sink/d_sink plumbing to CK varlen backward wrapper. |
csrc/py_itfs_cu/fmha_bwd_pre_post_kernel_generate.py |
Updates codegen template to include LSEDataType in pipeline problem typing. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
You can also share your feedback on Copilot code review. Take the survey.
Three fixes required after the CK submodule was updated to the sink_bwd_cherry_pick branch: 1. fmha_bwd_traits no longer carries seqlen/batch/nhead fields. Remove the now-stale seqlen_q, seqlen_k, batch, max_seqlen_*, nhead_q, nhead_k arguments from the traits initializer lists in mha_bwd.cu, mha_bwd_kernels.cu, and mha_varlen_bwd_kernels.cu. 2. nhead_stride_dq_acc / batch_stride_dq_acc are int64_t in mha_bwd_args but ck_tile::index_t (int) in fmha_bwd_args. Add explicit static_cast<ck_tile::index_t> to silence the narrowing-conversion errors. 3. fmha_bwd_launcher was removed from the new CK API. Replace launcher.dq_acc_splits with the equivalent expression ceil(seqlen_k / 16) for deterministic mode and 1 otherwise, matching the logic documented in fmha_bwd_runner.hpp. Replace launcher.needs_zero_dq_acc with unconditional torch::zeros: the dq_dk_dv kernel always writes dq_acc via atomicAdd (even in non-deterministic mode), so an uninitialized accumulator silently corrupts dQ for hdim >= 128 where the convert_dq kernel is active. All 22 sink-bwd tests pass after this change.
ce79c80 to
35200bf
Compare
This reverts commit 7481fd6.
Signed-off-by: Linjun-AMD <Jun.Lin@amd.com>
There was a problem hiding this comment.
Pull request overview
This PR extends the CK-backed MHA backward APIs to accept per-(batch, head) sink attention log-scores and optionally accumulate a per-head sink gradient (d_sink), with new Python tests validating d_sink for both batch and varlen backward paths.
Changes:
- Plumb
sink/d_sinkthrough the C++ torch interfaces, pybind bindings, and CK kernel argument packing formha_bwdandmha_varlen_bwd. - Update CK backward launcher behavior (nsplits / dq_accum initialization) and pass sink pointers into CK bwd kernels.
- Add new GPU tests to validate
d_sinkaccumulation vs a PyTorch reference (batch + varlen).
Reviewed changes
Copilot reviewed 12 out of 12 changed files in this pull request and generated 3 comments.
Show a summary per file
| File | Description |
|---|---|
| op_tests/test_mha.py | Adds batch-mode mha_bwd tests for d_sink correctness and regression checks for dQ/dK/dV. |
| op_tests/test_mha_varlen.py | Adds varlen-mode mha_varlen_bwd tests for d_sink correctness (equal + variable lengths). |
| csrc/py_itfs_cu/fmha_bwd_pre_post_kernel_generate.py | Updates CK codegen template args to include LSEDataType. |
| csrc/py_itfs_ck/mha_bwd_kernels.cu | Extends CK batch bwd wrapper to accept/pass sink and d_sink. |
| csrc/py_itfs_ck/mha_varlen_bwd_kernels.cu | Extends CK varlen bwd wrapper to accept/pass sink and d_sink. |
| csrc/include/torch/mha_bwd.h | Adds sink / d_sink to the torch C++ API for batch bwd. |
| csrc/include/torch/mha_varlen_bwd.h | Adds sink / d_sink to the torch C++ API for varlen bwd. |
| csrc/include/rocm_ops.hpp | Adds pybind args sink / d_sink for the two bwd entry points. |
| csrc/include/mha_bwd.h | Extends the low-level mha_bwd_args struct with sink pointers. |
| csrc/cpp_itfs/mha_bwd.cu | Plumbs sink pointers into CK args and adjusts stride casts. |
| aiter/ops/mha.py | Updates Python op signatures to accept sink / d_sink. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Signed-off-by: Linjun-AMD <Jun.Lin@amd.com>
local test passed |
* CK mha bwd: add sink attention score gradient support * test: add varlen sink bwd tests to test_mha_sink_bwd * Update op_tests/test_mha_sink_bwd.py Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> * style: apply black formatting to test_mha_sink_bwd * test: move sink bwd tests into test_mha.py and test_mha_varlen.py * style: apply black formatting to sink bwd tests in test_mha and test_mha_varlen * fix: adapt mha bwd to updated CK fmha_bwd API and zero dq_accum Three fixes required after the CK submodule was updated to the sink_bwd_cherry_pick branch: 1. fmha_bwd_traits no longer carries seqlen/batch/nhead fields. Remove the now-stale seqlen_q, seqlen_k, batch, max_seqlen_*, nhead_q, nhead_k arguments from the traits initializer lists in mha_bwd.cu, mha_bwd_kernels.cu, and mha_varlen_bwd_kernels.cu. 2. nhead_stride_dq_acc / batch_stride_dq_acc are int64_t in mha_bwd_args but ck_tile::index_t (int) in fmha_bwd_args. Add explicit static_cast<ck_tile::index_t> to silence the narrowing-conversion errors. 3. fmha_bwd_launcher was removed from the new CK API. Replace launcher.dq_acc_splits with the equivalent expression ceil(seqlen_k / 16) for deterministic mode and 1 otherwise, matching the logic documented in fmha_bwd_runner.hpp. Replace launcher.needs_zero_dq_acc with unconditional torch::zeros: the dq_dk_dv kernel always writes dq_acc via atomicAdd (even in non-deterministic mode), so an uninitialized accumulator silently corrupts dQ for hdim >= 128 where the convert_dq kernel is active. All 22 sink-bwd tests pass after this change. * update ck to ROCm/rocm-libraries#5504 * Revert "update ck to ROCm/rocm-libraries#5504" This reverts commit 7481fd6. * update ck commit Signed-off-by: Linjun-AMD <Jun.Lin@amd.com> * update bwd args Signed-off-by: Linjun-AMD <Jun.Lin@amd.com> * [CK] update mha bwd traits args and fix sink_ptr comments * [CK] fix mha_bwd_args initializer in benchmark_mha_bwd.cpp for sink_ptr/d_sink_ptr --------- Signed-off-by: Linjun-AMD <Jun.Lin@amd.com> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Po Yen Chen <PoYen.Chen@amd.com>
PR #2321 inlined launcher.dq_acc_splits / needs_zero_dq_acc as a hardcoded `nsplits = ceil(seqlen_k/16)` and unconditional zero, because the CK branch it bumped to had temporarily removed fmha_bwd_launcher. The pinned CK now has the launcher back, so restore the #2216 pattern: construct fmha_bwd_traits + fmha_bwd_launcher and read nsplits and needs_zero_dq_acc from it. Functional behavior is unchanged with the current pinned CK; this is a prep commit to keep the diff for the upcoming #6152 (unified workspace) adaptation small. Touched files: - csrc/py_itfs_ck/mha_bwd_kernels.cu (batch CK entry) - csrc/py_itfs_ck/mha_varlen_bwd_kernels.cu (group CK entry) - op_tests/cpp/mha/benchmark_mha_bwd.cpp (benchmark host)
* [CK_TILE] mha bwd: switch to fmha_bwd_launcher usage PR #2321 inlined launcher.dq_acc_splits / needs_zero_dq_acc as a hardcoded `nsplits = ceil(seqlen_k/16)` and unconditional zero, because the CK branch it bumped to had temporarily removed fmha_bwd_launcher. The pinned CK now has the launcher back, so restore the #2216 pattern: construct fmha_bwd_traits + fmha_bwd_launcher and read nsplits and needs_zero_dq_acc from it. Functional behavior is unchanged with the current pinned CK; this is a prep commit to keep the diff for the upcoming #6152 (unified workspace) adaptation small. Touched files: - csrc/py_itfs_ck/mha_bwd_kernels.cu (batch CK entry) - csrc/py_itfs_ck/mha_varlen_bwd_kernels.cu (group CK entry) - op_tests/cpp/mha/benchmark_mha_bwd.cpp (benchmark host) * [CK_TILE] mha bwd: adapt to CK #6152 unified workspace API CK PR #6152 replaces fmha_bwd_args.dq_acc_ptr + the four dq_acc_* strides with a single opaque workspace_ptr, and exposes fmha_bwd_launcher.workspace_size + prepare_workspace(void*) instead of dq_acc_splits + needs_zero_dq_acc. aiter::mha_bwd_args is unchanged (no new fields). The existing dq_acc_ptr field doubles as the CK workspace pointer for the CK path; the four dq_acc_* stride fields are kept for the ASM v3 path that still consumes them. The torch entries (mha_bwd_kernels.cu / mha_varlen_bwd_kernels.cu / benchmark_mha_bwd.cpp) construct the launcher, allocate an at::Tensor workspace of launcher.workspace_size bytes, call launcher.prepare_workspace, and pass workspace.data_ptr() through dq_acc_ptr. For group mode, the launcher requires host-side seqstart arrays. The torch varlen entry copies cu_seqlens_q_padded (or cu_seqlens_q if no padded variant was provided) via .to(at::kCPU) — using the same "physical seqstart" convention that the kernel itself indexes dq_acc with. The aiter::mha_bwd dispatcher does its own hipMemcpy from a.seqstart_q_ptr / a.seqstart_k_ptr for the CK fallback path. Neither host buffer crosses the call boundary. Submodule bumped to 8a59f8afa58 (subtree-split of monorepo users/yiding12/fmha-bwd-workspace tip, includes the per-nhead dq_acc stride fix for group mode). * [CK_TILE] mha bwd: single workspace_alloc callback for both paths Removes the dual-purpose dq_acc_ptr field and the four dq_acc_* stride fields from aiter::mha_bwd_args, replacing them with one callback that serves both dispatch paths: std::function<void*(size_t bytes, bool zero_init)> workspace_alloc; - CK fallback (in aiter::mha_bwd): Constructs fmha_bwd_launcher, queries workspace_size, calls workspace_alloc(size, zero_init=false), then forwards the pointer to launcher.prepare_workspace + launcher.run. The torch entries no longer construct fmha_bwd_launcher themselves; py_itfs_ck/* shrinks considerably (traits + launcher + workspace blocks deleted, varlen also drops its private cu_seqlens D2H copy). - ASM v3 (in fmha_v3_bwd): Determines dq_accum shape and byte count internally (based on is_group_mode, v3_atomic_fp32, hdim, batch, nhead, seqlen) and calls workspace_alloc(bytes, zero_init=true). The torch entries no longer allocate or zero dq_accum themselves; py_itfs_cu/asm_mha_*.cu shrinks to a small lambda. The zero_init flag lets each backing storage pick its efficient zero path (torch::zeros, DeviceMem::SetZero, ...) instead of forcing the dispatch path to know HIP memset semantics. ASM kernels need it because they atomically accumulate into dq_accum; the CK launcher fills its own workspace and does not need a pre-zero. * [CK_TILE] mha bwd: address review comments on workspace_alloc - mha_bwd CK fallback: explicitly reject group mode with missing seqstart pointers (LOG_ERROR + return -1) instead of silently passing nullptr to the launcher. Matches the existing AITER_LOG_WARNING pattern in fmha_v3_bwd for unsupported configurations. - benchmark workspace_alloc: replace silent return-nullptr-on-oversize with AITER_CHECK so the failure is loud at the actual call site rather than as an opaque kernel crash later. Also tighten the zero-init path to hipMemset only `bytes` rather than the full pre-allocated buffer. * Update CK pin as ROCm/rocm-libraries#6152 merged
Motivation
This PR extends the CK-backed MHA backward paths (mha_bwd / mha_varlen_bwd) to accept sink attention log-scores and optionally accumulate a sink gradient (d_sink), and adds Python tests to validate d_sink correctness.
Technical Details
Plumbs sink / d_sink through the Torch C++ interfaces, pybind args, and CK kernel argument structs.
Updates CK kernel launch argument packing to pass sink pointers into backward kernels (batch + varlen).
Adds new GPU tests for mha_bwd and mha_varlen_bwd d_sink accumulation vs a PyTorch reference.
Test Plan
Add test in test_mha_bwd&varlen_bwd.py
Test Result
Local test passed
Submission Checklist