Module Sarek_cuda.Cuda_shared

Shared kargs extension for all CUDA backends (PTX and C). Defined once so wrap/unwrap interoperates across both plugins.

type cuda_intrinsic = {
  1. intr_name : string;
  2. intr_codegen : string;
  3. intr_convergence : Spoc_framework.Framework_sig.convergence;
}

CUDA-specific intrinsic implementation

Shared intrinsic registry — both CUDA/PTX and CUDA/C expose the same set

val is_disabled : unit -> bool
val install_shared_memory_query : framework:string -> unit

Tell Spoc_framework.Shared_memory_query which CUDA devices share host memory (Tegra, Jetson). A failed query raises, which the capability reads as unknown (refused, never cached).