Skip benchmarks with too many domains

ocaml-multicore · Jul 21, 2024 · 9772aad · 9772aad
1 parent c5e4ed8
commit 9772aad
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/bench/bench_computation.ml b/bench/bench_computation.ml
@@ -93,4 +93,6 @@ let run_trivial ~budgetf () =
 let run_suite ~budgetf =
   run_trivial ~budgetf ()
   @ ([ 1; 2; 4 ]
-    |> List.concat_map @@ fun n_domains -> run_one ~budgetf ~n_domains ())
+    |> List.concat_map @@ fun n_domains ->
+       if Picos_domain.recommended_domain_count () < n_domains then []
+       else run_one ~budgetf ~n_domains ())
diff --git a/bench/bench_current.ml b/bench/bench_current.ml
@@ -31,4 +31,6 @@ let run_one ~budgetf ~n_domains () =
 
 let run_suite ~budgetf =
   [ 1; 2; 4 ]
-  |> List.concat_map @@ fun n_domains -> run_one ~budgetf ~n_domains ()
+  |> List.concat_map @@ fun n_domains ->
+     if Picos_domain.recommended_domain_count () < n_domains then []
+     else run_one ~budgetf ~n_domains ()
diff --git a/bench/bench_mpscq.ml b/bench/bench_mpscq.ml
@@ -76,4 +76,6 @@ let run_one ~budgetf ~n_adders () =
 let run_suite ~budgetf =
   run_one_domain ~budgetf ()
   @ ([ 1; 2; 4 ]
-    |> List.concat_map @@ fun n_adders -> run_one ~budgetf ~n_adders ())
+    |> List.concat_map @@ fun n_adders ->
+       if Picos_domain.recommended_domain_count () < 1 + n_adders then []
+       else run_one ~budgetf ~n_adders ())