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
Classic multi-producer multi-consumer Treiber stack.
All function are lockfree. It is the recommended starting point when needing LIFO structure.
val create : unit -> 'a tcreate () returns a new and empty Treiber stack.
val is_empty : 'a t -> boolis_empty s checks whether stack s is empty.
val push : 'a t -> 'a -> unitpush s v adds the element v at the top of stack s.
Raised when pop is applied to an empty queue.
val pop : 'a t -> 'apop s removes and returns the topmost element in the stack s.
val pop_opt : 'a t -> 'a optionpop_opt s removes and returns the topmost element in the stack s, or returns None if the stack is empty.