Paul E. McKenney | 2193e16 | 2014-02-07 15:16:25 -0800 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | # |
| 3 | # Analyze a given results directory for rcutorture progress. |
| 4 | # |
Pranith Kumar | 3327d92 | 2014-07-11 19:47:35 -0400 | [diff] [blame^] | 5 | # Usage: kvm-recheck-rcu.sh resdir |
Paul E. McKenney | 2193e16 | 2014-02-07 15:16:25 -0800 | [diff] [blame] | 6 | # |
| 7 | # This program is free software; you can redistribute it and/or modify |
| 8 | # it under the terms of the GNU General Public License as published by |
| 9 | # the Free Software Foundation; either version 2 of the License, or |
| 10 | # (at your option) any later version. |
| 11 | # |
| 12 | # This program is distributed in the hope that it will be useful, |
| 13 | # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 15 | # GNU General Public License for more details. |
| 16 | # |
| 17 | # You should have received a copy of the GNU General Public License |
| 18 | # along with this program; if not, you can access it online at |
| 19 | # http://www.gnu.org/licenses/gpl-2.0.html. |
| 20 | # |
| 21 | # Copyright (C) IBM Corporation, 2014 |
| 22 | # |
| 23 | # Authors: Paul E. McKenney <paulmck@linux.vnet.ibm.com> |
| 24 | |
| 25 | i="$1" |
| 26 | if test -d $i |
| 27 | then |
| 28 | : |
| 29 | else |
| 30 | echo Unreadable results directory: $i |
| 31 | exit 1 |
| 32 | fi |
| 33 | |
| 34 | configfile=`echo $i | sed -e 's/^.*\///'` |
| 35 | ngps=`grep ver: $i/console.log 2> /dev/null | tail -1 | sed -e 's/^.* ver: //' -e 's/ .*$//'` |
| 36 | if test -z "$ngps" |
| 37 | then |
Paul E. McKenney | 9eb97fe | 2014-03-17 13:42:33 -0700 | [diff] [blame] | 38 | echo "$configfile -------" |
Paul E. McKenney | 2193e16 | 2014-02-07 15:16:25 -0800 | [diff] [blame] | 39 | else |
| 40 | title="$configfile ------- $ngps grace periods" |
| 41 | dur=`sed -e 's/^.* rcutorture.shutdown_secs=//' -e 's/ .*$//' < $i/qemu-cmd 2> /dev/null` |
| 42 | if test -z "$dur" |
| 43 | then |
| 44 | : |
| 45 | else |
| 46 | ngpsps=`awk -v ngps=$ngps -v dur=$dur ' |
| 47 | BEGIN { print ngps / dur }' < /dev/null` |
| 48 | title="$title ($ngpsps per second)" |
| 49 | fi |
| 50 | echo $title |
| 51 | fi |