Robust/src/buildscript

   1 #!/bin/bash
   2
   3 printhelp() {
   4 echo -dsm distributed shared memory
   5 echo -trueprob double - probabiltiy of true branch
   6 echo -mac distributed shared memory mac support
   7 echo -check generate check code
   8 echo -dmalloc link in dmalloc
   9 echo -recover compile task code
  10 echo -specdir directory
  11 echo -printflat print out flat representation
  12 echo -selfloop task - this task cannot self loop forever
  13 echo "-excprefetch methoddescriptor - exclude prefetches for this method (specified as class.method)"
  14 echo -taskstate do task state analysis
  15 echo -tagstate do tag state analysis
  16 echo -scheduling do task scheduling
  17 echo -optional enable optional
  18 echo -debug generate debug symbols
  19 echo -prefetch do prefetch analysis
  20 echo -webinterface enable web interface
  21 echo -runtimedebug printout runtime debug messages
  22 echo "-thread use support for multiple threads"
  23 echo "-optimize call gcc with -O9 (optimize)"
  24 echo "-nooptimize call gcc with -O0 (do not optimize)"
  25 echo -curdir directory
  26 echo -mainclass class with main method
  27 echo -o binary
  28 echo -instructionfailures inject code for instructionfailures
  29 echo -profile build with profile options
  30 echo "-enable-assertions execute assert statements during compilation"
  31 echo -help help
  32 }
  33
  34 ROBUSTROOT=~/research/Robust/src
  35 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
  36 REPAIRROOT=~/research/Repair/RepairCompiler/
  37 CURDIR=`pwd`
  38 DSMFLAG=false
  39 CHECKFLAG=false
  40 RECOVERFLAG=false
  41 USEDMALLOC=false
  42 THREADFLAG=false
  43 SPECDIR=`pwd`
  44 SRCFILES=''
  45 EXTRAOPTIONS=''
  46 MAINFILE='a'
  47 JAVAFORWARDOPTS=''
  48 JAVAOPTS=''
  49 OPTIONALFLAG=false
  50
  51 if [[ -z $1 ]]
  52 then
  53 printhelp
  54 exit
  55 fi
  56
  57 while [[ -n $1 ]]
  58 do
  59 if [[ $1 = '-help' ]]
  60 then
  61 printhelp
  62 exit
  63 elif [[ $1 = '-o' ]]
  64 then
  65 MAINFILE="$2"
  66 shift
  67 elif [[ $1 = '-mainclass' ]]
  68 then
  69 JAVAOPTS="$JAVAOPTS -mainclass $2"
  70 shift
  71 elif [[ $1 = '-selfloop' ]]
  72 then
  73 JAVAOPTS="$JAVAOPTS -selfloop $2"
  74 shift
  75 elif [[ $1 = '-excprefetch' ]]
  76 then
  77 JAVAOPTS="$JAVAOPTS -excprefetch $2"
  78 shift
  79 elif [[ $1 = '-dsm' ]]
  80 then
  81 JAVAOPTS="$JAVAOPTS -dsm"
  82 DSMFLAG=true
  83 elif [[ $1 = '-prefetch' ]]
  84 then
  85 JAVAOPTS="$JAVAOPTS -prefetch"
  86 elif [[ $1 = '-printflat' ]]
  87 then
  88 JAVAOPTS="$JAVAOPTS -printflat"
  89 elif [[ $1 = '-trueprob' ]]
  90 then
  91 JAVAOPTS="$JAVAOPTS -trueprob $2"
  92 shift
  93 elif [[ $1 = '-mac' ]]
  94 then
  95 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
  96 elif [[ $1 = '-profile' ]]
  97 then
  98 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
  99 elif [[ $1 = '-taskstate' ]]
 100 then
 101 JAVAOPTS="$JAVAOPTS -taskstate"
 102 elif [[ $1 = '-tagstate' ]]
 103 then
 104 JAVAOPTS="$JAVAOPTS -tagstate"
 105 elif [[ $1 = '-scheduling' ]]
 106 then
 107 JAVAOPTS="$JAVAOPTS -scheduling"
 108 elif [[ $1 = '-optional' ]]
 109 then
 110 JAVAOPTS="$JAVAOPTS -optional"
 111 OPTIONALFLAG=true
 112 elif [[ $1 = '-dmalloc' ]]
 113 then
 114 USEDMALLOC=true
 115 elif [[ $1 = '-recover' ]]
 116 then
 117 RECOVERFLAG=true
 118 JAVAOPTS="$JAVAOPTS -task"
 119 elif [[ $1 = '-webinterface' ]]
 120 then
 121 JAVAOPTS="$JAVAOPTS -webinterface"
 122 elif [[ $1 = '-instructionfailures' ]]
 123 then
 124 JAVAOPTS="$JAVAOPTS -instructionfailures"
 125 elif [[ $1 = '-check' ]]
 126 then
 127 CHECKFLAG=true
 128 JAVAOPTS="$JAVAOPTS -conscheck"
 129 elif [[ $1 = '-enable-assertions' ]]
 130 then
 131 JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
 132 elif [[ $1 = '-specdir' ]]
 133 then
 134 cd $2
 135 SPECDIR=`pwd`
 136 cd $CURDIR
 137 shift
 138 elif [[ $1 = '-debug' ]]
 139 then
 140 EXTRAOPTIONS="$EXTRAOPTIONS -g"
 141 elif [[ $1 = '-runtimedebug' ]]
 142 then
 143 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
 144 elif [[ $1 = '-nooptimize' ]]
 145 then
 146 EXTRAOPTIONS="$EXTRAOPTIONS -O0"
 147 elif [[ $1 = '-optimize' ]]
 148 then
 149 EXTRAOPTIONS="$EXTRAOPTIONS -O9"
 150 elif [[ $1 = '-thread' ]]
 151 then
 152 JAVAOPTS="$JAVAOPTS -thread"
 153 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
 154 THREADFLAG=true
 155 elif [[ $1 = '-curdir' ]]
 156 then
 157 CURDIR=$2
 158 shift
 159 else
 160 SRCFILES="$SRCFILES $1"
 161 fi
 162 shift
 163 done
 164
 165 BUILDDIR="$CURDIR/tmpbuilddirectory"
 166
 167 cd $1
 168 cd $CURDIR
 169 shift
 170
 171 mkdir $BUILDDIR
 172
 173 if $CHECKFLAG #Generate structure files for repair tool
 174 then
 175 JAVAOPTS="$JAVAOPTS -struct structfile"
 176 fi
 177
 178 # Build bristlecone/java sources
 179
 180 #if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 181 if ! java $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 182 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 183 $JAVAOPTS $SRCFILES
 184 then exit $?
 185 fi
 186
 187 # Build all of the consistency specs
 188
 189 if $CHECKFLAG # CHECKFLAG
 190 then
 191 cd $SPECDIR
 192 mkdir $BUILDDIR/specdir
 193 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
 194
 195 echo > $BUILDDIR/specs
 196
 197 # compile specs into C code
 198 for i in * # iterate over all directories
 199 do
 200 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
 201 then
 202 cd $SPECDIR/$i
 203 cat $BUILDDIR/structfile.struct $i.label > $i.struct
 204 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
 205 cp size.[c,h] $BUILDDIR/specdir
 206 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
 207 echo $i >> $BUILDDIR/specs
 208 fi # CVSDIR CHECK
 209 done # iterate over all directories
 210
 211 #compile C code
 212
 213 cd $BUILDDIR/specdir
 214 ./buildrobust
 215 echo > $BUILDDIR/checkers.h
 216 for i in `cat $BUILDDIR/specs`
 217 do
 218 gcc -O0 -g -fbounds-check -c $i\_aux.c
 219 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
 220 done
 221 fi # CHECKFLAG
 222
 223 #build and link everything
 224
 225 cd $CURDIR
 226
 227 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
 228 -I$BUILDDIR"
 229
 230 FILES="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c \
 231 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
 232 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
 233 $ROBUSTROOT/Runtime/ObjectHash.c \
 234 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
 235 $ROBUSTROOT/Runtime/math.c \
 236 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
 237
 238 if $DSMFLAG
 239 then
 240 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
 241 FILES="$FILES $DSMRUNTIME/trans.c $DSMRUNTIME/mcpileq.c $DSMRUNTIME/objstr.c $DSMRUNTIME/dstm.c $DSMRUNTIME/mlookup.c $DSMRUNTIME/clookup.c $DSMRUNTIME/llookup.c $DSMRUNTIME/threadnotify.c $DSMRUNTIME/dstmserver.c $DSMRUNTIME/plookup.c $DSMRUNTIME/ip.c $DSMRUNTIME/queue.c $DSMRUNTIME/prelookup.c $DSMRUNTIME/machinepile.c $DSMRUNTIME/localobjects.c $ROBUSTROOT/Runtime/thread.c $DSMRUNTIME/sockpool.c"
 242 fi
 243
 244 if $RECOVERFLAG
 245 then
 246 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
 247 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c"
 248 fi
 249
 250 if $OPTIONALFLAG
 251 then
 252 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
 253 FILES="$FILES tmpbuilddirectory/optionalarrays.c"
 254 fi
 255
 256 if $THREADFLAG
 257 then
 258 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
 259 fi
 260
 261 if $CHECKFLAG
 262 then
 263 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
 264 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
 265 fi
 266
 267 if $USEDMALLOC
 268 then
 269 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
 270 fi
 271
 272 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
 273 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
 274
 275 exit
 276