Skip to content

Latest commit

 

History

History
28 lines (23 loc) · 1.41 KB

README.md

File metadata and controls

28 lines (23 loc) · 1.41 KB
Raw

(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.