Trait Microkernel 

pub trait Microkernel<T: TropicalSemiring> {
    const MR: usize;
    const NR: usize;

    // Required method
    unsafe fn execute(
        &self,
        mr: usize,
        nr: usize,
        k: usize,
        a: *const T::Scalar,
        b: *const T::Scalar,
        c: *mut T,
        ldc: usize,
    );
}

Trait for GEMM microkernels.

A microkernel computes a small block of C += A * B using register blocking. The dimensions mr x nr define the “register tile” that fits in CPU registers.

Required Associated Constants

const MR: usize

Rows of the microkernel (typically 4-8 for f32).

const NR: usize

Columns of the microkernel (typically 4-8 for f32).

Required Methods

unsafe fn execute( &self, mr: usize, nr: usize, k: usize, a: *const T::Scalar, b: *const T::Scalar, c: *mut T, ldc: usize, )

Execute the microkernel.

Computes C[0..mr, 0..nr] = A[0..mr, 0..k] ⊗ B[0..k, 0..nr] where the result is combined with existing C values using tropical addition.

Safety

• a must point to at least mr * k elements (packed column-major)
• b must point to at least k * nr elements (packed row-major)
• c must point to at least mr * ldc elements
• mr <= Self::MR and nr <= Self::NR

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Microkernel<TropicalMaxMul<f32>> for Avx2MaxMulF32Kernel

const MR: usize = 8

const NR: usize = 8

impl Microkernel<TropicalMaxPlus<f32>> for Avx2MaxPlusF32Kernel

const MR: usize = 8

const NR: usize = 8

impl Microkernel<TropicalMaxPlus<f64>> for Avx2MaxPlusF64Kernel

const MR: usize = 4

const NR: usize = 4

impl Microkernel<TropicalMinPlus<f32>> for Avx2MinPlusF32Kernel

const MR: usize = 8

const NR: usize = 8

impl<T: TropicalSemiring> Microkernel<T> for PortableKernel

const MR: usize = 4

const NR: usize = 4

impl<T: TropicalSemiring> Microkernel<T> for PortableMicrokernel

const MR: usize = 4

const NR: usize = 4