Multicore Ideas
This document collects a list of moderate to difficult research and hacking ideas in and around the Multicore OCaml project.
A few years ago, we'd started working on implementing lock-free libraries in Multicore OCaml [1]. This work that is in the repo now predates the Multicore OCaml memory model work [2]. A challenging project is to build a library of lock-free and wait-free data structures similar to Scal for C++ [3] and java.util.concurrent for Java [4].
[1] ocaml-multicore/lockfree: https://github.com/ocaml-multicore/lockfree/
[2] Multicore OCaml memory model, https://kcsrk.info/papers/pldi18-memory.pdf
[3] Scal - High-performance, multicore-scalable computing, https://github.com/cksystemsgroup/scal
[4] java.util.concurrent, https://docs.oracle.com/javase/7/docs/api/java/util/concurrent/package-summary.html