saturn

Prepare for `summer`

Document the lock-free size algorithm

Fix STM test to build on OCaml 4

MPMC 2-stack queue

"Inline" the `Atomic.t` objects into the `next` fields of nodes This effectively halves the length of the linked list of nodes and roughly doubles the thruput of the queue.

Add a simple `float` test and prevent inlining This prevents Flamda from noticing that we are potentially storing float values into a non-float array.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

MPMC 2-stack queue

Factorize mem/find_all/find_opt under one function.

Add a simple `float` test and prevent inlining This prevents Flamda from noticing that we are potentially storing float values into a non-float array.

"Inline" the `Atomic.t` objects into the `next` fields of nodes This effectively halves the length of the linked list of nodes and roughly doubles the thruput of the queue.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Document the lock-free size algorithm

Fix STM test to build on OCaml 4