use core::ffi::c_void;
use core::marker::PhantomData;
use baracuda_cutlass::{Error, Result};
use baracuda_driver::Stream;
use baracuda_kernels_types::{
ArchSku, BackendKind, Element, ElementKind, KernelSku, MathPrecision, NormalizationKind,
OpCategory, PlanPreference, PrecisionGuarantee, TensorMut, TensorRef, Workspace,
};
use super::rms_norm::map_status;
#[derive(Copy, Clone, Debug)]
pub struct GroupNormBackwardDescriptor<const N: usize> {
pub input_shape: [i32; N],
pub channel_axis: u8,
pub num_groups: u32,
pub has_affine: bool,
pub element: ElementKind,
}
impl<const N: usize> GroupNormBackwardDescriptor<N> {
#[inline]
pub fn num_channels(&self) -> i32 {
if N >= 2 { self.input_shape[self.channel_axis as usize] } else { 1 }
}
}
pub struct GroupNormBackwardArgs<'a, T: Element, const N: usize> {
pub dy: TensorRef<'a, T, N>,
pub x: TensorRef<'a, T, N>,
pub gamma: Option<TensorRef<'a, T, 1>>,
pub saved_mean: TensorRef<'a, T, 1>,
pub saved_rstd: TensorRef<'a, T, 1>,
pub dx: TensorMut<'a, T, N>,
pub dgamma: Option<TensorMut<'a, T, 1>>,
pub dbeta: Option<TensorMut<'a, T, 1>>,
}
pub struct GroupNormBackwardPlan<T: Element, const N: usize> {
desc: GroupNormBackwardDescriptor<N>,
sku: KernelSku,
_marker: PhantomData<T>,
}
impl<T: Element, const N: usize> GroupNormBackwardPlan<T, N> {
pub fn select(
_stream: &Stream,
desc: &GroupNormBackwardDescriptor<N>,
_pref: PlanPreference,
) -> Result<Self> {
if desc.element != T::KIND {
return Err(Error::Unsupported(
"baracuda-kernels::GroupNormBackwardPlan: descriptor element != T",
));
}
if N < 2 || N > 8 {
return Err(Error::Unsupported(
"baracuda-kernels::GroupNormBackwardPlan: rank must be in 2..=8",
));
}
if desc.channel_axis != 1 {
return Err(Error::Unsupported(
"baracuda-kernels::GroupNormBackwardPlan: channel_axis must be 1",
));
}
for &d in desc.input_shape.iter() {
if d < 0 {
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: shape dims must be non-negative",
));
}
}
if desc.num_groups == 0 {
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: num_groups must be > 0",
));
}
let c = desc.num_channels();
if c <= 0 || (c as u32) % desc.num_groups != 0 {
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: num_groups must divide num_channels",
));
}
if !matches!(
T::KIND,
ElementKind::F32 | ElementKind::F16 | ElementKind::Bf16 | ElementKind::F64
) {
return Err(Error::Unsupported(
"baracuda-kernels::GroupNormBackwardPlan: wired today: `{f32, f16, bf16, f64}`",
));
}
let precision_guarantee = PrecisionGuarantee {
math_precision: MathPrecision::F32,
accumulator: ElementKind::F32,
bit_stable_on_same_hardware: true,
deterministic: true,
};
let sku = KernelSku {
category: OpCategory::Normalization,
op: NormalizationKind::GroupNorm as u16,
element: T::KIND,
aux_element: None,
layout: None,
epilogue: None,
arch: ArchSku::Sm80,
backend: BackendKind::Bespoke,
precision_guarantee,
};
Ok(Self { desc: *desc, sku, _marker: PhantomData })
}
pub fn can_implement(&self, args: &GroupNormBackwardArgs<'_, T, N>) -> Result<()> {
if args.dy.shape != self.desc.input_shape
|| args.x.shape != self.desc.input_shape
|| args.dx.shape != self.desc.input_shape
{
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: shape mismatch",
));
}
let n = self.desc.input_shape[0] as i64;
let g = self.desc.num_groups as i64;
let group_count = n * g;
if args.saved_mean.shape[0] as i64 != group_count
|| args.saved_rstd.shape[0] as i64 != group_count
{
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: saved buffers length != N * num_groups",
));
}
match (
args.gamma.is_some(),
args.dgamma.is_some(),
args.dbeta.is_some(),
self.desc.has_affine,
) {
(true, true, true, true) | (false, false, false, false) => {}
_ => {
return Err(Error::InvalidProblem(
"baracuda-kernels::GroupNormBackwardPlan: gamma + dgamma + dbeta must all be \
present iff has_affine",
));
}
}
Ok(())
}
#[inline]
pub fn workspace_size(&self) -> usize {
let n = self.desc.input_shape[0] as usize;
let g = self.desc.num_groups as usize;
2 * n * g * core::mem::size_of::<f32>()
}
#[inline]
pub fn sku(&self) -> KernelSku { self.sku }
#[inline]
pub fn precision_guarantee(&self) -> PrecisionGuarantee { self.sku.precision_guarantee }
pub fn run(
&self,
stream: &Stream,
workspace: Workspace<'_>,
mut args: GroupNormBackwardArgs<'_, T, N>,
) -> Result<()> {
self.can_implement(&args)?;
let n_extent = self.desc.input_shape[0];
let c_extent = self.desc.input_shape[1];
let mut s_extent: i32 = 1;
for d in 2..N { s_extent = s_extent.saturating_mul(self.desc.input_shape[d]); }
if n_extent == 0 || c_extent == 0 || s_extent == 0 { return Ok(()); }
let num_groups = self.desc.num_groups as i32;
let needed = self.workspace_size();
let (ws_ptr, ws_bytes): (*mut c_void, usize) = match workspace {
Workspace::None => {
if needed > 0 {
return Err(Error::WorkspaceTooSmall { needed, got: 0 });
}
(core::ptr::null_mut(), 0)
}
Workspace::Borrowed(slice) => {
if slice.len() < needed {
return Err(Error::WorkspaceTooSmall { needed, got: slice.len() });
}
(slice.as_raw().0 as *mut c_void, slice.len())
}
};
let stream_ptr = stream.as_raw() as *mut c_void;
let dy_ptr = args.dy.data.as_raw().0 as *const c_void;
let x_ptr = args.x.data.as_raw().0 as *const c_void;
let mean_ptr = args.saved_mean.data.as_raw().0 as *const c_void;
let rstd_ptr = args.saved_rstd.data.as_raw().0 as *const c_void;
let dx_ptr = args.dx.data.as_raw().0 as *mut c_void;
let gamma_ptr = args.gamma.as_ref().map(|g| g.data.as_raw().0 as *const c_void)
.unwrap_or(core::ptr::null());
let dgamma_ptr = args.dgamma.as_mut().map(|g| g.data.as_raw().0 as *mut c_void)
.unwrap_or(core::ptr::null_mut());
let dbeta_ptr = args.dbeta.as_mut().map(|b| b.data.as_raw().0 as *mut c_void)
.unwrap_or(core::ptr::null_mut());
let status = match T::KIND {
ElementKind::F32 => unsafe {
baracuda_kernels_sys::baracuda_kernels_group_norm_backward_f32_run(
n_extent, c_extent, s_extent, num_groups, 1,
dy_ptr, x_ptr, gamma_ptr, mean_ptr, rstd_ptr,
dx_ptr, dgamma_ptr, dbeta_ptr,
ws_ptr, ws_bytes, stream_ptr,
)
},
ElementKind::F16 => unsafe {
baracuda_kernels_sys::baracuda_kernels_group_norm_backward_f16_run(
n_extent, c_extent, s_extent, num_groups, 1,
dy_ptr, x_ptr, gamma_ptr, mean_ptr, rstd_ptr,
dx_ptr, dgamma_ptr, dbeta_ptr,
ws_ptr, ws_bytes, stream_ptr,
)
},
ElementKind::Bf16 => unsafe {
baracuda_kernels_sys::baracuda_kernels_group_norm_backward_bf16_run(
n_extent, c_extent, s_extent, num_groups, 1,
dy_ptr, x_ptr, gamma_ptr, mean_ptr, rstd_ptr,
dx_ptr, dgamma_ptr, dbeta_ptr,
ws_ptr, ws_bytes, stream_ptr,
)
},
ElementKind::F64 => unsafe {
baracuda_kernels_sys::baracuda_kernels_group_norm_backward_f64_run(
n_extent, c_extent, s_extent, num_groups, 1,
dy_ptr, x_ptr, gamma_ptr, mean_ptr, rstd_ptr,
dx_ptr, dgamma_ptr, dbeta_ptr,
ws_ptr, ws_bytes, stream_ptr,
)
},
_ => {
return Err(Error::Unsupported(
"baracuda-kernels::GroupNormBackwardPlan::run reached unimplemented dtype",
));
}
};
map_status(status)
}
}