Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package saturn_lockfree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.
val create : ?min_wait:int -> ?max_wait:int -> unit -> tcreate creates a new instance of backoff. max_wait, min_wait override the upper and lower bound on the number of spins executed by once.
val once : t -> unitonce executes one wait, whose length increases for every consecutive attempt (until max is reached).
val reset : t -> unitreset resets the attempt counter in t.