Module Await_sync.Stack

A simple, list-based multi-producer multi-consumer stack which provides both lock-free and blocking operations.

create () creates and returns a new empty stack.

The optional padded argument specifies whether to pad the data structure to avoid false sharing. See Atomic.make for a longer explanation.

push t a enqueues a at the head of t.

pop await t removes and returns the most-recently-pushed value from the head of t, blocking using await if t is empty.

pop_or_cancel await c t is Completed (pop await t) if c is not cancelled, otherwise it is Canceled.

• raises Terminated

  if w is terminated, even if c is canceled.

pop_nonblocking t removes and returns the most-recently-pushed value from the head of t, or returns Null if the stack is empty.

drain t removes and returns all items from t without blocking, returning a list with the most-recently-enqueued item first.