Dining philosophers example

ocaml-multicore / kcas

Software Transactional Memory for OCaml

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

ISC License

109 stars 11 forks source link

Closed polytypic closed 1 year ago

polytypic commented 1 year ago

This adds an example solution of the dining philosophers problem demonstrating basic use of Mvars.