From: Francois Berenger <email@example.com> To: Florian Angeletti <firstname.lastname@example.org> Cc: caml-list <email@example.com> Subject: Re: [Caml-list] The road to OCaml 5.0 Date: Fri, 08 Oct 2021 10:42:01 +0900 [thread overview] Message-ID: <firstname.lastname@example.org> (raw) In-Reply-To: <1219673154.28999293.1633600103529.JavaMail.email@example.com> On 07/10/2021 18:48, Florian Angeletti wrote: > With the convergence between the multicore and standard runtime across > OCaml 4.10.0 to 4.13.0, the development of OCaml multicore has reached > a point > where further integration into OCaml's main branch requires fully > committing to > a switch to OCaml multicore. > > The OCaml team has decided that the time has come for such a > commitment. > The new major version, OCaml 5, will be a multicore version of OCaml. > Moreover, OCaml 4.14 will be the last minor release of the 4.x series > of OCaml. > > Multicore Minimum Viable Product (MVP) > ------------------------------------------------------ > > The first version of OCaml multicore, code-named OCaml 5.0, will be > a Minimum Viable Product focused on: > > - x86-64 > - Linux, MacOS, Windows mingw-w64 > - Parallelism through Domains  > - Concurrency through Effect Handlers  (without syntactic support > and exposed as functions from the standard library) > > Our plan is to integrate the multicore branch into the main branch > during the > next 6 months. Hopefully, OCaml 5.0 will then be released between > March and > April 2022. > > Note that OCaml 5.0 focuses on minimal (solid) support for the > multicore > runtime system, and will not provide stable user-facing concurrency > and > parallelism libraries. There has been a lot of experimentation [3,4] > in the last > few years, and some work remains to offer long-term, user-facing > concurrent and > parallel programming abstractions. OCaml 5.0 will be a great time to > start > adding concurrency and parallelism to your OCaml programs, but the > libraries > will still be in flux. The Parany library: --- Generalized map reduce for multicore computers (unfold, map in parallel, fold). Parany can process in parallel an "infinite" stream of elements (too big to fit in memory). Any Parmap functionality can be reimplemented using parany. --- already has a git branch which is relying on multicore-OCaml: https://github.com/UnixJunkie/parany/tree/domains When OCaml-5.0 ships, I will ship a parany version compatible with it. I am quite sure Parmap could do the same, by the way (but I'm not the Parmap maintainer). Regards, F. > Long term support for OCaml 4.14 > ---------------------------------------------- > > While OCaml 5 is stabilising, we plan to extend the support period for > OCaml 4.14 by publishing minor bugfix releases whenever needed. In > particular, > OCaml 4.14 will be supported until all tier-1 architectures and > operating systems > are available in OCaml 5, and OCaml 5 sequential performance is close > enough to > that of OCaml 4. > > The sequential glaciation > --------------------------------- > > To ensure that maintainers can concentrate on Multicore integration, > and avoid > any rebase work for the Multicore developers, the trunk branch will be > feature-frozen starting from November 2021. All non-bugfix > non-multicore > contributions will be delayed to after the Multicore integration. > We are calling this period the "sequential glaciation". > > We understand that this may be frustrating for our contributors, and > apologize > for the delay in getting your nice work reviewed and merged into the > codebase. > We hope that the sequential glaciation will be a good opportunity to > help with > the Multicore integration, review and testing, and/or focus on > non-core-compiler > efforts and the rest of the OCaml ecosystem. > > With this early feature-freeze, we also plan to release OCaml 4.14.0 > in advance, > between January-February 2022, reducing the concurrency between the > OCaml 5.0 > and OCaml 4.14.0 releases. > > References > --------------- >  "Retrofitting Parallelism onto OCaml", ICFP 2020, > https://arxiv.org/abs/2004.11663 >  "Retrofitting Concurrency onto OCaml", PLDI 2021, > https://arxiv.org/abs/2104.00250 >  Domainslib -- Parallel Programming over Multicore OCaml, > https://github.com/ocaml-multicore/domainslib >  eio -- Effects-based Parallel IO for OCaml, > https://github.com/ocaml-multicore/eio > > Happy hacking, > Florian Angeletti, for the OCaml team.
next prev parent reply other threads:[~2021-10-08 1:42 UTC|newest] Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-10-07 9:48 Florian Angeletti 2021-10-08 1:42 ` Francois Berenger [this message] 2021-10-08 20:34 ` Christophe Raffalli 2021-10-09 0:07 ` [Caml-list] Sequential speed 4.12.0 vs 4.13.1 vs multicore (Was: The road to OCaml 5.0) Christophe Raffalli 2021-10-09 0:58 ` Michael Bacarella 2021-10-09 1:11 ` Michael Bacarella 2021-10-09 1:20 ` Michael Bacarella 2021-10-09 2:10 ` Christophe Raffalli 2021-10-09 17:20 ` Xavier Leroy 2021-10-10 3:37 ` Christophe Raffalli 2021-10-09 17:14 ` ygrek
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --subject='Re: [Caml-list] The road to OCaml 5.0' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).