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
Single producer single consumer queue.
Type of single-producer single-consumer non-resizable domain-safe queue that works in FIFO order.
Raised when push is applied to a full queue.
val create : size_exponent:int -> 'a tcreate ~size_exponent:int returns a new queue of maximum size 2^size_exponent and initially empty.
val push : 'a t -> 'a -> unitpush q v adds the element v at the end of the queue q. This method can be used by at most one domain at the time.
val pop : 'a t -> 'a optionpop q removes and returns the first element in queue q, or returns None if the queue is empty. This method can be used by at most one domain at the time.
val size : 'a t -> intsize returns the size of the queue. This method linearizes only when called from either consumer or producer domain. Otherwise, it is safe to call but provides only an *indication* of the size of the structure.