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
Non_lockfree exposes an interface that contains non-lockfree paths, i.e. threads may need to cooperate to terminate. It is often more practical than Spin, in particular when using a fair OS scheduler.
val push : 'a t -> 'a -> boolpush t x adds x to the tail of the queue. Returns false if t is currently full.
val pop : 'a t -> 'a optionpop t removes the head item from t and returns it. Returns None if t is currently empty.
module CAS_interface : sig ... endAlternative interface, which may perform better on architectures without FAD instructions (e.g. AArch).