package saturn_lockfree

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Saturn_lockfree`Source

Lock-free data structures for Multicore OCaml

Sourcemodule Queue : sig ... end

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

Sourcemodule Queue_unsafe : 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).

Sourcemodule Single_prod_single_cons_queue : sig ... end

Single producer single consumer queue.

Sourcemodule Single_prod_single_cons_queue_unsafe : sig ... end

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.

Sourcemodule Skiplist : sig ... end

A lock-free skiplist.

Sourcemodule Size : sig ... end

Wait-free size counter for lock-free data structures