(Monadic) Reflections on Concurrency

Monadic reflection on concurrency monad.

Install

$ opam remote add multicore https://github.com/ocamllabs/multicore-opam.git
$ opam switch 4.02.2+multicore
$ make

Configurations

• chameneos: chameneos-redux benchmark in direct-style using algebraic effect handlers. The scheduler and MVar implementations are in direct-style.
• chameneos_monad: chameneos-redux benchmark in monadic style. The scheduler and MVar implementations are monadic. Uses concurrency monad.
• chameneos_rr: chameneos-redux benchmark in direct-style using reify-reflect on monadic scheduler and MVar. Illustrates that one can recover direct-style without changing monadic libraries whole-sale.
• chameneos_shallow: Shallow monadic implementation over direct-style scheduler and MVar. The idea is to illustrate that you can get the beneficial type-level marker that you get with monadic libraries with a simple shallow embedding. With monadic markers, you get automatic mutual exclusion -- context switchest are only possible at binds.