summaryrefslogtreecommitdiff
path: root/TRNS/run-paper-weak.sh
diff options
context:
space:
mode:
authorBirte Friesel <dfriesel@uos.de>2023-07-26 17:55:54 +0200
committerBirte Friesel <dfriesel@uos.de>2023-07-26 17:55:54 +0200
commitc4dae8a92fc6c9bfa48c5d5085a0dcc96fe9e645 (patch)
tree315f59f61a8e06ea4931f677141acb1435529aca /TRNS/run-paper-weak.sh
parent16c8347eac0e9650570aadf958c8a04a594a9c35 (diff)
update config space
Diffstat (limited to 'TRNS/run-paper-weak.sh')
-rwxr-xr-xTRNS/run-paper-weak.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/TRNS/run-paper-weak.sh b/TRNS/run-paper-weak.sh
index 0840260..4d15543 100755
--- a/TRNS/run-paper-weak.sh
+++ b/TRNS/run-paper-weak.sh
@@ -17,7 +17,7 @@ for nr_dpus in 256 512 1 4 16 64; do
for nr_tasklets in 1 2 4 8 16; do
echo
if make -B NR_DPUS=${nr_dpus} NR_TASKLETS=${nr_tasklets}; then
- timeout --foreground -k 1m 30m bin/bs_host -w 0 -e 100 -p 1 -o 12288 -x 0 || true
+ timeout --foreground -k 1m 60m bin/bs_host -w 0 -e 100 -p 1 -o 12288 -x 0 || true
fi
done
done | tee log-paper-weak.txt