On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lockfree
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Lock-free data structures for Multicore OCaml
Lockfree
module Ws_deque : sig ... endA lock-free single-producer, multi-consumer dynamic-size double-ended queue (deque).
module Spsc_queue : sig ... endmodule Mpsc_queue : sig ... endA lock-free multi-producer, single-consumer, thread-safe queue without support for cancellation. This makes a good data structure for a scheduler's run queue and is currently (September 2022) used for Eio's scheduler.
module Treiber_stack : sig ... endClassic multi-producer multi-consumer Treiber stack. Robust and flexible. Recommended starting point when needing LIFO structure.
module Michael_scott_queue : sig ... endMichael-Scott Queue. A classic multi-producer multi-consumer queue, robust and flexible. Recommended starting point when needing FIFO structure. It is inspired by Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.
module Mpmc_relaxed_queue : sig ... endA lock-free multi-producer, multi-consumer, thread-safe, relaxed-FIFO queue.
module Backoff : sig ... endTruncated exponential backoff.
On This Page