Change to use Picos for scheduler interop

ocaml-multicore / kcas

Software Transactional Memory for OCaml

https://ocaml-multicore.github.io/kcas/

ISC License

109 stars 11 forks source link

Change to use Picos for scheduler interop #136

Closed polytypic closed 1 month ago

polytypic commented 1 year ago

This PR changes Kcas to use Picos instead of DLA and DLT for scheduler interop.

⚠️ This must obviously not be merged before at least a first release of Picos has been published on opam, but this should be ready enough for preliminary review.

polytypic commented 1 month ago

This has been replaced by work in #204.