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