Abstract

Efficient communication is crucial for the scalability of concurrent algorithms. But writing efficient concurrent libraries is difficult. Moreover, such libraries are generally not composable, limiting their expressive power. Reagents are a set of combinators intended for elegantly writing concurrency algorithms and data structures. They provide basic blocks for fine-grained communication through synchronisation and/or state mutation together with combinators to compose these basic blocks into sophisticated programs. Aside being easier to write, such programs scale quite as well as their handwritten counterparts and are composable, improving modularity and expressiveness. We believe reagents are an interesting candidate for writing OCaml concurrent libraries and thus provided an OCaml implementation for reagents.