5 echo -singleTM single machine committing transactions
6 echo -stmdebug STM debug
7 echo "-stmstats prints single machine commit (stm) statistics for the benchmark"
8 echo -fastmemcpy use fast memcpy
9 echo -sandbox sandbox transactions
10 echo -dcopts conflict optimizations for transactional memory
11 echo -transstats generates transaction stats on commits and aborts
12 echo -inlineatomic depth inline methods inside of transactions to specified depth
13 echo "-stmarray partial array treatment"
16 echo -dsm distributed shared memory
17 echo -abortreaders abort readers immediately
18 echo -trueprob double - probabiltiy of true branch
19 echo -dsmcaching -enable caching in dsm runtime
22 echo -robustroot set up the ROBUSTROOT to directory other than default one
23 echo -readset turn on readset
24 echo -mac distributed shared memory mac support
25 echo -check generate check code
26 echo -dmalloc link in dmalloc
27 echo -64bit compile for 64 bit machine
28 echo -32bit compile for 32 bit machine
29 echo -joptimize java compiler optimizations
30 echo -recover compile task code
31 echo -fastcheck fast checkpointing for Bristlecone
32 echo -specdir directory
33 echo -printflat print out flat representation
34 echo -selfloop task - this task cannot self loop forever
35 echo "-excprefetch methoddescriptor - exclude prefetches for this method (specified as class.method)"
36 echo -taskstate do task state analysis
37 echo -tagstate do tag state analysis
38 echo -scheduling do task scheduling
39 echo -multicore generate multi-core version binary
40 echo "-numcore set the number of cores (should be used together with -multicore), defaultly set as 1"
41 echo "-cacheflush enable cache flush in raw version binary (should be used togethere with -raw)"
42 echo "-interrupt generate raw version binary with interruption (should be used togethere with -raw)"
43 echo "-rawpath print out execute path information for raw version (should be used together with -raw)"
44 echo "-useprofile use profiling data for scheduling (should be used together with -raw)"
45 echo -printscheduling print out scheduling graphs
46 echo -printschedulesim print out scheduling simulator result graphs
47 echo -abcclose close the array boundary check
48 echo "-tilera generate tilera version binary (should be used together with -multicore"
49 echo "-tileraconfig config tilera simulator/pci as nxm (should be used together with -tilera)"
50 echo "-raw generate raw version binary (should be used together with -multicore)"
51 echo "-rawconfig config raw simulator as 4xn (should be used together with -raw)"
52 echo -threadsimulate generate multi-thread simulate version binary
53 echo -optional enable optional
54 echo -debug generate debug symbols
55 echo -prefetch do prefetch analysis
56 echo -garbagestats Print garbage collection statistics
57 echo -webinterface enable web interface
58 echo -runtimedebug printout runtime debug messages
59 echo "-thread use support for multiple threads"
60 echo "-optimize call gcc with -O9 (optimize)"
61 echo "-nooptimize call gcc with -O0 (do not optimize)"
62 echo -curdir directory
63 echo -mainclass class with main method
65 echo -nojava do not run bristlecone compiler
66 echo -instructionfailures inject code for instructionfailures
67 echo -profile build with profile options
68 echo -accurateprofile build with accurate profile information including pre/post task processing info
69 echo "-useio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
70 echo "-enable-assertions execute assert statements during compilation"
71 echo -justanalyze exit after compiler analyses complete
72 echo "-distributioninfo execute to collect distribution info for simulated annealing in multi-core version"
73 echo "-disall execute to collect whole distribution"
74 echo "-disstart specify the start number of distribution information collection"
75 echo -assembly generate assembly
81 ROBUSTROOT=~/research/Robust/src
82 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
83 STMRUNTIME=$ROBUSTROOT/Runtime/STM/
84 DSMRECOVERYRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface_recovery/
85 REPAIRROOT=~/research/Repair/RepairCompiler/
106 ACCURATEPROFILEFLAG=false
109 THREADSIMULATEFLAG=false;
120 EXITAFTERANALYSIS=false
131 if [[ $1 = '-help' ]]
135 elif [[ $1 = '-justanalyze' ]]
137 EXITAFTERANALYSIS=true
138 elif [[ $1 = '-assembly' ]]
141 elif [[ $1 = '-abortreaders' ]]
144 EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
145 JAVAOPTS="$JAVAOPTS -abortreaders"
146 elif [[ $1 = '-sandbox' ]]
149 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
150 JAVAOPTS="$JAVAOPTS -sandbox"
151 elif [[ $1 = '-robustroot' ]]
155 elif [[ $1 = '-nojava' ]]
158 elif [[ $1 = '-garbagestats' ]]
160 EXTRAOPTIONS="$EXTRAOPTIONS -DGARBAGESTATS"
161 elif [[ $1 = '-64bit' ]]
163 EXTRAOPTIONS="$EXTRAOPTIONS -DBIT64"
164 elif [[ $1 = '-32bit' ]]
166 EXTRAOPTIONS="$EXTRAOPTIONS -m32"
167 elif [[ $1 = '-fastcheck' ]]
169 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTCHECK"
170 JAVAOPTS="$JAVAOPTS -fastcheck"
176 elif [[ $1 = '-mainclass' ]]
178 JAVAOPTS="$JAVAOPTS -mainclass $2"
180 elif [[ $1 = '-selfloop' ]]
182 JAVAOPTS="$JAVAOPTS -selfloop $2"
184 elif [[ $1 = '-excprefetch' ]]
186 JAVAOPTS="$JAVAOPTS -excprefetch $2"
188 elif [[ $1 = '-arraypad' ]]
190 JAVAOPTS="$JAVAOPTS -arraypad"
191 elif [[ $1 = '-dsm' ]]
193 JAVAOPTS="$JAVAOPTS -dsm"
195 elif [[ $1 = '-fastmemcpy' ]]
198 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTMEMCPY"
199 elif [[ $1 = '-singleTM' ]]
201 JAVAOPTS="$JAVAOPTS -singleTM"
202 EXTRAOPTIONS="$EXTRAOPTIONS -DSTM"
204 elif [[ $1 = '-stmarray' ]]
206 JAVAOPTS="$JAVAOPTS -stmarray"
207 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMARRAY"
209 elif [[ $1 = '-readset' ]]
211 JAVAOPTS="$JAVAOPTS -readset"
212 EXTRAOPTIONS="$EXTRAOPTIONS -DREADSET"
213 elif [[ $1 = '-stmdebug' ]]
215 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMDEBUG"
216 elif [[ $1 = '-stmstats' ]]
218 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMSTATS"
219 elif [[ $1 = '-stmlog' ]]
221 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMLOG"
222 elif [[ $1 = '-prefetch' ]]
224 JAVAOPTS="$JAVAOPTS -prefetch"
225 elif [[ $1 = '-transstats' ]]
227 EXTRAOPTIONS="$EXTRAOPTIONS -DTRANSSTATS"
228 elif [[ $1 = '-printflat' ]]
230 JAVAOPTS="$JAVAOPTS -printflat"
231 elif [[ $1 = '-trueprob' ]]
233 JAVAOPTS="$JAVAOPTS -trueprob $2"
235 elif [[ $1 = '-inlineatomic' ]]
237 JAVAOPTS="$JAVAOPTS -inlineatomic $2"
239 elif [[ $1 = '-mac' ]]
241 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
242 elif [[ $1 = '-profile' ]]
245 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
246 elif [[ $1 = '-accurateprofile' ]]
248 ACCURATEPROFILEFLAG=true
249 elif [[ $1 = '-useio' ]]
252 elif [[ $1 = '-taskstate' ]]
254 JAVAOPTS="$JAVAOPTS -taskstate"
255 elif [[ $1 = '-tagstate' ]]
257 JAVAOPTS="$JAVAOPTS -tagstate"
258 elif [[ $1 = '-scheduling' ]]
260 JAVAOPTS="$JAVAOPTS -scheduling"
261 elif [[ $1 = '-multicore' ]]
264 JAVAOPTS="$JAVAOPTS -multicore"
265 elif [[ $1 = '-numcore' ]]
267 JAVAOPTS="$JAVAOPTS -numcore $2"
269 elif [[ $1 = '-raw' ]]
272 JAVAOPTS="$JAVAOPTS -raw"
273 elif [[ $1 = '-tilera' ]]
276 elif [[ $1 = '-tileraconfig' ]]
280 elif [[ $1 = '-cacheflush' ]]
283 elif [[ $1 = '-rawconfig' ]]
287 elif [[ $1 = '-interrupt' ]]
290 elif [[ $1 = '-threadsimulate' ]]
292 THREADSIMULATEFLAG=true
293 elif [[ $1 = '-abcclose' ]]
295 JAVAOPTS="$JAVAOPTS -abcclose"
296 elif [[ $1 = '-optional' ]]
298 JAVAOPTS="$JAVAOPTS -optional"
300 elif [[ $1 = '-dmalloc' ]]
303 elif [[ $1 = '-recover' ]]
306 JAVAOPTS="$JAVAOPTS -task"
307 elif [[ $1 = '-useprofile' ]]
309 JAVAOPTS="$JAVAOPTS -useprofile $2"
311 elif [[ $1 = '-webinterface' ]]
313 JAVAOPTS="$JAVAOPTS -webinterface"
314 elif [[ $1 = '-instructionfailures' ]]
316 JAVAOPTS="$JAVAOPTS -instructionfailures"
317 elif [[ $1 = '-joptimize' ]]
319 JAVAOPTS="$JAVAOPTS -optimize"
320 elif [[ $1 = '-dcopts' ]]
322 JAVAOPTS="$JAVAOPTS -dcopts"
323 elif [[ $1 = '-delaycomp' ]]
325 JAVAOPTS="$JAVAOPTS -delaycomp"
326 EXTRAOPTIONS="$EXTRAOPTIONS -DDELAYCOMP"
327 elif [[ $1 = '-minimize' ]]
329 JAVAOPTS="$JAVAOPTS -minimize"
331 elif [[ $1 = '-mlp' ]]
334 EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread"
335 JAVAOPTS="$JAVAOPTS -mlp $2 $3"
339 elif [[ $1 = '-mlpdebug' ]]
341 JAVAOPTS="$JAVAOPTS -mlpdebug"
343 elif [[ $1 = '-check' ]]
346 JAVAOPTS="$JAVAOPTS -conscheck"
347 elif [[ $1 = '-enable-assertions' ]]
349 JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
350 elif [[ $1 = '-specdir' ]]
356 elif [[ $1 = '-debug' ]]
359 EXTRAOPTIONS="$EXTRAOPTIONS -g -rdynamic"
360 elif [[ $1 = '-rawpath' ]]
363 elif [[ $1 = '-runtimedebug' ]]
365 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
366 elif [[ $1 = '-dsmcaching' ]]
368 EXTRAOPTIONS="$EXTRAOPTIONS -DCACHE"
369 elif [[ $1 = '-rangeprefetch' ]]
371 EXTRAOPTIONS="$EXTRAOPTIONS -DRANGEPREFETCH"
372 elif [[ $1 = '-nooptimize' ]]
374 EXTRAOPTIONS="$EXTRAOPTIONS -O0"
375 elif [[ $1 = '-optimize' ]]
377 EXTRAOPTIONS="$EXTRAOPTIONS -O9"
378 elif [[ $1 = '-thread' ]]
380 JAVAOPTS="$JAVAOPTS -thread"
381 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
383 elif [[ $1 = '-recovery' ]]
385 EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERY"
387 elif [[ $1 = '-distributioninfo' ]]
389 JAVAOPTS="$JAVAOPTS -distributioninfo"
390 elif [[ $1 = '-disall' ]]
392 JAVAOPTS="$JAVAOPTS -disall"
393 elif [[ $1 = '-disstart' ]]
395 JAVAOPTS="$JAVAOPTS -disstart $2"
397 elif [[ $1 = '-noc' ]]
400 elif [[ $1 = '-curdir' ]]
404 elif [[ $1 = '-outputdir' ]]
406 JAVAOPTS="$JAVAOPTS -outputdir $2"
409 SRCFILES="$SRCFILES $1"
414 BUILDDIR="$CURDIR/tmpbuilddirectory"
422 if $CHECKFLAG #Generate structure files for repair tool
424 JAVAOPTS="$JAVAOPTS -struct structfile"
434 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
436 #base bristlecone files
437 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
443 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
446 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
449 #threading java stuff
450 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
453 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
456 # Build bristlecone/java sources
460 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
461 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ \
462 -dir $BUILDDIR $JAVAOPTS $SRCFILES
466 #if ! ${ROBUSTROOT}/ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
469 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
470 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ -dir $BUILDDIR -precise \
477 if $EXITAFTERANALYSIS
482 # Build all of the consistency specs
484 if $CHECKFLAG # CHECKFLAG
487 mkdir $BUILDDIR/specdir
488 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
490 echo > $BUILDDIR/specs
492 # compile specs into C code
493 for i in * # iterate over all directories
495 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
498 cat $BUILDDIR/structfile.struct $i.label > $i.struct
499 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
500 cp size.[c,h] $BUILDDIR/specdir
501 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
502 echo $i >> $BUILDDIR/specs
504 done # iterate over all directories
510 echo > $BUILDDIR/checkers.h
511 for i in `cat $BUILDDIR/specs`
513 gcc -O0 -g -fbounds-check -c $i\_aux.c
514 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
518 #build and link everything
523 MAKEFILE="Makefile.raw"
529 export RAWRGCCFLAGS="-DTASK -DMULTICORE -DRAW"
533 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DCACHEFLUSH"
538 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPATH"
543 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DDEBUG"
547 then # profile version
548 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DPROFILE"
551 if $ACCURATEPROFILEFLAG
552 then # accurateprofile version
553 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DACCURATEPROFILE"
558 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DUSEIO"
562 then #INTERRUPT version
563 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DINTERRUPT"
564 fi #INTERRUPT version
568 MAKEFILE="$MAKEFILE.io"
569 echo "+++++++++++use Makefile.raw.io++++++++++++++++"
571 MAKEFILE="$MAKEFILE.$RAWCONFIG"
574 cp $ROBUSTROOT/Runtime/RAW/$MAKEFILE ./Makefile
579 cp ../Runtime/RAW/*.c ./
580 cp ../Runtime/RAW/*.h ./
581 cp ../Runtime/RAW/*.S ./
582 cp ../Runtime/RAW/*.s ./
583 cp ../tmpbuilddirectory/*.c ./
584 cp ../tmpbuilddirectory/*.h ./
590 TILERADIR="$CURDIR/tilera"
591 MAKEFILE="Makefile.tilera.$TILERACONFIG"
592 SIMHVC="sim.hvc.$TILERACONFIG"
593 PCIHVC="pci.hvc.$TILERACONFIG"
599 export TILERACFLAGS="-DTASK -DMULTICORE"
603 TILERACFLAGS="${TILERACFLAGS} -DCACHEFLUSH"
608 TILERACFLAGS="${TILERACFLAGS} -DRAWPATH"
613 TILERACFLAGS="${TILERACFLAGS} -DDEBUG"
617 then # profile version
618 TILERACFLAGS="${TILERACFLAGS} -DPROFILE"
621 if $ACCURATEPROFILEFLAG
622 then # accurateprofile version
623 TILERACFLAGS="${TILERACFLAGS} -DACCURATEPROFILE"
628 TILERACFLAGS="${TILERACFLAGS} -DUSEIO"
632 then #INTERRUPT version
633 TILERACFLAGS="${TILERACFLAGS} -DINTERRUPT"
634 fi #INTERRUPT version
636 cp $ROBUSTROOT/Tilera/Runtime/$MAKEFILE ./Makefile
637 cp $ROBUSTROOT/Tilera/Runtime/$SIMHVC ./sim.hvc
638 cp $ROBUSTROOT/Tilera/Runtime/$PCIHVC ./pci.hvc
639 cp $ROBUSTROOT/Tilera/Runtime/bamboo-vmlinux-pci.hvc ./bamboo-vmlinux-pci.hvc
640 cp ../Runtime/multicoretask.c ./
641 cp ../Runtime/multicoreruntime.c ./
642 cp ../Runtime/Queue.c ./
643 cp ../Runtime/file.c ./
644 cp ../Runtime/math.c ./
645 cp ../Runtime/object.c ./
646 cp ../Runtime/GenericHashtable.c ./
647 cp ../Runtime/SimpleHash.c ./
648 cp ../Runtime/ObjectHash.c ./
649 cp ../Runtime/socket.c ./
650 cp ../Runtime/mem.c ./
651 cp ../Runtime/GenericHashtable.h ./
652 cp ../Runtime/mem.h ./
653 cp ../Runtime/multicoreruntime.h ./
654 cp ../Runtime/object.h ./
655 cp ../Runtime/ObjectHash.h ./
656 cp ../Runtime/Queue.h ./
657 cp ../Runtime/runtime.h ./
658 cp ../Runtime/SimpleHash.h ./
659 cp ../Tilera/Runtime/*.c ./
660 cp ../Tilera/Runtime/*.h ./
661 cp ../Tilera/lib/* ./
662 cp ../tmpbuilddirectory/*.c ./
663 cp ../tmpbuilddirectory/*.h ./
667 else #!RAWFLAG && !TILERAFLAG
670 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
675 RUNTIMEFILE="$ROBUSTROOT/Runtime/multicoreruntime.c $ROBUSTROOT/Runtime/multicoretask.c"
677 RUNTIMEFILE="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c"
680 FILES="$RUNTIMEFILE \
681 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
682 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
683 $ROBUSTROOT/Runtime/ObjectHash.c \
684 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
685 $ROBUSTROOT/Runtime/math.c \
686 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
690 FILES="$FILES $ROBUSTROOT/Runtime/memcpy32.o $ROBUSTROOT/Runtime/instrset32.o"
697 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRECOVERYRUNTIME"
698 FILES="$FILES $DSMRECOVERYRUNTIME/trans.c $DSMRECOVERYRUNTIME/mcpileq.c $DSMRECOVERYRUNTIME/objstr.c $DSMRECOVERYRUNTIME/dstm.c $DSMRECOVERYRUNTIME/mlookup.c $DSMRECOVERYRUNTIME/clookup.c $DSMRECOVERYRUNTIME/llookup.c $DSMRECOVERYRUNTIME/tlookup.c $DSMRECOVERYRUNTIME/threadnotify.c $DSMRECOVERYRUNTIME/dstmserver.c $DSMRECOVERYRUNTIME/plookup.c $DSMRECOVERYRUNTIME/ip.c $DSMRECOVERYRUNTIME/queue.c $DSMRECOVERYRUNTIME/prelookup.c $DSMRECOVERYRUNTIME/machinepile.c $ROBUSTROOT/Runtime/localobjects.c $ROBUSTROOT/Runtime/thread.c $DSMRECOVERYRUNTIME/sockpool.c $DSMRECOVERYRUNTIME/addUdpEnhance.c $DSMRECOVERYRUNTIME/signal.c $DSMRECOVERYRUNTIME/gCollect.c $DSMRECOVERYRUNTIME/addPrefetchEnhance.c $DSMRECOVERYRUNTIME/dsmlock.c"
700 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
701 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 $ROBUSTROOT/Runtime/localobjects.c $ROBUSTROOT/Runtime/thread.c $DSMRUNTIME/sockpool.c $DSMRUNTIME/addUdpEnhance.c $DSMRUNTIME/signal.c $DSMRUNTIME/gCollect.c $DSMRUNTIME/addPrefetchEnhance.c $DSMRUNTIME/dsmlock.c $DSMRUNTIME/prefetch.c"
706 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$STMRUNTIME"
707 FILES="$FILES $STMRUNTIME/stmlock.c $STMRUNTIME/stm.c $STMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c $STMRUNTIME/stats.c $STMRUNTIME/commit.c $STMRUNTIME/objstr.c"
712 FILES="$FILES $STMRUNTIME/sandbox.c"
717 FILES="$FILES $DSMRUNTIME/abortreaders.c"
722 FILES="$FILES $ROBUSTROOT/Runtime/localobjects.c"
727 FILES="$FILES $ROBUSTROOT/Runtime/mlp_runtime.c"
728 FILES="$FILES $ROBUSTROOT/Runtime/psemaphore.c"
729 FILES="$FILES $ROBUSTROOT/Runtime/workschedule.c"
734 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
737 EXTRAOPTIONS="$EXTRAOPTIONS -DMULTICORE"
739 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/chash.c"
742 EXTRAOPTIONS="$EXTRAOPTIONS -DRAW"
744 if $THREADSIMULATEFLAG
746 # -lpthread for pthread functions, -lrt for message queue functions
747 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADSIMULATE -lpthread -lrt"
753 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
754 FILES="$FILES tmpbuilddirectory/optionalarrays.c"
759 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
764 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
765 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
770 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
775 gcc -S $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
776 -c tmpbuilddirectory/methods.c -lm
781 gcc $INCLUDES $EXTRAOPTIONS \
782 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
784 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
785 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin