Memory (sarek-vulkan.Sarek_vulkan.Vulkan

type 'a buffer

val alloc : Device.t -> int -> ('a, 'b) Stdlib.Bigarray.kind -> 'a buffer

val alloc_custom : Device.t -> size:int -> elem_size:int -> 'a buffer

Allocate buffer for custom types with explicit element size in bytes

val alloc_zero_copy : 
  Device.t ->
  ('a, 'b, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t ->
  ('a, 'b) Stdlib.Bigarray.kind ->
  'a buffer option

Allocate zero-copy buffer using host bigarray memory directly. For CPU OpenCL devices, this avoids memory copies entirely. Returns None if zero-copy not supported by this backend.

val free : 'a buffer -> unit

Synchronous Transfers

val host_to_device : 
  src:('a, 'b, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t ->
  dst:'a buffer ->
  unit

val device_to_host : 
  src:'a buffer ->
  dst:('a, 'b, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t ->
  unit

val host_ptr_to_device : 
  src_ptr:nativeint ->
  byte_size:int ->
  dst:'a buffer ->
  unit

Transfer from raw pointer to device (for custom types). src_ptr is a raw machine address (as produced by raw_address_of_ptr); a nativeint is NOT a GC root, so the CALLER must keep the pointed-to allocation live across this call. Transfers are synchronous today (a live source on the caller's stack suffices); an async backend (e.g. the worker+SAB readback planned for the jsoo path) must root the source explicitly.

val device_to_host_ptr : 
  src:'a buffer ->
  dst_ptr:nativeint ->
  byte_size:int ->
  unit

Transfer from device to raw pointer (for custom types). Same keep-alive contract as host_ptr_to_device: the caller owns dst_ptr's liveness.

val device_to_device : src:'a buffer -> dst:'a buffer -> unit

Buffer Info

val size : 'a buffer -> int

val device_ptr : 'a buffer -> nativeint

val is_zero_copy : 'a buffer -> bool

Check if buffer uses zero-copy (no transfers needed)