Module `Kernel.Launcher`

Launching on a backend. Invariant: the device is selected first, because a HIP/CUDA module runs on the CURRENT device and a finaliser, another kernel or a transfer may have changed it since the kernel was compiled or last launched.

Parameters

module B : Spoc_framework.Framework_sig.BACKEND

Signature

val launch_on : 
  B.Device.t ->
  B.Kernel.t ->
  args:Spoc_framework__Framework_sig.kargs ->
  grid:Spoc_framework__Framework_sig.dims ->
  block:Spoc_framework__Framework_sig.dims ->
  shared_mem:int ->
  unit