Admin/isatest-statistics
author wenzelm
Tue, 19 Sep 2006 22:00:32 +0200
changeset 20615 0d71cc267e0d
parent 20614 948ad402c8a7
child 20646 02729d4d6e4a
permissions -rwxr-xr-x
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     2
#
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     3
# $Id$
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     4
# Author: Makarius
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     5
#
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     6
# DESCRIPTION: Produce statistics from isatest session logs.
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     7
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     8
ISATEST_LOG=~isatest/log
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
     9
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    10
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    11
## diagnostics
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    12
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    13
PRG="$(basename "$0")"
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    14
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    15
function usage()
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    16
{
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    17
  echo
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    18
  echo "Usage: $PRG DIR PLATFORM TIMESPAN SESSIONS..."
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    19
  echo
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    20
  echo "  Produce statistics from isatest session logs, looking TIMESPAN"
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    21
  echo "  days into the past.  Outputs .png files into DIR."
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    22
  echo
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    23
  exit 1
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    24
}
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    25
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    26
function fail()
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    27
{
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    28
  echo "$1" >&2
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    29
  exit 2
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    30
}
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    31
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    32
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    33
## arguments
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    34
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    35
[ "$1" = "-?" ] && usage
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    36
[ "$#" -lt "4" ] && usage
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    37
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    38
DIR="$1"; shift
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    39
PLATFORM="$1"; shift
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    40
TIMESPAN="$1"; shift
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    41
SESSIONS="$@"
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    42
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    43
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    44
## main
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    45
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    46
ALL_DATA="/tmp/isatest-all$$.dat"
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    47
SESSION_DATA="/tmp/isatest$$.dat"
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    48
mkdir -p "$DIR" || fail "Bad directory: $DIR"
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    49
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    50
zgrep "^Finished .*elapsed" \
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    51
  $(find "$ISATEST_LOG" -name "isatest-makeall-${PLATFORM}*" -ctime "-${TIMESPAN}") | \
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    52
perl -e '
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    53
  while (<>) {
20615
wenzelm
parents: 20614
diff changeset
    54
    if (m/isatest-makeall-.*-(\d+)-(\d+)-(\d+)-.*:Finished (\S+) \(.*, (\d+):(\d+):(\d+) cpu time\)/) {
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    55
        my $year = $1;
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    56
        my $month = $2;
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    57
        my $day = $3;
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    58
        my $name = $4;
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    59
        my $time = ($5 * 3600 + $6 * 60 + $7) / 60;
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    60
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    61
        printf "$name $year-$month-$day %.2f\n", $time;
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    62
    }
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    63
  }' > "$ALL_DATA"
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    64
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    65
for SESSION in $SESSIONS
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    66
do
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    67
  fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA"
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    68
  gnuplot <<EOF
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    69
set terminal png
20614
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    70
set output "$DIR/${SESSION}.png"
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    71
set xdata time
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    72
set timefmt "%Y-%m-%d"
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    73
set format x "%d-%b"
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    74
set xlabel "$SESSION"
948ad402c8a7 target dir;
wenzelm
parents: 20612
diff changeset
    75
plot [] [0:] "$SESSION_DATA" using 2:3 title "" smooth sbezier, "$SESSION_DATA" using 2:3 title "" smooth csplines
20611
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    76
EOF
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    77
done
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    78
ef4661e2e602 Produce statistics from isatest session logs.
wenzelm
parents:
diff changeset
    79
rm -f "$ALL_DATA" "$SESSION_DATA"