search

ocaml-multicore / kcas

Software Transactional Memory for OCaml
https://ocaml-multicore.github.io/kcas/
ISC License
107 stars 10 forks source link

Change to use Picos instead of DLA and DLT #204

Open polytypic opened 1 month ago

polytypic commented 1 month ago

This adds support for cancelation through Picos and removes explicit support for timeouts, which simplifies the library.

Support for DLA and DLT is removed.

This basically also means that one can no longer use Kcas without a scheduler.