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 -Xms5m -Xmx100m $JAVAFORWARDOPTS -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 167 if ! java $JAVAFORWARDOPTS -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 168 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 169 $JAVAOPTS $SRCFILES
 170 then exit $?
 171 fi
 172
 173 # Build all of the consistency specs
 174
 175 if $CHECKFLAG # CHECKFLAG
 176 then
 177 cd $SPECDIR
 178 mkdir $BUILDDIR/specdir
 179 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
 180
 181 echo > $BUILDDIR/specs
 182
 183 # compile specs into C code
 184 for i in * # iterate over all directories
 185 do
 186 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
 187 then
 188 cd $SPECDIR/$i
 189 cat $BUILDDIR/structfile.struct $i.label > $i.struct
 190 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
 191 cp size.[c,h] $BUILDDIR/specdir
 192 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
 193 echo $i >> $BUILDDIR/specs
 194 fi # CVSDIR CHECK
 195 done # iterate over all directories
 196
 197 #compile C code
 198
 199 cd $BUILDDIR/specdir
 200 ./buildrobust
 201 echo > $BUILDDIR/checkers.h
 202 for i in `cat $BUILDDIR/specs`
 203 do
 204 gcc -O0 -g -fbounds-check -c $i\_aux.c
 205 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
 206 done
 207 fi # CHECKFLAG
 208
 209 #build and link everything
 210
 211 cd $CURDIR
 212
 213 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
 214 -I$BUILDDIR"
 215
 216 FILES="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c \
 217 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
 218 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
 219 $ROBUSTROOT/Runtime/ObjectHash.c \
 220 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
 221 $ROBUSTROOT/Runtime/math.c \
 222 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
 223
 224 if $DSMFLAG
 225 then
 226 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
 227 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"
 228 fi
 229
 230 if $RECOVERFLAG
 231 then
 232 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
 233 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c"
 234 fi
 235
 236 if $OPTIONALFLAG
 237 then
 238 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
 239 FILES="$FILES tmpbuilddirectory/optionalarrays.c"
 240 fi
 241
 242 if $THREADFLAG
 243 then
 244 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
 245 fi
 246
 247 if $CHECKFLAG
 248 then
 249 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
 250 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
 251 fi
 252
 253 if $USEDMALLOC
 254 then
 255 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
 256 fi
 257
 258 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
 259 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
 260
 261 exit
 262