Vesa Karvonen

odocs: Clicking on `Mutex.t` link gives 404

1

If you click the `Mutex.t` link in the `Condition.await` signature [here](https://ocaml-multicore.github.io/eio/eio/Eio/Condition/index.html#val-await), you get a [404](https://ocaml-multicore.github.io/eio/eio/Eio__/Eio_mutex/index.html#type-t) response.

Test of write skew with the Michael-Scott queue

3

This PR adds a test of write skew with the Michael-Scott queue. The test runs composed reagents in parallel: 1. One reagent tries to pop from `q1` and push to...

It seems that the current interface doesn't support storing nulls, because get returns null in case a value is not found or is expired and there is no separate function...

MPMC 2-stack queue

4

This PR implements a MPMC queue using two stacks. This is a new lock-free queue algorithm / data structure. It uses two stacks for the tail and head of the...

This PR optimizes the Michael-Scott queue implementation. The main optimizations are avoiding false sharing and then optimization of the node representation, which effectively halves the length of the linked list...

A lock-free bounded queue

1

This implements a lock-free bounded queue — blocking using [domain-local-await](https://github.com/ocaml-multicore/domain-local-await/). The data structure / algorithm is based on the Michael-Scott queue extended with length maintenance and caching of remaining capacity...

Optimize SPSC queue

2

This PR optimizes the SPSC queue. See the individual commits to better understand the motivation behind the optimizations. Here is a run of the benchmarks on my M3 Max before...

Optimize work-stealing deque

1

This PR optimizes the work-stealing deque. The graphs on current-bench show the progress of optimizing the work-stealing deque quite nicely:  Here is a run of the benchmarks on my...

See [Concurrent Size](https://github.com/ocaml-multicore/saturn/blob/document-lock-free-size-algorithm/doc/concurrent-size.md).