package lockfree

  1. Overview
  2. Docs

Module Lockfree.BackoffSource

Truncated exponential backoff.

Generally, a backoff mechanism adjusts time waited between retries to ensure the retries will not put too much pressure on some underlying system. This particular implementation is built for reducing contention in lockfree algorithms.

Under the hood, it uses relevant pause instruction to avoid adverse microarchitectural effects present in naive busy-looping.

Sourcetype t

t type of a backoff object.

Sourceval create : ?min_wait:int -> ?max_wait:int -> unit -> t

create creates a new instance of backoff. max_wait, min_wait override the upper and lower bound on the number of spins executed by once.

Sourceval once : t -> unit

once executes one wait, whose length increases for every consecutive attempt (until max is reached).

Sourceval reset : t -> unit

reset resets the attempt counter in t.