I have an app design question regarding the use of multiple domains in say Eio or some other multicore library. We can do eg let num_domains = Domain.recommended_domain_count () - 1 let additional_domains = Eio.Stdenv.domain_manager env, num_domains ... Cohttp_eio.Server.run ~additional_domains ...…

Unfortunately the answer is no. The implementation of the Cohttp_eio.Server predates Eio.Executor_pool. This is why it uses the raw domain spawning API rather than using a pool. In fact, it is Eio.Net.run_server that uses the Domain_manager.run API – I think there’s a good argument here to change th…

Got it. I think two tracking issues will be needed as two APIs will change: Eio.Net.run_server should take an executor pool instead of the domain manager opened 03:56PM - 28 Dec 24 UTC (UTC) [image] …

Although the Eio.Executor_pool.submit function seems to be designed for only one subsystem to have access to the pool and submit coarse-grained jobs to it, not for multiple decoupled subsystems. I can’t see a way for both an HTTP server and an async message queue (eg) subsystem to share the same poo…

OK, I’ve suggested a multi-core runtime strategy, basically: let () = Par.run @@ env -> ...run on multiple cores... (* Distribute slices of the array across all worker domains *) let result = Par.sum env large_float_array in ... So this takes care of starting up the recommended number of …

Sorry to interfere with this question, but I’d just like to mention that this is exactly what Miou offers with Miou.parallel: let () = Miou.run @@ fun () -> let result = Miou.parallel sum large_float_array in ... You can see the documentation here (with a little example): Miou.parallel . And ab…

Hey folks, just a reminder that this thread is meant to be about parallelism/concurrency strategies in Eio. Thanks.

There’s an interesting discussion going on here regarding domains vs threads as building blocks and the merits of user-defined concurrency. Admins, can we split this discussion thread up?

Multiple domains design question in Eio/etc

Learning

Topic		Replies	Views
Interaction between eio and domainslib, unhandled exceptions? Ecosystem domainslib , eio	7	1675	April 20, 2023
Successful experiences using Multicore runtime? Community	16	1454	July 18, 2025
No Domain.maximum_domain_count() in the stdlib Learning multicore-ocaml	35	2452	February 1, 2023
Analog of Promise.any() for Multicore OCaml Learning	5	527	February 24, 2024
On concurrency models Community multicore , concurrency	19	1815	January 13, 2025

Multiple domains design question in Eio/etc

Related topics