awesome-multicore-ocaml
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
AI summary
Multicore library suite
A collection of libraries and ideas supporting parallelism with domains and direct-style code with effects in OCaml 5
- stars
- 149
- forks
- 2
- watching
- 11
- awesome list
- 1
- entries
- 32
What's in the list
32 links in 7 sections, with live GitHub stats.activeno commit in 2y
Libraries / Lwt Support
Resources / Wiki
: a collection of great examples with effects including cooperative threading and generators
: a very good introduction to programming parallel programs in Multicore OCaml, including
Resources / Papers
- Retrofitting Effect Handlers onto OCaml
, PLDI, June 2021: Describes the design and evaluation of a full-fledged efficient implementation of effect handlers for OCaml
, OCaml Workshop, August 2020: A tour on developing parallel programs with Multicore OCaml
- Retrofitting Parallelism onto OCaml
, ICFP, August 2020: Deep dive into Multicore GC design
- Multicore OCaml memory model
, PLDI, June 2018: Describes the memory model for multicore OCaml programs. This memory model is much simpler than existing language memory models such as Java or C/C++11 without sacrificing performance
- Concurrent System Programming with Effect Handlers
, TFP, February 2018: Using effect handler for writing concurrent programs that interacts with the operating system
- Multicore OCaml
, OCaml workshop, September 2014
Resources / Talks
- video
Introduction to Eio, Thomas Leonard, February 2023. ( )
- k-CAS for sweat-free concurrent programming
, Vesa Karvonen, February 2023. ( )
- video
Retrofitting Concurrency – Lessons from the Engine Room, KC Sivaramakrishnana, September 2022. ( )
- Experiences with Effects in OCaml
, Thomas Leonard, August 2021. ( )
- Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
, KC Sivaramakrishnan, August 2021. ( )
- Adapting the OCaml Ecosystem for Multicore OCaml
, Sudha Parimala, August 2021. ( )
- Effective Programming in OCaml
, KC Sivaramakrishnan, April 2021. ( )
- Multicore OCaml -- what's coming in 2021
, KC Sivaramakrishnan, December 2020. ( )
, Sadiq Jaffar August 2020. ( )
- Retrofitting parallelism onto OCaml
, KC Sivaramakrishnan, August 2020. ( )
- A deep dive into Multicore OCaml GC
, KC Sivaramakrishnan, June 2017
- Reagents: Lock-free programming for the masses
, KC Sivaramakrishnan, August 2016. ( )
- Arrows and Reagents
, KC Sivaramakrishnan, March 2016
- Concurrent & Multicore OCaml: A deep dive
, KC Sivaramakrishnan, January 2016
- Effective Concurrency with Algebraic Effects
, KC Sivaramakrishnan, OCaml Workshop, September 2015
- Multicore OCaml
, Stephen Dolan, OCaml workshop, September 2014. ( )
Resources / Discuss Threads
- initial release
The of Eio has a lot of dicussion around what it could mean if the library became the official "OCaml IO" library. It also has some useful conversations about the underlying use of effects in Eio and in particular the
Resources / Discuss Threads / initial release
- scopes and effect handlers
An excellent write up about was added in this
Resources / Discuss Threads
- "How to block in an agnostic way"
Another thread, , is a discussion about blocking code where we are agnostic to the underlying concurrency abstraction (and indeed how to do )
- cancellation in the presence of concurrency from effects
Another more Eio-specific thread looks at
- How do spawn and join interact with try_with
In there's a great, short discussion about effects in the presence of multiple domains. A "gotcha" many (myself included) are likely to hit when getting started with OCaml 5
- roguelike
There is a great discussion about using effects for a game in (the full tutorial ). Related to that is another excellent article about coding
Nothing in this list matches your filter.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions awesome-multicore-ocaml.
