matita/scripts/crontab.sh

   1 #!/bin/bash
   2 #set -x
   3
   4 #configuration
   5 TODAY=`date +%Y%m%d`
   6 YESTERDAY=`date -d yesterday +%Y%m%d`
   7 TMPDIRNAME=$HOME/__${TODAY}_crontab
   8 TMPDIRNAMEOLD=$HOME/__${YESTERDAY}_crontab
   9 SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
  10 SHELLTIME2CENTSPHP=scripts/shell_time2cents.php
  11 SHELLADDERPHP=scripts/shell_adder.php
  12 COMMONPHP=scripts/public_html/common.php
  13 MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"
  14 SQLQMARK="select distinct mark from bench where mark like '%s%%' order by mark;"
  15 SQLQTIME="select SUM(timeuser) from bench where mark = '%s' group by mark;"
  16 SQLQFAILCOUNT="select count(distinct test) from bench where mark = '%s' and result = 'fail';"
  17 SQLQFAIL="select distinct test from bench where mark = '%s' and result = 'fail';"
  18 URL="http://mowgli.cs.unibo.it/~sacerdot/bench.php"
  19
  20 #initialization
  21 OLD=$PWD
  22 mkdir -p $TMPDIRNAME
  23 rm -rf $TMPDIRNAMEOLD
  24 cd $TMPDIRNAME
  25 rm -rf helm
  26 svn co ${SVNROOT}helm/software/matita/scripts/ > LOG.svn 2>&1
  27
  28 #run tests
  29 scripts/profile_svn.sh 2> LOG
  30
  31 MARK=`printf "$SQLQMARK" "$TODAY" | $MYSQL | tail -n 1`
  32 LASTMARK=`printf "$SQLQMARK" "$YESTERDAY" | $MYSQL | tail -n 1`
  33
  34 if [ -z "$MARK" ]; then
  35   echo "No benchmark records for $TODAY"
  36   exit 1
  37 fi
  38
  39 if [ -z "$LASTMARK" ]; then
  40   echo "No benchmark records for $YESTERDAY"
  41   exit 1
  42 fi
  43
  44 #check for slowdown
  45 CUR_TIME=`printf "$SQLQTIME" "$MARK" | $MYSQL | tail -n 1`
  46 OLD_TIME=`printf "$SQLQTIME" "$LASTMARK" | $MYSQL | tail -n 1`
  47
  48 if [ -z "$CUR_TIME" -o -z "$OLD_TIME" ]; then
  49     cat <<EOT
  50
  51     Unable to calculate total time amounts:
  52
  53       `printf "$SQLQTIME" "$MARK"`
  54
  55     or
  56
  57       `printf "$SQLQTIME" "$LASTMARK"`
  58
  59     gave an empty result
  60
  61 EOT
  62 fi
  63
  64 ((DELTA= $CUR_TIME - $OLD_TIME))
  65 if [ "$DELTA" -lt 0 ]; then
  66   PERC=0
  67 else
  68   PERC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
  69 fi
  70 if [ "$PERC" -ge 5 ]; then
  71   cat <<EOT
  72
  73   Performance loss detected (MARK $MARK vs MARK $LASTMARK)
  74
  75   Is: `lua5.1 scripts/functions.lua t2s $CUR_TIME`
  76   Was: `lua5.1 scripts/functions.lua t2s $OLD_TIME`
  77
  78   For details: $URL
  79 EOT
  80 fi
  81
  82 #check for more broken tests
  83 CUR_FAIL=`printf "$SQLQFAILCOUNT" "$MARK" | $MYSQL | tail -n 1`
  84 OLD_FAIL=`printf "$SQLQFAILCOUNT" "$LASTMARK" | $MYSQL | tail -n 1`
  85
  86 if [ "$CUR_FAIL" -gt "$OLD_FAIL" ]; then
  87   TMP1=`mktemp`
  88   TMP2=`mktemp`
  89   TMP3=`mktemp`
  90   printf "$SQLQFAIL" "$MARK" | $MYSQL > $TMP1
  91   printf "$SQLQFAIL" "$LASTMARK" | $MYSQL > $TMP2
  92   combine $TMP1 not $TMP2 > $TMP3
  93
  94   cat <<EOT
  95
  96   More broken tests detected (MARK $MARK vs MARK $LASTMARK)
  97   Is: $CUR_FAIL
  98   Was: $OLD_FAIL
  99
 100   Tests that are broken in $MARK but where not broken in $LASTMARK:
 101 `cat $TMP3`
 102
 103   List of broken tests in mark $MARK:
 104 `cat $TMP1`
 105
 106   List of broken tests in old mark $LASTMARK:
 107 `cat $TMP2`
 108
 109   For details: $URL
 110 EOT
 111
 112   rm $TMP1 $TMP2 $TMP3
 113 fi
 114
 115 cd $OLD
 116 #rm -rf $TMPDIRNAME
 117