saturn icon indicating copy to clipboard operation
saturn copied to clipboard
verified publisher icon ocaml-multicore

Lockfree priority queue

Open lyrm opened this issue 11 months ago • 0 comments

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 avatar Jan 06 '25 14:01 lyrm