[no subject]

[Ludovic Courtès]

branch: master
commit 17a306ad715d23ca5ff1b54ad5bac90f233a3a27
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Jul 14 01:44:01 2023 +0200

    remote-server: Add some parallelism.
    
    * src/cuirass/scripts/remote-server.scm (cuirass-remote-server):
    Change #:parallelism.
---
 src/cuirass/scripts/remote-server.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/cuirass/scripts/remote-server.scm 
b/src/cuirass/scripts/remote-server.scm
index ca008fc..41084b2 100644
--- a/src/cuirass/scripts/remote-server.scm
+++ b/src/cuirass/scripts/remote-server.scm
@@ -65,7 +65,8 @@
   #:use-module (ice-9 q)
   #:use-module (ice-9 rdelim)
   #:use-module (ice-9 regex)
-  #:use-module (ice-9 threads)
+  #:use-module ((ice-9 threads)
+                #:select (current-processor-count join-thread))
   #:use-module (fibers)
   #:export (cuirass-remote-server))
 
@@ -660,4 +661,4 @@ exiting."
                  (terminate-helper-processes)
                  (primitive-exit 1)))))
          #:hz 0
-         #:parallelism 1)))))
+         #:parallelism (min 8 (current-processor-count)))))))