diff options
| author | Birte Kristina Friesel <birte.friesel@uos.de> | 2024-07-26 18:10:39 +0200 |
|---|---|---|
| committer | Birte Kristina Friesel <birte.friesel@uos.de> | 2024-07-26 18:10:39 +0200 |
| commit | a78066c0f24e70cc044ad9d49be1bdf7ccc783e9 (patch) | |
| tree | 4316e7edbc80c9dcc8c0d340f4d75cd05dfec0f5 /TS/run-paper-strong-full.sh | |
| parent | 03416c3f762f58f722eea0edc290c0f379320bdf (diff) | |
TS: re-add --resume
Diffstat (limited to 'TS/run-paper-strong-full.sh')
| -rwxr-xr-x | TS/run-paper-strong-full.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/TS/run-paper-strong-full.sh b/TS/run-paper-strong-full.sh index bb87a93..5b7656d 100755 --- a/TS/run-paper-strong-full.sh +++ b/TS/run-paper-strong-full.sh @@ -15,12 +15,13 @@ echo "Started at $(date)" echo "Revision $(git describe --always)" # >2048 is not part of upstream +# 12 tasklets are not part of upstream (code does not work with 16…) for nr_dpus in 2543 2304 256 512 1024 2048; do - for nr_tasklets in 1 2 4 8 16; do + for nr_tasklets in 1 2 4 8 12 16; do echo # upstream code did not respect $BL in the makefile and used 256B (BL=8) instead. - # BL=10 appears to be slightly faster. - if make -B NR_DPUS=${nr_dpus} NR_TASKLETS=${nr_tasklets} BL=10; then + # This appears to be faster than BL=10. + if make -B NR_DPUS=${nr_dpus} NR_TASKLETS=${nr_tasklets} BL=8; then timeout --foreground -k 1m 30m bin/ts_host -w 0 -e 100 -n 33554432 || true fi done |