package saturn_lockfree

  1. Overview
  2. Docs

Module Saturn_lockfreeSource

Lock-free data structures for Multicore OCaml

Data structures

Sourcemodule Queue : sig ... end

Michael-Scott classic multi-producer multi-consumer queue.

Sourcemodule Stack : sig ... end

Classic multi-producer multi-consumer Treiber stack.

Sourcemodule Work_stealing_deque : sig ... end

Lock-free single-producer, multi-consumer dynamic-size double-ended queue (deque).

Single producer single consumer queue.

Sourcemodule Single_consumer_queue : sig ... end

Lock-free multi-producer, single-consumer, domain-safe queue without support for cancellation.

Sourcemodule Relaxed_queue : sig ... end

A multi-producer, multi-consumer, thread-safe, bounded relaxed-FIFO queue.

Other

Sourcemodule Backoff : sig ... end

Truncated exponential backoff.

OCaml

Innovation. Community. Security.