perf: account for main domain when starting background domains

This commit is contained in:
Simon Cruanes 2023-06-08 15:08:07 -04:00
parent ed4cc2550b
commit ab2d8d4956
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -12,7 +12,9 @@ type worker = { q: (unit -> unit) Bb_queue.t } [@@unboxed]
let domains_ : worker array lazy_t =
lazy
(let n = Domain_.recommended_number () in
((* number of domains we spawn. Note that we spawn n-1 domains
because there already is the main domain running. *)
let n = Domain_.recommended_number () - 1 in
Array.init n (fun i ->
let q = Bb_queue.create () in
let _domain : domain = Domain_.spawn (fun () -> work_ i q) in