Module Spoc_framework

module Backend_error : sig ... end
module Cache_hooks : sig ... end

Cross-layer cache-teardown notifications.

module Compile_cache : sig ... end

Shared compile-cache key builder for GPU backend plugins.

module Device_type : sig ... end
module Framework_sig : sig ... end
module Guarded_cache : sig ... end

Concurrency-safe kernel-compilation cache, shared by every GPU backend.

module Kernel_args : sig ... end

Indexed kernel-argument container.

module Launch_hooks : sig ... end

Synchronisation-point hook for deferred kernel launches (specs/launch-window.md).

module Shared_memory_query : sig ... end

Whether a device shares system memory with the host (an APU or integrated GPU), as the backend that owns the device knows it. See the implementation for why this is a hook and not a field. The framework name must be the backend's name ("HIP", "CUDA/PTX", "CUDA/C"): a mismatch is read as "not known".

module Typed_value : sig ... end