Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More lockfree structures #48

Closed
Sudha247 opened this issue Dec 21, 2022 · 2 comments
Closed

More lockfree structures #48

Sudha247 opened this issue Dec 21, 2022 · 2 comments

Comments

@Sudha247
Copy link
Collaborator

Sudha247 commented Dec 21, 2022

Below is a list of OCaml 5 lockfree data structures done by some awesome hackers. These were done either out of curiosity, or due to the needing them for applications. In any case, it would be nice to upstream these structures to lockfree. This would involve writing qcheck or alcotest, and dscheck tests for these structures. (@lyrm @bartoszmodelski feel free to add more details about upstreaming part).

Data Structure Link
Concurrent Trie https://github.com/ocaml-bench/sandmark/pull/181/files
MPSC Queue https://github.com/haesbaert/ocaml-mpsc
MPMC Unbounded Queue #35
Lockfree Stack https://github.com/bartoszmodelski/ebsl/blob/main/datastructures/stack.ml
Paradict https://github.com/ElectreAAS/Paradict
Lockfree sets and Maps https://github.com/art-w/mcavl
List https://github.com/ocaml-multicore/lockfree/blob/old/src/lf_list.ml
Bag https://github.com/ocaml-multicore/lockfree/blob/old/src/lf_bag.ml
Containers Lock free Queue https://github.com/c-cube/ocaml-containers/blob/wip-lfqueue/src/lf_queue/containers_lfqueue.ml#L3-L58
SkipMap https://github.com/ocaml-multicore/dscheck/blob/skipmap/src/lf_skipmap.ml
@ElectreAAS
Copy link

You rang? -> #49 :)

@lyrm
Copy link
Collaborator

lyrm commented Dec 6, 2024

This issue is largely outdated. I am closing it to avoid confusion.

@lyrm lyrm closed this as completed Dec 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants