Revise benchmarks

bench/bench_dllist.ml

@@ -49,7 +49,7 @@ let run_one ~budgetf ?(n_adders = 2) ?(n_takers = 2) ?(factor = 1)
         if n <> 0 then begin
           for _ = 1 to n do
             while Option.is_none (Dllist.take_opt_l t) do
-              Domain.cpu_relax ()
+              Backoff.once Backoff.default |> ignore
             done
           done;
           work ()

bench/bench_mvar.ml

@@ -30,7 +30,7 @@ let run_one ~budgetf ?(n_adders = 2) ?(blocking_add = false) ?(n_takers = 2)
           if 0 < n then begin
             for i = 1 to n do
               while not (Mvar.try_put t i) do
-                Domain.cpu_relax ()
+                Backoff.once Backoff.default |> ignore
               done
             done;
             work ()
@@ -54,7 +54,7 @@ let run_one ~budgetf ?(n_adders = 2) ?(blocking_add = false) ?(n_takers = 2)
         if n <> 0 then begin
           for _ = 1 to n do
             while Option.is_none (Mvar.take_opt t) do
-              Domain.cpu_relax ()
+              Backoff.once Backoff.default |> ignore
             done
           done;
           work ()

bench/bench_queue.ml

@@ -58,7 +58,7 @@ let run_one ~budgetf ?(n_adders = 2) ?(blocking_add = false) ?(n_takers = 2)
         if n <> 0 then begin
           for _ = 1 to n do
             while Option.is_none (Queue.take_opt t) do
-              Domain.cpu_relax ()
+              Backoff.once Backoff.default |> ignore
             done
           done;
           work ()

bench/bench_stack.ml

@@ -58,7 +58,7 @@ let run_one ~budgetf ?(n_adders = 2) ?(blocking_add = false) ?(n_takers = 2)
         if n <> 0 then begin
           for _ = 1 to n do
             while Option.is_none (Stack.pop_opt t) do
-              Domain.cpu_relax ()
+              Backoff.once Backoff.default |> ignore
             done
           done;
           work ()

bench/dune

@@ -1,22 +1,16 @@
-(* -*- tuareg -*- *)
-
-let maybe_domain_shims_and_threads =
-  if Jbuild_plugin.V1.ocaml_version < "5" then "domain_shims threads.posix"
-  else ""
-
-let () =
-  Jbuild_plugin.V1.send
-  @@ {|
-
 (test
  (name main)
  (package kcas_data)
  (action
-  (run %{test} -brief))
- (libraries
-  kcas_data
-  multicore-bench
-  backoff
-  multicore-magic |}
-  ^ maybe_domain_shims_and_threads ^ {| ))
-|}
+  (progn
+   (run %{test} -brief "Kcas Loc")
+   (run %{test} -brief "Kcas Xt")
+   (run %{test} -brief "Kcas Xt read-only")
+   (run %{test} -brief "Kcas parallel CMP")
+   (run %{test} -brief "Kcas_data Accumulator")
+   (run %{test} -brief "Kcas_data Dllist")
+   (run %{test} -brief "Kcas_data Hashtbl")
+   (run %{test} -brief "Kcas_data Mvar")
+   (run %{test} -brief "Kcas_data Queue")
+   (run %{test} -brief "Kcas_data Stack")))
+ (libraries kcas_data multicore-bench backoff multicore-magic))

dune-project

@@ -94,7 +94,7 @@
     :with-test))
   (multicore-bench
    (and
-    (>= 0.1.5)
+    (>= 0.1.7)
     :with-test))
   (alcotest
    (and

kcas_data.opam

@@ -22,7 +22,7 @@ depends: [
   "backoff" {>= "0.1.0" & with-test}
   "domain-local-await" {>= "1.0.1" & with-test}
   "domain_shims" {>= "0.1.0" & with-test}
-  "multicore-bench" {>= "0.1.5" & with-test}
+  "multicore-bench" {>= "0.1.7" & with-test}
   "alcotest" {>= "1.8.0" & with-test}
   "qcheck-core" {>= "0.21.2" & with-test}
   "qcheck-stm" {>= "0.3" & with-test}