simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-07 11:45:39 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

some comments

Browse source
This commit is contained in:
Simon Cruanes 2023-08-29 14:26:46 -04:00
parent 0345b65fb4
commit 2068088255
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/d_pool_.ml
View file

@ -13,7 +13,10 @@ type worker_state = {
(** Array of (optional) workers. (** Array of (optional) workers.
Workers are started/stop on demand. *) Workers are started/stop on demand. For each index we have
the (currently active) domain's state
including a work queue and a thread refcount; and the domain itself,
if any, in a separate option because it might outlive its own state. *)
let domains_ : (worker_state option * Domain_.t option) Lock.t array = let domains_ : (worker_state option * Domain_.t option) Lock.t array =
(* number of domains we spawn. Note that we spawn n-1 domains (* number of domains we spawn. Note that we spawn n-1 domains
because there already is the main domain running. *) because there already is the main domain running. *)
@ -90,8 +93,9 @@ let run_on (i : int) (f : unit -> unit) : unit =
| (Some w, _) as st -> | (Some w, _) as st ->
Atomic_.incr w.th_count; Atomic_.incr w.th_count;
st, w st, w
| None, _dom -> | None, dying_dom ->
Option.iter Domain_.join _dom; (* join previous dying domain, to free its resources, if any *)
Option.iter Domain_.join dying_dom;
let w = { th_count = Atomic_.make 1; q = Bb_queue.create () } in let w = { th_count = Atomic_.make 1; q = Bb_queue.create () } in
let worker : domain = Domain_.spawn (fun () -> work_ i w) in let worker : domain = Domain_.spawn (fun () -> work_ i w) in
(Some w, Some worker), w) (Some w, Some worker), w)