This commit is contained in:
Simon Cruanes 2026-01-15 20:53:05 -05:00
parent 22d91d4f40
commit bf76b1f8eb
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -3,6 +3,9 @@ module Trace = Trace_core
let ( let@ ) = ( @@ ) let ( let@ ) = ( @@ )
let work ~n () : unit = let work ~n () : unit =
let@ _sp = Trace.with_span ~__FILE__ ~__LINE__ "work" in
Trace.add_data_to_span _sp [ "n", `Int n ];
for _i = 1 to n do for _i = 1 to n do
let@ _sp = let@ _sp =
Trace.with_span ~__FILE__ ~__LINE__ "outer" ~data:(fun () -> Trace.with_span ~__FILE__ ~__LINE__ "outer" ~data:(fun () ->
@ -16,6 +19,7 @@ let work ~n () : unit =
done done
let main ~n ~j () : unit = let main ~n ~j () : unit =
let@ _sp = Trace.with_span ~__FILE__ ~__LINE__ "main" in
let domains = Array.init j (fun _ -> Domain.spawn (fun () -> work ~n ())) in let domains = Array.init j (fun _ -> Domain.spawn (fun () -> work ~n ())) in
Array.iter Domain.join domains Array.iter Domain.join domains