]> matita.cs.unibo.it Git - helm.git/blob - matita/scripts/crontab.sh
99b4a13a6b77abd171c9495eeac3dfdde1af9fbe
[helm.git] / matita / scripts / crontab.sh
1 #!/bin/bash
2
3 #configuration
4 TODAY=`date +%Y%m%d`
5 YESTERDAY=`date -d yesterday +%Y%m%d`
6 TMPDIRNAME=$HOME/__${TODAY}_crontab
7 TMPDIRNAMEOLD=$HOME/__${YESTERDAY}_crontab
8 SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
9 SHELLTIME2CENTSPHP=scripts/shell_time2cents.php
10 SHELLADDERPHP=scripts/shell_adder.php
11 COMMONPHP=scripts/public_html/common.php
12 MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"
13 SQLQMARK="select distinct mark from bench where mark like '"
14 SQLQORD="' order by mark;"
15 SQLQTIME="select SUM(timeuser) from bench where mark = \""
16 SQLQGRMARK="\" group by mark;"
17 SQLQFAIL="select count(distinct test) from bench where mark = \""
18 SQLQFAIL1="select distinct test from bench where mark = \""
19 SQLQFAIL2="\" and result = 'fail';"
20 URL="http://mowgli.cs.unibo.it/~tassi/bench.php"
21
22 #initialization
23 OLD=$PWD
24 mkdir -p $TMPDIRNAME
25 rm -rf $TMPDIRNAMEOLD
26 cd $TMPDIRNAME
27 rm -rf helm
28 svn co ${SVNROOT}helm/software/matita/scripts/ > LOG.svn 2>&1
29
30 #run tests
31 scripts/profile_svn.sh 2> LOG
32
33 MARK=`echo $SQLQMARK$TODAY%$SQLQORD | $MYSQL | tail -n 1`
34 LASTMARK=`echo $SQLQMARK$YESTERDAY%$SQLQORD | $MYSQL | tail -n 1`
35
36 if [ -z "$MARK" ]; then
37   echo "No benchmark records for $TODAY"
38   exit 1
39 fi
40
41 if [ -z "$LASTMARK" ]; then
42   echo "No benchmark records for $YESTERDAY"
43   exit 1
44 fi
45
46 #check for slowdown
47 CUR_TIME=`echo $SQLQTIME$MARK$SQLQGRMARK | $MYSQL`
48 OLD_TIME=`echo $SQLQTIME$LASTMARK$SQLQGRMARK | $MYSQL`
49
50 ((DELTA=$CUR_CENTS-$OLD_CENTS))
51 if [ $DELTA -lt 0 ]; then
52   PERC=0
53 else
54   PREC=`scripts/functions.lua proportion $DELTA x $OLD_CENTS 100`
55 fi
56 if [ $PERC -ge 5 ]; then
57   cat <<EOT
58   
59   PERFORMANCE LOSS DETECTED (MARK $MARK vs MARK $LASTMARK)
60   
61   Is `scripts/functions.lua t2s $CUR_TIME` 
62   
63   Was `scripts/functions.lua t2s $OLD_TIME`
64   
65   For details: $URL
66 EOT
67 fi
68
69 #check for more broken tests
70 CUR_FAIL=`echo $SQLQFAIL$MARK$SQLQFAIL2 | $MYSQL`
71 OLD_FAIL=`echo $SQLQFAIL$LASTMARK$SQLQFAIL2 | $MYSQL`
72
73 if [ $CUR_FAIL -gt $OLD_FAIL ]; then
74   cat <<EOT
75
76   MORE BROKEN TESTS DETECTED (MARK $MARK vs MARK $LASTMARK)
77   
78   Now broken:
79 `echo $SQLQFAIL1$MARK$SQLQFAIL2 | $MYSQL`
80
81   Were broken:
82 `echo $SQLQFAIL1$LASTMARK$SQLQFAIL2 | $MYSQL`
83   
84   For details: $URL
85 EOT
86
87 fi
88
89 cd $OLD
90 #rm -rf $TMPDIRNAME
91