package saturn_lockfree

  1. Overview
  2. Docs

Lock-free data structures for Multicore OCaml

Data structures

module Queue : sig ... end
module Queue_unsafe : sig ... end
module Stack : sig ... end

Classic multi-producer multi-consumer Treiber stack.

module Work_stealing_deque : sig ... end

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

module Single_prod_single_cons_queue : sig ... end
module Single_consumer_queue : sig ... end

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

module Relaxed_queue : sig ... end

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

module Skiplist : sig ... end

A lock-free skiplist.

module Size : sig ... end

Wait-free size counter for lock-free data structures

OCaml

Innovation. Community. Security.