Skip to content

Comments

Lockfree priority queue#182

Open
lyrm wants to merge 2 commits intoocaml-multicore:mainfrom
lyrm:lf_priority_queue
Open

Lockfree priority queue#182
lyrm wants to merge 2 commits intoocaml-multicore:mainfrom
lyrm:lf_priority_queue

Conversation

@lyrm
Copy link
Collaborator

@lyrm lyrm commented Jan 6, 2025

This PR adds a lock-free priority queue with dscheck and stm tests. The implementation is based on Saturn.Skiplist

TODO

  • Benchmarks
  • Can we make length linearizable ?

@lyrm lyrm force-pushed the lf_priority_queue branch from b2c260a to 78c36ab Compare January 8, 2025 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant