From bf76b1f8eb517fb6209cbfe866026d6f9672a2ea Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 15 Jan 2026 20:53:05 -0500 Subject: [PATCH] bench --- bench/trace1.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bench/trace1.ml b/bench/trace1.ml index 624f770..e945f1b 100644 --- a/bench/trace1.ml +++ b/bench/trace1.ml @@ -3,6 +3,9 @@ module Trace = Trace_core let ( let@ ) = ( @@ ) 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 let@ _sp = Trace.with_span ~__FILE__ ~__LINE__ "outer" ~data:(fun () -> @@ -16,6 +19,7 @@ let work ~n () : unit = done 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 Array.iter Domain.join domains