Robust/src/buildscript

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