Use physical cores for recommended parralellism

OCamlPro · Jun 7, 2024 · d6143bf · d6143bf
1 parent 2051454
commit d6143bf
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -74,5 +74,6 @@
   digestif
   xmlm
   (hc (>= 0.3))
+  (processor (>= 0.1))
   dune-site)
  (sites (share pyc) (share binc) (share libc)))
diff --git a/owi.opam b/owi.opam
@@ -42,6 +42,7 @@ depends: [
   "digestif"
   "xmlm"
   "hc" {>= "0.3"}
+  "processor" {>= "0.1"}
   "dune-site"
 ]
 build: [

diff --git a/src/bin/owi.ml b/src/bin/owi.ml
@@ -60,12 +60,12 @@ let unsafe =
 
 let workers =
   let doc =
-    "number of workers for symbolic execution. Defaults to a machine-specific \
-     value given by the OCaml Domain.recommended_domain_count function."
+    "number of workers for symbolic execution. Defaults to the number of \
+     physical cores."
   in
   Cmdliner.Arg.(
     value
-    & opt int (Domain.recommended_domain_count ())
+    & opt int Processor.Query.core_count
     & info [ "workers"; "w" ] ~doc ~absent:"n" )
 
 let workspace =

diff --git a/src/dune b/src/dune
@@ -98,6 +98,7 @@
   menhirLib
   ocaml_intrinsics
   ppxlib
+  processor
   sedlex
   uutf
   runtime_events