Picos_mpsc_queue
Multi-producer, single-consumer queue.
🏎️ This data structure is optimized for use as a scheduler's ready queue.
val create : unit -> 'a t
create ()
returns a new empty multi-producer, single-consumer queue.
val push : 'a t -> 'a -> unit
push queue value
adds the value
to the tail of the queue
.
val push_head : 'a t -> 'a -> unit
push_head queue value
adds the value
to the head of the queue
.
Raised by pop_exn
in case it finds the queue empty.