package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler interface

Install

sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be

sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

Minimalistic domain API available both on OCaml 5 and on OCaml 4.

ℹ️ On OCaml 4 there is always only a single domain.

Sourceval at_exit : (unit -> unit) -> unit

at_exit action registers action to be called when the current domain exits.

On OCaml 5 this calls Domain.at_exit. On OCaml 4 this calls Stdlib.at_exit.

Sourceval recommended_domain_count : unit -> int

recommended_domain_count () returns 1 on OCaml 4 and calls Domain.recommended_domain_count on OCaml 5.

Sourceval is_main_domain : unit -> bool

is_main_domain () returns true on OCaml 4 and calls Domain.is_main_domain on OCaml 5.

Sourcemodule DLS : sig ... end

Domain-local storage for Picos.