Picos — Interoperable effects based concurrency
Picos, or pico-scheduler framework, is a framework for building interoperable elements of effects based cooperative concurrent programming models.
Why?
There are already several concrete effects-based concurrent programming libraries and models being developed. Here is a list of some such publicly available projects:*
- Affect — “Composable concurrency primitives with OCaml effects handlers (unreleased)”,
- Domainslib — “Nested-parallel programming”,
- Eio — “Effects-Based Parallel IO for OCaml”,
- Miou — “a simple scheduler for OCaml 5”,
- Moonpool — “[beta] Commodity thread pools for OCaml 5”, and
- Riot — “An actor-model multi-core scheduler for OCaml 5”.
All of the above libraries are mutually incompatible with each other with the exception that Domainslib, Eio, and Moonpool implement an earlier interoperability proposal called domain-local-await or DLA, which allows a concurrent programming library like Kcas* to work on all of those. Unfortunately, DLA, by itself, is known to be insufficient and the design has not been universally accepted.
By introducing an interoperability framework and key libraries, such as an IO library, for such a framework, we hope that the scarce resources of the OCaml community are not further divided into mutually incompatible ecosystems built on top of such mutually incompatible concurrent programming libraries, while, simultaneously, making it possible to experiment with many kinds of concurrent programming models.
It should be technically* possible to
- make all of the previously mentioned libraries Picos compatible, i.e. to handle the Picos effects, and
- have their elements implemented in Picos, i.e. to make them usable on other Picos-compatible schedulers.
Please read the introduction section of the reference manual for further information.