diff --git a/bin/run_juliart b/bin/run_juliart new file mode 100755 index 00000000..4b03d392 --- /dev/null +++ b/bin/run_juliart @@ -0,0 +1,24 @@ +#!/bin/bash + +if [[ $(basename $(pwd)) == "bin" ]]; then + cd .. +fi + +if [[ $HOSTNAME == "tuxedi" ]]; then + sudo performance.sh +fi + +# instead of 8, use the number of fast CPU cores you have +GCT="--gcthreads=7,1" + +julia_version=$(/home/ufechner/.juliaup/bin/julia --version | awk '{print($3)}') +julia_major=${julia_version:0:3} +branch=$(git rev-parse --abbrev-ref HEAD) + +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 8,1 $GCT --project +else + sudo chrt -r 70 /home/ufechner/.juliaup/bin/julia --project -t 7,1 $GCT + # julia --project +fi