saturn

saturn copied to clipboard

The release of Saturn 1.0 coming soon, here is a recap of what has been done and what we plan to do before it ! New features: - [x] #102...

lyrm

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...

polytypic

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...

polytypic

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...

polytypic

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...

polytypic

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...

polytypic

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

polytypic

Lock free hash table

1

Following the algorithm implemented in PR #62, this PR implements a hash table with better types and numerous optimizations to the algorithm. It aims to provide a full resizable hash...

lyrm

Add simple examples for MS queue

7

This pull request adds a simple example for the MS queue

nikochiko

`dscheck.0.3.0` being way faster than the previous version, we now can have more complex `dscheck` tests, and in a general way, should be less hesitant to add more tests if...

lyrm