diff options
author | Juan Gomez Luna <juan.gomez@safari.ethz.ch> | 2021-06-16 19:46:05 +0200 |
---|---|---|
committer | Juan Gomez Luna <juan.gomez@safari.ethz.ch> | 2021-06-16 19:46:05 +0200 |
commit | 3de4b495fb176eba9a0eb517a4ce05903cb67acb (patch) | |
tree | fc6776a94549d2d4039898f183dbbeb2ce013ba9 /SCAN-RSS/run.sh | |
parent | ef5c3688c486b80a56d3c1cded25f2b2387f2668 (diff) |
PrIM -- first commit
Diffstat (limited to 'SCAN-RSS/run.sh')
-rwxr-xr-x | SCAN-RSS/run.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/SCAN-RSS/run.sh b/SCAN-RSS/run.sh new file mode 100755 index 0000000..1c39f7c --- /dev/null +++ b/SCAN-RSS/run.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +for i in 2048 4096 8192 16384 65536 262144 1048576 3932160 +do + NR_DPUS=1 NR_TASKLETS=16 BL=10 VERSION=SINGLE make all + wait + ./bin/host_code -w 10 -e 100 -i ${i} > profile/out${i}_tl16_bl10_dpu11 + wait + make clean + wait +done |