ocaml-multicore / picos

Interoperable effects based concurrency
https://ocaml-multicore.github.io/picos/doc/picos/index.html
ISC License
86 stars 3 forks source link

Add missing and useful ops to hash table #317

Closed polytypic closed 5 days ago

polytypic commented 6 days ago

This PR adds some missing and useful operations to the hash table that are designed to work as building blocks of non-blocking algorithms. Specifically, the operation signatures and semantics are designed to allow building consensus protocols over arbitrary numbers of processes.