ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Distributed Actors in OCaml
Distributed Actors in OCamlremote
Sat 7 Sep 2024 14:22 - 14:45 at Orange 2 - OCaml 5: progress in the multicore world Chair(s): Ambre Austen Suhamy
The Actor Model is a concurrency model which prevents common concurrency issue such as low-level data races and dead- locks, making them easy to use to develop large-scale parallel or distributed applications. OCaml 5 introduced shared memory parallelism and algebraic effect handler. This provides the opportunity to investigate Actors as an easy-to-use concurrency programming model for parallel and distributed applications in OCaml. Based on the previous work for parallel Actors in OCaml, In this extended abstract, we showcase the actors-ocaml library for concurrent and parallel programming, and its recent extension to distributed applications.
Paper (ocaml2024-paper10.pdf) | 318KiB |
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | OCaml 5: progress in the multicore worldOCaml at Orange 2 Chair(s): Ambre Austen Suhamy Tarides Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
14:00 22mTalk | Picos — Interoperable effects based concurrencyin-person OCaml Vesa Karvonen Tarides File Attached | ||
14:22 22mTalk | Distributed Actors in OCamlremote OCaml Wenke DU LIP ENS Lyon, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP File Attached | ||
14:45 22mTalk | Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology File Attached | ||
15:07 22mTalk | Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml File Attached |