Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Relaxed_queue.Spin
SourceSpin
exposes a formally lock-free interface as per the A lock-free relaxed concurrent queue for fast work distribution
paper. Functions here busy-wait if the action cannot be completed (i.e. push
on full queue, pop
on empty queue).
push t x
adds x
to the tail of the queue. If the queue is full, push
busy-waits until another thread removes an item.