This commit is contained in:
Simon Cruanes 2023-06-09 15:11:25 -04:00
parent 027d39e9a5
commit e820cb83ea
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -14,7 +14,7 @@ let domains_ : worker array lazy_t =
lazy
((* 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
let n = max 1 (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