ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml
Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person
Sat 7 Sep 2024 14:45 - 15:07 at Orange 2 - OCaml 5: progress in the multicore world Chair(s): Ambre Austen Suhamy
The Domainslib library for multicore OCaml provides support for fine-grained parallel programming by implementing lightweight parallel tasks with a work stealing scheduler. This talk motivates an extension to Domainslib which allows tasks to be assigned priorities, with higher-priority tasks scheduled preferentially over lower-priority tasks. The extension, called Priodomainslib, implements a priority-based work stealing scheduler and provides a wrapper around mutexes allowing for safe synchronization without priority inversions. Existing code using Domainslib can use Priodomainslib (at a single priority) with no modifications.
Paper (ocaml2024-final19.pdf) | 411KiB |
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 |