Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lockfree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : unit -> 'a tReturns a fresh empty work-stealing queue
val push : 'a t -> 'a -> unitpush q v pushes v to the front of the queue. It should only be invoked by the domain which owns the queue q.
val pop : 'a t -> 'apop q removes an element e from the front of the queue and returns it. It should only be invoked by the domain which owns the queue q.
val steal : 'a t -> 'asteal q removes an element from the back of the queue and returns it. It should only be invoked by domain which doesn't own the queue q.