URL
BibTeX DOI
Abstract. Algebraic effects and their handlers have been steadily gaining attention as a programming language feature for composably expressing user-defined computational effects. While several prototype implementations of languages incorporating algebraic effects exist, Multicore OCaml incorporates effect handlers as the primary means of expressing concurrency in the language. In this paper, we make the observation that effect handlers can elegantly express particularly difficult programs that combine system programming and concurrency without compromising performance. Our experimental results on a highly concurrent and scalable web server demonstrate that effect handlers perform on par with highly optimised monadic concurrency libraries, while retaining the simplicity of direct-style code.
Authors. Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White
See Also. This publication was part of my OCaml Labs project.
News Updates
» Recap of the OCaml community in 2022 posted along with plans to join the 'fediverse'.» Update posted to the OCaml community on progress towards OCaml 5.0.» Update posted to the OCaml community on post-multicore-merge activities in OCaml trunk.» Update posted to the OCaml community on major multicore code review with Inria.» Update posted to the OCaml community on confirmation that the effect system will appear in OCaml 5.0.» Published a roadmap for OCaml.org's revamp.» Update on multicore OCaml being ready for testing / «
» Talk on the state of the OCaml Platform in 2020.» Update the OCaml community on multicore progress and linked preprint of ICFP submission on the runtime.» Began updating the OCaml community regularly with multicore monthly reports.» Paper on concurrent systems programming with effect handlers at TFP 2017.» Talk on the state of the OCaml Platform.» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.» Update on the state of the OCaml Platform.» Updated the OCaml community on annual OCaml Labs activities for 2014.» Announced a call for sponsorships for ICFP 2015 in my role as industrial relations chair.» Talk on the OCaml Platform reaching v1.0.» Note on talks from OCaml Labs at ICFP 2014.» Call for sponsorships for ICFP 2014 in my role as industrial relations chair / «» Note on an experiment to improve the coupling of opam with GitHub / «» Note on the Codio support for the opam package manager.» Updated the OCaml community on the activities of OCaml Labs in 2013.» Note on integrating Docker and opam more effectively.» Note on the release of the OPAM 1.1 beta / «» Liveblog from the CUFP 2013 workshop at ICFP / «» Liveblog from the OCaml 2013 workshop.» Note on how to grep the source code for all packages on opam.» Announced the opening of OCaml Labs at Cambridge, along with Jane Street support.» Recording of the OCaml Labs announcement.» Note on using ARM Dreamplugs with OCaml published.