From 0b70060c40ffa5b0996509bbed81aea038624bb3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 8 Jun 2023 00:19:24 -0400 Subject: [PATCH] perf pool: use relax() in spin loop --- src/pool.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pool.ml b/src/pool.ml index 4264a20f..e7dcb1cd 100644 --- a/src/pool.ml +++ b/src/pool.ml @@ -18,7 +18,7 @@ let add_global_thread_loop_wrapper f : unit = let l = A.get global_thread_wrappers_ in not (A.compare_and_set global_thread_wrappers_ l (f :: l)) do - () + Domain_.relax () done exception Shutdown