Use threaded GC

ufechner7 · Dec 11, 2023 · 7a08c7c · 7a08c7c
1 parent 7029cca
commit 7a08c7c
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/bin/run_julia b/bin/run_julia
@@ -11,9 +11,19 @@ if [[ $julia_major == "1.1" ]]; then
 fi
 branch=$(git rev-parse --abbrev-ref HEAD)
 
+if [[ $julia_major == "1.10" ]]; then
+    if [[ $HOSTNAME == "ufryzen" || $HOSTNAME == "TUD262682" ]]; then
+        GCT="--gcthreads=8,1"
+    else
+        GCT="--gcthreads=4,1"
+    fi
+else
+    GCT=""
+fi
+
 if test -f "bin/kps-image-${julia_major}-${branch}.so"; then
     echo "Found system image!"
-    julia -J  bin/kps-image-${julia_major}-${branch}.so -t 1 --project
+    julia -J  bin/kps-image-${julia_major}-${branch}.so -t 1 $GCT --project
 else
-    julia --project
+    julia $GCT --project
 fi