Earlier this week (24-25 June 2018) we had a meeting in Paris between several OCaml maintainers and researchers (folks from INRIA, OCamllabs, Jane Street, and also Frédéric Bour), and one of the things that were discussed is the technical state of the Multicore-OCaml project. I thought that people h…

Dear Gabriel, thank you very much for the great summary. Do we have any update on how the merging plan is going? I was able to compile Coq with the multicore branch [tho lack of support for Thread is an issue for running], and indeed we are very interested to see what the roadmap is, as IMHO Coq c…

Things have been progressing, but slower than planned (as always). I haven’t heard anything specific/pointed back from the multicore-ocaml devs myself, but from the upstream perspective it looks like we are still in the phase “buildup work in the compiler before the core runtime changes” – planned Q…

Thanks for the update above @gasche Are there any risks for the merge of multicore into the main OCaml trunk? I have been generally following the discussions on github and there seem to be interesting discussions on various tickets that are tagged as multicore-prerequisite (and other multicore rela…

I’ll reply in the best way I can, but please keep in mind that I haven’t been involved personally in the ocaml-multicore work (although I did help review and integrate some of the multicore-prerequisite changes). Are there any risks for the merge of multicore into the main OCaml trunk? We don’t …

Were there any recent developments regarding the project?

Multicore seems to be progressing – if only at a pace much slower than what I hoped. There is a new (important, foundational) PR related to multicore: Move C global variables to a dedicated structure ocaml:trunk ← kayceesrk:r14-g…

We had another development meeting at the end of April where Stephen Dolan was invited to give a progress report on Multicore. Things have been progressing, although of course at a slower pace than anticipated (personally I’m not terribly surprised given the complexity of the whole thing, but that’s…

[image] gasche: On the other hand, if you want to help, please feel free to help reviewing any of the open PRs, and/or have a look at the Multicore Roadmap which has lists of tasks still to be done. Indeed, as an outsider who has tried to offer help, I would add that there are a lot of oppor…

As a small step towards multicore, its interesting to note that https://github.com/ocaml/ocaml/pull/8713 just got merged to master!

Ocaml-multicore: report on a June 2018 development meeting in Paris

Ecosystem

jhw August 27, 2019, 5:41pm 11

Now if only #1128 can be cleared for landing.

Topic		Replies	Views
Multicore OCaml: Dec 2020 / Jan 2021 Community multicore , multicore-monthly	6	3657	February 8, 2021
Multicore OCaml: March 2020 update Community multicore , multicore-monthly	22	14967	April 24, 2020
Multicore OCaml: September 2020 Community multicore , multicore-monthly	9	14070	October 23, 2020
Multicore OCaml: April 2021 Community multicore , multicore-monthly	0	11031	May 13, 2021
Multicore OCaml: May 2021 Community multicore , multicore-monthly	3	11368	July 12, 2021

Ocaml-multicore: report on a June 2018 development meeting in Paris

Related topics