Hacker News Reader

Comment by JulianMorrison | Hacker News Reader

Do you have an idea when, roughly, main line OCaml going to be fully multicore? (Or even a close/not close judgement.)

It's pretty close. There have been PRs landing to close the gap with Multicore for a couple of releases now.

You should see an OCaml 5.0 branch (which brings parallelism via Domains) in the next couple of months. The time between that branching and release depends a lot on how the review process for the Multicore patches go though.

Are there projects built on top of this branch already ?

I'm not aware of large standalone projects that depend solely on it. Multicore is backwards compatible with stock OCaml though and 4.12 ships with some stub Atomics (https://github.com/ocaml/ocaml/blob/4.12/stdlib/atomic.mli) which makes writing programs that can work on both easier.

We also maintain some projects on top of Multicore that are pretty interesting:

* Domainslib - channels and task queue that makes using parallelism via Domains much easier: https://github.com/ocaml-multicore/domainslib

* eioio - very much a work in progress but enables high performance direct-style IO with fibers and effects. Backs on to io_uring on Linux and is designed to also work with IOCP on Windows: https://github.com/ocaml-multicore/eioio

interesting ~name collision http://eecs.ucf.edu/~leavens/emacs/eieio/eieio-custom.el

:) #ocam.el

thanks for answering (and for multicore)

Reply on news.ycombinator.com