>From d44f361687f33ef3c293154d94a18571591d97ba Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Fri, 8 Dec 2017 00:11:26 +0900
Subject: [PATCH 1/2] CodeSamples/formal/herd: Import absperf scripts of Paul's litmus repo
Import scripts as of commit 62d56aa9b4a2 ("Make absperf scripts more
flexible") in Paul's repository at:
https://github.com/paulmckrcu/litmus.git
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/herd/absperf-reduce.sh | 30 ++++++++++++++++++++++++++++++
CodeSamples/formal/herd/absperf.sh | 15 +++++++++++++++
2 files changed, 45 insertions(+)
create mode 100644 CodeSamples/formal/herd/absperf-reduce.sh
create mode 100644 CodeSamples/formal/herd/absperf.sh
diff --git a/CodeSamples/formal/herd/absperf-reduce.sh b/CodeSamples/formal/herd/absperf-reduce.sh
new file mode 100644
index 0000000..0c338b8
--- /dev/null
+++ b/CodeSamples/formal/herd/absperf-reduce.sh
@@ -0,0 +1,30 @@
+#!/bin/sh
+
+awk '
+/absperf/ {
+ curtest=$1;
+ testran = 0;
+}
+
+/^Test/ {
+ testran = 1;
+}
+
+/maxresident)k/ {
+ if (testran) {
+ curtesttime = $0;
+ gsub(/user .*$/, "", curtesttime);
+ testtime_n[curtest]++;
+ testtime_sum[curtest] += curtesttime;
+ if (testtime_max[curtest] == "" || curtesttime > testtime_max[curtest])
+ testtime_max[curtest] = curtesttime;
+ if (testtime_min[curtest] == "" || curtesttime < testtime_min[curtest])
+ testtime_min[curtest] = curtesttime;
+ }
+}
+
+END {
+ for (i in testtime_n)
+ print i, testtime_sum[i] / testtime_n[i], testtime_min[i], testtime_max[i];
+}
+'
diff --git a/CodeSamples/formal/herd/absperf.sh b/CodeSamples/formal/herd/absperf.sh
new file mode 100644
index 0000000..4b54680
--- /dev/null
+++ b/CodeSamples/formal/herd/absperf.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+TIMECMD=/usr/bin/time
+TESTBASE=${1:-litmus-tests}
+TIMEOUT=${2:-15m}
+ITER=${3:-10}
+
+for n in $(seq $ITER)
+do
+ for i in $TESTBASE/absperf/*.litmus
+ do
+ echo $i
+ $TIMECMD timeout $TIMEOUT herd7 -conf linux-kernel.cfg $i
+ done
+done
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
