From 015984ce39e02289d9a8c65c92f5c3a23b48e708 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Wed, 7 Feb 2018 14:49:42 +0100
Subject: [PATCH] Add a timings script
---
bin/timings.sh | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
create mode 100755 bin/timings.sh
diff --git a/bin/timings.sh b/bin/timings.sh
new file mode 100755
index 00000000..b85e6589
--- /dev/null
+++ b/bin/timings.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+# If an argument was given use it as the working directory
+if [ $# -eq 1 ]
+then
+ cd $1
+fi
+
+# Search for runnable executables
+FILES=$(ls *.ini | grep -v '^verify')
+for inifile in $FILES
+do
+ line=$(grep ^"opcounter = " $inifile)
+ extract=${line##opcounter = }
+ UPPER=10
+ if [ $extract -eq 1 ]
+ then
+ UPPER=1
+ fi
+ COUNT=0
+ while [ $COUNT -lt $UPPER ]; do
+ exec=${inifile%.ini}
+ MAXCORES=40
+ mpirun --bind-to core -np $MAXCORES ./$exec $inifile
+ COUNT=$((COUNT + 1))
+ done
+done
--
GitLab