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"
14 echo "-dualview dual view of arrays"
15 echo "-hybrid use fission only when it looks like a good choice"
16 echo "-numa numa aware"
17 echo "-eventmonitor turn on transaction event trace recording"
20 echo -coreprof, turn on profiling API
21 echo -coreprof-eventwords NUM, space in words/thread for coreprof events
22 echo -coreprof-checkoverflow, ONLY use for debugging event overflow
23 echo -coreprof-enable EVENTNAME, only enable desired events to reduce overhead
24 echo EVENTNAME can be: cpe_main, cpe_runmalloc, cpe_runfree, cpe_poolalloc, cpe_count_poolalloc, cpe_count_poolreuse, cpe_workschedgrab, cpe_taskdispatch, cpe_preparememq, cpe_taskexecute, cpe_taskretire, cpe_taskstallvar, cpe_taskstallmem
25 echo "-ooojava <numberofcores> <maxseseage>"
26 echo -ooodebug general OOOJava debugging messages
27 echo -ooodebug-disable-task-mem-pool this is a tricky module, disable for simpler runtime
28 echo -mempool-detect-misuse turn on to find code misusing pool-allocated records
29 echo -rcr turn on runtime conflict resolver
30 echo -rcr_debug Shows weakly connected heaproots and which allocation sites were considered for traversal
31 echo -rcr_debug_verbose in addition to above, also prints out effects passed in, internal representation of effects, and internal representation of reach graph
32 echo -squeue use single queue
33 echo -corepin use core pinning
34 echo -nostalltr turn off RCR traversers that only handle conflicts between task and stallsite
35 echo -nolock turn off synchronization lock
37 echo Disjoint Reachability Analysis options
38 echo -disjoint enable analysis
39 echo -disjoint-k set k-limit for heap nodes per allocation site
40 echo "-disjoint-write-dots <all/final> write reach graphs for all method sols. or only final sols."
41 echo -disjoint-write-initial-contexts write reach graphs for callee initial contexts from all call sites
42 echo -disjoint-write-ihms write reach graphs for each call site\'s Initial Heap Model
43 echo "-disjoint-alias-file <filename> <normal/tabbed> write sharing for normal human reading or LaTeX tabbed"
44 echo "-disjoint-debug-callsite <callee> <caller> <visit to start> <num caps> <T/F stop after>"
45 echo " To debug call site, give callee caller symbols (ie foo) the analysis visit to start capturing, num captures to take, and whether to halt analysis after capturing"
46 echo "-disjoint-debug-snap-method <method> <visit to start> <num caps> <T/F stop after>"
47 echo " To take snapshots at statements, give method symbol, the analysis visit to start capturing, num captures to take, and whether to halt analsyis after capturing"
48 echo "-disjoint-dvisit-stack use stack strat to visit descriptors (tasks or methods)"
49 echo -disjoint-dvisit-stack-callees-on-top alternate stack strat
50 echo -disjoint-dvisit-pqueue use prio. q strat to visit descriptors
51 echo -disjoint-desire-determinism set above interproc for determinism
52 echo -disjoint-debug-scheduling debug when methods are scheduled for analysis
54 echo "-mlp <num cores> <max sese age> build mlp code"
55 echo -mlpdebug if mlp, report progress and interim results
58 echo -dsm distributed shared memory
59 echo -abortreaders abort readers immediately
60 echo -trueprob double - probabiltiy of true branch
61 echo -dsmcaching -enable caching in dsm runtime
63 echo BAMBOO Multicore options
64 echo -scheduling do task scheduling
65 echo "-distributioninfo execute to collect distribution info for simulated annealing in multi-core version"
66 echo "-disall execute to collect whole distribution"
67 echo "-disstart specify the start number of distribution information collection"
68 echo -multicore generate multi-core version binary
69 echo "-numcore set the number of cores (should be used together with -multicore), defaultly set as 1"
70 echo "-cacheflush enable cache flush in raw version binary (should be used togethere with -raw)"
71 echo "-interrupt generate raw version binary with interruption (should be used togethere with -raw)"
72 echo "-rawpath print out execute path information for raw version (should be used together with -raw)"
73 echo "-useprofile use profiling data for scheduling (should be used together with -raw)"
74 echo -printscheduling print out scheduling graphs
75 echo -printschedulesim print out scheduling simulator result graphs
76 echo "-tilera_bme generate tilera version binary for Bare Mental Environment (should be used together with -multicore"
77 echo "-tilera_zlinux generate tilera version binary for Zero-Overhead Linux with multi-process mode (should be used together with -multicore"
78 echo "-tileraconfig config tilera simulator/pci as nxm (should be used together with -tilera)"
79 echo "-raw generate raw version binary (should be used together with -multicore)"
80 echo "-rawconfig config raw simulator as 4xn (should be used together with -raw)"
81 echo "-tilera_memprof build the memprof version (should be used together with -tilera_xx) "
82 echo -accurateprofile build with accurate profile information including pre/post task processing info
83 echo -profile_interrupt build with profile information of interrupts
84 echo "-useio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
86 echo Multicore GC options
87 echo -multicoregc generate multi-core binary with garbage collection
88 echo "-numcore4gc set the number of cores for gc (should be used together with -multicoregc), defaultly set as 0"
89 echo "-gcmem_local set the gc shared memory allocation strategy as local (should be used together with -multicoregc)"
90 echo "-gcmem_fixed set the gc shared memory allocation strategy as fixed (should be used together with -multicoregc)"
91 echo "-gcmem_mixed set the gc shared memory allocation strategy as mixed (should be used together with -multicoregc)"
92 echo "-gcmem_global set the gc shared memory allocation strategy as global (should be used together with -multicoregc)"
93 echo "-gccache_local set the gc shared memory cache strategy as local (should be used together with -multicoregc)"
94 echo "-gccache_ran set the gc shared memory cache strategy as random (should be used together with -multicoregc)"
95 echo "-gccontroller_near set the gc shared memory to use the nearest controller for each core (should be used together with -multicoregc)"
96 echo "-gccontroller_remote set the gc shared memory to use a remote controller for each core (should be used together with -multicoregc)"
97 echo "-gcsmallpagesize(2) set the gc shared memory to use small page size (should be used together with -multicoregc)"
98 echo "-gclargepagesize set the gc shared memory to use large page size (should be used together with -multicoregc)"
99 echo "-gclargesharedheap(2) set the gc shared memory as large (should be used together with -multicoregc)"
100 echo "-gccacheadapt setup as cacheadaptable mode (should be used together with -multicoregc)"
101 echo -gcprofile build with gcprofile options
102 echo -mgc generate Multicore GC binary without task stuff
103 echo -objectlockdebug generate OBJECT_LOCK_DEBUG code
104 echo -gctbldebug generate GC_TBL_DEBUG code
107 echo -ssjava enables SSJava
111 echo -abcclose turnoff array boundary checks
112 echo -builddir setup different build directory
113 echo -robustroot set up the ROBUSTROOT to directory other than default one
114 echo -readset turn on readset
115 echo -mac distributed shared memory mac support
116 echo -check generate check code
117 echo -dmalloc link in dmalloc
118 echo -64bit compile for 64 bit machine
119 echo -32bit compile for 32 bit machine
120 echo -joptimize java compiler optimizations
121 echo -noloop turnoff loop optimizations
122 echo -recover compile task code
123 echo -fastcheck fast checkpointing for Bristlecone
124 echo -specdir directory
125 echo -printflat print out flat representation
126 echo -selfloop task - this task cannot self loop forever
127 echo "-excprefetch methoddescriptor - exclude prefetches for this method (specified as class.method)"
128 echo -taskstate do task state analysis
129 echo -tagstate do tag state analysis
130 echo -optional enable optional
131 echo -debug generate debug symbols
132 echo -prefetch do prefetch analysis
133 echo -heapsize-mb NUM set initial heap size in MB, default is 256
134 echo -garbagestats Print garbage collection statistics
135 echo -webinterface enable web interface
136 echo -runtimedebug printout runtime debug messages
137 echo "-thread use support for multiple threads"
138 echo "-optimize call gcc with -O9 (optimize)"
139 echo "-nooptimize call gcc with -O0 (do not optimize)"
140 echo -curdir directory
141 echo -mainclass class with main method
143 echo -nojava do not run bristlecone compiler
144 echo -instructionfailures inject code for instructionfailures
145 echo -profile build with profile options
146 echo "-enable-assertions execute assert statements during compilation"
147 echo -justanalyze exit after compiler analyses complete
148 echo -assembly generate assembly
149 echo -recovery compile recovery code
150 echo -dsmtask support work and task class library
151 echo -recoverystats print out recovery record
152 echo -src-after-pp prints source code after preprocessor to tmp.c
153 echo -capture-null-dereferences generates code to warn before derefencing null
154 echo -printlinenum print out line numbers in generated C codes
158 tmpbuilddirectory="tmpbuilddirectory"
166 ROBUSTROOT=~/research/Robust/src
167 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
168 STMRUNTIME=$ROBUSTROOT/Runtime/STM/
169 DSMRECOVERYRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface_recovery/
170 REPAIRROOT=~/research/Repair/RepairCompiler/
186 RCR_DEBUG_VERBOSE=false
192 TILERAZLINUXFLAG=false
193 TILERAMEMPROFFLAG=false
203 ACCURATEPROFILEFLAG=false
204 PROFILEINTERRUPTFLAG=false
207 THREADSIMULATEFLAG=false;
208 MULTICOREGCFLAG=false;
209 GCMEMLOCALFLAG=false;
210 GCMEMFIXEDFLAG=false;
211 GCMEMMIXEDFLAG=false;
212 GCMEMGLOBALFLAG=false;
213 GCCACHELOCALFLAG=false;
214 GCCACHERANFLAG=false;
215 GCCONTROLLERNEARFLAG=false;
216 GCCONTROLLERREMOTEFLAG=false;
217 GCSMALLPAGESIZEFLAG=false;
218 GCLARGEPAGESIZEFLAG=false;
219 GCLARGEPAGESIZE2FLAG=false;
220 GCLARGESHAREDHEAPFLAG=false;
221 GCSMALLPAGESIZEFLAG2=false;
222 GCLARGESHAREDHEAPFLAG2=false;
223 GCCACHEADAPTFLAG=false
224 GCCACHEADAPTPOLICYFLAG=false
225 GCCACHEADAPTPOLICY=''
226 GCCACHESAMPLINGFLAG=false
229 OBJECTLOCKDEBUGFLAG=false
241 EXITAFTERANALYSIS=false
244 TILERAN1COREFLAG=false
245 TILERA56COREFLAG=false
255 if [[ $1 = '-help' ]]
259 elif [[ $1 = '-jni' ]]
262 JAVAOPTS="$JAVAOPTS -jni"
263 EXTRAOPTIONS="$EXTRAOPTIONS -DJNI -I$ROBUSTROOT/Runtime/jni"
264 elif [[ $1 = '-justanalyze' ]]
266 EXITAFTERANALYSIS=true
267 elif [[ $1 = '-capture-null-dereferences' ]]
269 JAVAOPTS="$JAVAOPTS -capture-null-dereferences"
270 EXTRAOPTIONS="$EXTRAOPTIONS -DCAPTURE_NULL_DEREFERENCES"
271 elif [[ $1 = '-src-after-pp' ]]
274 elif [[ $1 = '-assembly' ]]
277 elif [[ $1 = '-abortreaders' ]]
280 EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
281 JAVAOPTS="$JAVAOPTS -abortreaders"
282 elif [[ $1 = '-sandbox' ]]
285 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
286 JAVAOPTS="$JAVAOPTS -sandbox"
287 elif [[ $1 = '-numa' ]]
289 EXTRAOPTIONS="$EXTRAOPTIONS -DAFFINITY -D_GNU_SOURCE"
291 elif [[ $1 = '-robustroot' ]]
295 elif [[ $1 = '-builddir' ]]
297 tmpbuilddirectory="$2"
299 elif [[ $1 = '-nojava' ]]
302 elif [[ $1 = '-eventmonitor' ]]
304 JAVAOPTS="$JAVAOPTS -eventmonitor"
306 EXTRAOPTIONS="$EXTRAOPTIONS -DEVENTMONITOR"
307 elif [[ $1 = '-garbagestats' ]]
309 EXTRAOPTIONS="$EXTRAOPTIONS -DGARBAGESTATS"
310 elif [[ $1 = '-64bit' ]]
312 EXTRAOPTIONS="$EXTRAOPTIONS -DBIT64 -m64"
313 elif [[ $1 = '-32bit' ]]
315 EXTRAOPTIONS="$EXTRAOPTIONS -m32"
316 elif [[ $1 = '-fastcheck' ]]
318 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTCHECK"
319 JAVAOPTS="$JAVAOPTS -fastcheck"
325 elif [[ $1 = '-mainclass' ]]
327 JAVAOPTS="$JAVAOPTS -mainclass $2"
329 elif [[ $1 = '-selfloop' ]]
331 JAVAOPTS="$JAVAOPTS -selfloop $2"
333 elif [[ $1 = '-excprefetch' ]]
335 JAVAOPTS="$JAVAOPTS -excprefetch $2"
337 elif [[ $1 = '-arraypad' ]]
339 JAVAOPTS="$JAVAOPTS -arraypad"
340 elif [[ $1 = '-dsm' ]]
342 JAVAOPTS="$JAVAOPTS -dsm"
344 elif [[ $1 = '-fastmemcpy' ]]
347 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTMEMCPY"
348 elif [[ $1 = '-singleTM' ]]
350 JAVAOPTS="$JAVAOPTS -singleTM"
351 EXTRAOPTIONS="$EXTRAOPTIONS -DSTM"
353 elif [[ $1 = '-stmarray' ]]
355 JAVAOPTS="$JAVAOPTS -stmarray"
356 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMARRAY"
358 elif [[ $1 = '-dualview' ]]
360 JAVAOPTS="$JAVAOPTS -dualview"
361 EXTRAOPTIONS="$EXTRAOPTIONS -DDUALVIEW"
363 elif [[ $1 = '-readset' ]]
365 JAVAOPTS="$JAVAOPTS -readset"
366 EXTRAOPTIONS="$EXTRAOPTIONS -DREADSET"
367 elif [[ $1 = '-stmdebug' ]]
369 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMDEBUG"
370 elif [[ $1 = '-stmstats' ]]
372 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMSTATS"
373 elif [[ $1 = '-stmlog' ]]
375 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMLOG"
376 elif [[ $1 = '-prefetch' ]]
378 JAVAOPTS="$JAVAOPTS -prefetch"
379 elif [[ $1 = '-transstats' ]]
381 EXTRAOPTIONS="$EXTRAOPTIONS -DTRANSSTATS"
382 elif [[ $1 = '-printflat' ]]
384 JAVAOPTS="$JAVAOPTS -printflat"
385 elif [[ $1 = '-trueprob' ]]
387 JAVAOPTS="$JAVAOPTS -trueprob $2"
389 elif [[ $1 = '-inlineatomic' ]]
391 JAVAOPTS="$JAVAOPTS -inlineatomic $2"
393 elif [[ $1 = '-mac' ]]
395 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
396 elif [[ $1 = '-squeue' ]]
398 EXTRAOPTIONS="$EXTRAOPTIONS -DSQUEUE"
399 elif [[ $1 = '-corepin' ]]
401 EXTRAOPTIONS="$EXTRAOPTIONS -DCOREPIN"
403 elif [[ $1 = '-profile' ]]
406 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
407 elif [[ $1 = '-gcprofile' ]]
410 elif [[ $1 = '-gcprofile_s' ]]
413 elif [[ $1 = '-accurateprofile' ]]
415 ACCURATEPROFILEFLAG=true
416 elif [[ $1 = '-profile_interrupt' ]]
418 PROFILEINTERRUPTFLAG=true
419 elif [[ $1 = '-useio' ]]
422 elif [[ $1 = '-taskstate' ]]
424 JAVAOPTS="$JAVAOPTS -taskstate"
425 elif [[ $1 = '-tagstate' ]]
427 JAVAOPTS="$JAVAOPTS -tagstate"
428 elif [[ $1 = '-scheduling' ]]
430 JAVAOPTS="$JAVAOPTS -scheduling"
431 elif [[ $1 = '-multicore' ]]
434 JAVAOPTS="$JAVAOPTS -multicore"
435 elif [[ $1 = '-numcore' ]]
437 JAVAOPTS="$JAVAOPTS -numcore $2"
439 if [[ "$2" -gt "1" ]]
441 TILERAN1COREFLAG=true
442 if [[ "$2" -eq "56" ]]
444 TILERA56COREFLAG=true
448 elif [[ $1 = '-numcore4gc' ]]
450 JAVAOPTS="$JAVAOPTS -numcore4gc $2"
453 elif [[ $1 = '-raw' ]]
456 JAVAOPTS="$JAVAOPTS -raw"
457 elif [[ $1 = '-tilera_bme' ]]
461 elif [[ $1 = '-tilera_zlinux' ]]
464 TILERAZLINUXFLAG=true
465 elif [[ $1 = '-tilera_memprof' ]]
467 TILERAMEMPROFFLAG=true
468 elif [[ $1 = '-tileraconfig' ]]
472 elif [[ $1 = '-cacheflush' ]]
475 elif [[ $1 = '-rawconfig' ]]
479 elif [[ $1 = '-interrupt' ]]
482 elif [[ $1 = '-abcclose' ]]
484 JAVAOPTS="$JAVAOPTS -abcclose"
485 elif [[ $1 = '-optional' ]]
487 JAVAOPTS="$JAVAOPTS -optional"
489 elif [[ $1 = '-multicoregc' ]]
492 JAVAOPTS="$JAVAOPTS -multicoregc"
493 elif [[ $1 = '-gcmem_local' ]]
496 elif [[ $1 = '-gcmem_fixed' ]]
499 elif [[ $1 = '-gcmem_mixed' ]]
502 elif [[ $1 = '-gcmem_global' ]]
505 elif [[ $1 = '-gccache_local' ]]
507 GCCACHELOCALFLAG=true
508 elif [[ $1 = '-gccache_ran' ]]
511 elif [[ $1 = '-gccontroller_near' ]]
513 GCCONTROLLERNEARFLAG=true
514 elif [[ $1 = '-gccontroller_remote' ]]
516 GCCONTROLLERREMOTEFLAG=true
517 elif [[ $1 = '-gcsmallpagesize' ]]
519 GCSMALLPAGESIZEFLAG=true
520 elif [[ $1 = '-gcsmallpagesize2' ]]
522 GCSMALLPAGESIZEFLAG2=true
523 elif [[ $1 = '-gclargepagesize' ]]
525 GCLARGEPAGESIZEFLAG=true
526 elif [[ $1 = '-gclargepagesize2' ]]
528 GCLARGEPAGESIZE2FLAG=true
529 elif [[ $1 = '-gclargesharedheap' ]]
531 GCLARGESHAREDHEAPFLAG=true
532 elif [[ $1 = '-gclargesharedheap2' ]]
534 GCLARGESHAREDHEAPFLAG2=true
535 elif [[ $1 = '-gccacheadapt' ]]
537 GCCACHEADAPTFLAG=true
538 elif [[ $1 = '-gccacheadaptpolicy' ]]
540 GCCACHEADAPTPOLICYFLAG=true
541 GCCACHEADAPTPOLICY="$2"
543 elif [[ $1 = '-gccachesampling' ]]
545 GCCACHESAMPLINGFLAG=true
546 elif [[ $1 = '-mgc' ]]
549 JAVAOPTS="$JAVAOPTS -mgc"
550 elif [[ $1 = '-mgcintel' ]]
553 elif [[ $1 = '-objectlockdebug' ]]
555 OBJECTLOCKDEBUGFLAG=true
556 JAVAOPTS="$JAVAOPTS -objectlockdebug"
557 elif [[ $1 = '-gctbldebug' ]]
560 elif [[ $1 = '-dmalloc' ]]
563 elif [[ $1 = '-recover' ]]
566 JAVAOPTS="$JAVAOPTS -task"
567 elif [[ $1 = '-useprofile' ]]
569 JAVAOPTS="$JAVAOPTS -useprofile $2"
571 elif [[ $1 = '-webinterface' ]]
573 JAVAOPTS="$JAVAOPTS -webinterface"
574 elif [[ $1 = '-instructionfailures' ]]
576 JAVAOPTS="$JAVAOPTS -instructionfailures"
577 elif [[ $1 = '-joptimize' ]]
579 JAVAOPTS="$JAVAOPTS -optimize"
580 elif [[ $1 = '-noloop' ]]
582 JAVAOPTS="$JAVAOPTS -noloop"
583 elif [[ $1 = '-dcopts' ]]
585 JAVAOPTS="$JAVAOPTS -dcopts"
586 elif [[ $1 = '-delaycomp' ]]
588 JAVAOPTS="$JAVAOPTS -delaycomp"
589 EXTRAOPTIONS="$EXTRAOPTIONS -DDELAYCOMP"
590 elif [[ $1 = '-hybrid' ]]
592 JAVAOPTS="$JAVAOPTS -hybrid"
593 EXTRAOPTIONS="$EXTRAOPTIONS -DHYBRID"
594 elif [[ $1 = '-minimize' ]]
596 JAVAOPTS="$JAVAOPTS -minimize"
598 elif [[ $1 = '-ooojava' ]]
601 JAVAOPTS="$JAVAOPTS -ooojava $2 $3"
602 EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread -DMLP"
606 elif [[ $1 = '-ooodebug-disable-task-mem-pool' ]]
608 EXTRAOPTIONS="$EXTRAOPTIONS -DOOO_DISABLE_TASKMEMPOOL"
610 elif [[ $1 = '-ssjava' ]]
613 JAVAOPTS="$JAVAOPTS -ssjava"
615 elif [[ $1 = '-mempool-detect-misuse' ]]
617 EXTRAOPTIONS="$EXTRAOPTIONS -DMEMPOOL_DETECT_MISUSE"
619 elif [[ $1 = '-heapsize-mb' ]]
621 EXTRAOPTIONS="$EXTRAOPTIONS -DINITIALHEAPSIZE_MB=($2)"
624 elif [[ $1 = '-nostalltr' ]]
626 JAVAOPTS="$JAVAOPTS -nostalltr"
628 elif [[ $1 = '-printlinenum' ]]
630 JAVAOPTS="$JAVAOPTS -printlinenum"
632 elif [[ $1 = '-rcr' ]]
634 JAVAOPTS="$JAVAOPTS -rcr"
636 EXTRAOPTIONS="$EXTRAOPTIONS -DRCR -I$ROBUSTROOT/Runtime/oooJava"
638 elif [[ $1 = '-rcr_debug' ]]
640 JAVAOPTS="$JAVAOPTS -rcr_debug"
643 elif [[ $1 = '-rcr_debug_verbose' ]]
645 JAVAOPTS="$JAVAOPTS -rcr_debug_verbose"
646 RCR_DEBUG_VERBOSE=true
648 elif [[ $1 = '-debug-deque' ]]
650 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG_DEQUE"
652 elif [[ $1 = '-nolock' ]]
654 EXTRAOPTIONS="$EXTRAOPTIONS -DNOLOCK"
656 elif [[ $1 = '-coreprof' ]]
659 JAVAOPTS="$JAVAOPTS -coreprof"
660 EXTRAOPTIONS="$EXTRAOPTIONS -DCOREPROF -I$ROBUSTROOT/Runtime/coreprof"
662 elif [[ $1 = '-coreprof-eventwords' ]]
664 EXTRAOPTIONS="$EXTRAOPTIONS -DCP_MAXEVENTWORDS=($2)"
667 elif [[ $1 = '-coreprof-checkoverflow' ]]
669 EXTRAOPTIONS="$EXTRAOPTIONS -DCOREPROF_CHECKOVERFLOW"
671 elif [[ $1 = '-coreprof-enable' ]]
673 EXTRAOPTIONS="$EXTRAOPTIONS -D$2"
676 elif [[ $1 = '-mlp' ]]
679 EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread -DMLP"
680 JAVAOPTS="$JAVAOPTS -mlp $2 $3"
684 elif [[ $1 = '-mlpdebug' ]]
686 JAVAOPTS="$JAVAOPTS -mlpdebug"
688 elif [[ $1 = '-check' ]]
691 JAVAOPTS="$JAVAOPTS -conscheck"
692 elif [[ $1 = '-enable-assertions' ]]
694 JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
695 elif [[ $1 = '-specdir' ]]
701 elif [[ $1 = '-debug' ]]
704 EXTRAOPTIONS="$EXTRAOPTIONS -g -rdynamic"
705 elif [[ $1 = '-rawpath' ]]
708 elif [[ $1 = '-runtimedebug' ]]
710 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
711 elif [[ $1 = '-dsmcaching' ]]
713 EXTRAOPTIONS="$EXTRAOPTIONS -DCACHE"
714 elif [[ $1 = '-rangeprefetch' ]]
716 EXTRAOPTIONS="$EXTRAOPTIONS -DRANGEPREFETCH"
717 elif [[ $1 = '-nooptimize' ]]
719 EXTRAOPTIONS="$EXTRAOPTIONS -O0"
720 elif [[ $1 = '-optimize' ]]
722 EXTRAOPTIONS="$EXTRAOPTIONS -O3"
723 elif [[ $1 = '-thread' ]]
725 JAVAOPTS="$JAVAOPTS -thread"
726 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
728 elif [[ $1 = '-recovery' ]]
730 EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERY"
732 elif [[ $1 = '-recoverystats' ]]
734 JAVAOPTS="$JAVAOPTS -recoverystats"
735 EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERYSTATS"
736 elif [[ $1 = '-distributioninfo' ]]
738 JAVAOPTS="$JAVAOPTS -distributioninfo"
739 elif [[ $1 = '-disall' ]]
741 JAVAOPTS="$JAVAOPTS -disall"
742 elif [[ $1 = '-disstart' ]]
744 JAVAOPTS="$JAVAOPTS -disstart $2"
746 elif [[ $1 = '-noc' ]]
749 elif [[ $1 = '-curdir' ]]
753 elif [[ $1 = '-outputdir' ]]
755 JAVAOPTS="$JAVAOPTS -outputdir $2"
758 SRCFILES="$SRCFILES $1"
763 BUILDDIR="$CURDIR/$tmpbuilddirectory"
765 BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
773 if $CHECKFLAG #Generate structure files for repair tool
775 JAVAOPTS="$JAVAOPTS -struct structfile"
780 #########################
782 #########################
785 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/classpath/ -classlibrary $ROBUSTROOT/classpath/vm/reference"
789 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
793 #base multicore gc files
794 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
798 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/SSJava"
806 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
808 #base bristlecone files
809 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
815 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
819 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
823 #threading java stuff
824 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
828 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
831 # everyone gets this except ssjava!
834 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/"
836 #########################
838 #########################
842 # Build bristlecone/java sources
846 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
847 -dir $BUILDDIR $JAVAOPTS $SRCFILES
855 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main $JAVAOPTS \
856 -dir $BUILDDIR -precise $SRCFILES
863 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
864 -dir $BUILDDIR -precise $JAVAOPTS $SRCFILES
871 if $EXITAFTERANALYSIS
876 # Build all of the consistency specs
878 if $CHECKFLAG # CHECKFLAG
881 mkdir $BUILDDIR/specdir
882 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
884 echo > $BUILDDIR/specs
886 # compile specs into C code
887 for i in * # iterate over all directories
889 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
892 cat $BUILDDIR/structfile.struct $i.label > $i.struct
893 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
894 cp size.[c,h] $BUILDDIR/specdir
895 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
896 echo $i >> $BUILDDIR/specs
898 done # iterate over all directories
904 echo > $BUILDDIR/checkers.h
905 for i in `cat $BUILDDIR/specs`
907 gcc -O0 -g -fbounds-check -c $i\_aux.c
908 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
912 #build and link everything
917 MAKEFILE="Makefile.raw"
923 export RAWRGCCFLAGS="-DTASK -DMULTICORE -DRAW"
927 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DCACHEFLUSH"
932 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPATH"
937 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DDEBUG"
941 then # profile version
942 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DPROFILE"
945 if $ACCURATEPROFILEFLAG
946 then # accurateprofile version
947 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DACCURATEPROFILE"
952 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DUSEIO"
956 then #INTERRUPT version
957 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DINTERRUPT"
958 fi #INTERRUPT version
962 MAKEFILE="$MAKEFILE.io"
963 echo "+++++++++++use Makefile.raw.io++++++++++++++++"
965 MAKEFILE="$MAKEFILE.$RAWCONFIG"
968 cp $BAMBOORUNTIME/RAW/$MAKEFILE ./Makefile
973 cp $BAMBOORUNTIME/*.c ./
974 cp $BAMBOORUNTIME/*.h ./
975 cp $BAMBOORUNTIME/RAW/*.c ./
976 cp $BAMBOORUNTIME/RAW/*.h ./
977 cp $BAMBOORUNTIME/RAW/*.S ./
978 cp $BAMBOORUNTIME/RAW/*.s ./
979 cp ../$tmpbuilddirectory/*.c ./
980 cp ../$tmpbuilddirectory/*.h ./
986 TILERADIR="$CURDIR/tilera"
990 MAKEFILE="Makefile.tilera.$TILERACORES"
991 #SIMHVC="sim.hvc.$TILERACONFIG"
992 PCIHVC="pci.hvc.$TILERACORES"
997 elif $TILERAZLINUXFLAG
998 then # TILERAZLINUXFLAG
999 TILERA_INDIR="ZLinux"
1000 MAKEFILE="Makefile.tilera.$TILERACONFIG"
1010 export TILERACFLAGS="-DMULTICORE -DCLOSE_PRINT -DTILERA"
1012 export TILERACFLAGS="-DTASK -DMULTICORE -DCLOSE_PRINT -DTILERA"
1017 TILERACFLAGS="${TILERACFLAGS} -DGC_TBL_DEBUG"
1020 if $OBJECTLOCKDEBUGFLAG
1022 TILERACFLAGS="${TILERACFLAGS} -DOBJECT_LOCK_DEBUG"
1025 if $TILERAMEMPROFFLAG
1026 then # not only with 1 core
1027 PCIHVC="$PCIHVC.memprof"
1028 TILERACFLAGS="${TILERACFLAGS} -DBAMBOO_MEMPROF"
1032 then # TILERABMEFLAG
1033 TILERACFLAGS="${TILERACFLAGS} -DTILERA_BME"
1034 elif $TILERAZLINUXFLAG
1035 then # TILERAZLINUXFLAG
1036 TILERACFLAGS="${TILERACFLAGS} -DTILERA_ZLINUX"
1041 TILERACFLAGS="${TILERACFLAGS} -DCACHEFLUSH"
1046 TILERACFLAGS="${TILERACFLAGS} -DRAWPATH"
1051 TILERACFLAGS="${TILERACFLAGS} -DDEBUG"
1055 then # profile version
1056 TILERACFLAGS="${TILERACFLAGS} -DPROFILE"
1059 if $ACCURATEPROFILEFLAG
1060 then # accurateprofile version
1061 TILERACFLAGS="${TILERACFLAGS} -DACCURATEPROFILE"
1064 if $PROFILEINTERRUPTFLAG
1065 then # profile_interrupt version
1066 TILERACFLAGS="${TILERACFLAGS} -DPROFILE_INTERRUPT"
1070 then # useio version
1071 TILERACFLAGS="${TILERACFLAGS} -DUSEIO"
1075 then #INTERRUPT version
1076 TILERACFLAGS="${TILERACFLAGS} -DINTERRUPT"
1077 fi #INTERRUPT version
1081 TILERACFLAGS="${TILERACFLAGS} -DMGC -DMGC_SPEC"
1085 then #MULTICOREGC version
1086 TILERACFLAGS="${TILERACFLAGS} -DMULTICORE_GC -D${GCCORES}"
1090 then # GC_PROFILE version
1091 TILERACFLAGS="${TILERACFLAGS} -DGC_PROFILE"
1095 then # GC_PROFILE_S version
1096 TILERACFLAGS="${TILERACFLAGS} -DGC_PROFILE_S"
1100 then # SMEMLOCAL version
1101 TILERACFLAGS="${TILERACFLAGS} -DSMEML"
1105 then # SMEMFIXED version
1106 TILERACFLAGS="${TILERACFLAGS} -DSMEMF"
1110 then # SMEMMIXED version
1111 TILERACFLAGS="${TILERACFLAGS} -DSMEMM"
1115 then # SMEMGLOBAL version
1116 TILERACFLAGS="${TILERACFLAGS} -DSMEMG"
1119 if $GCCACHELOCALFLAG
1120 then # CACHE_LOCAL version
1121 TILERACFLAGS="${TILERACFLAGS} -DCACHE_LOCAL"
1125 then # CACHE_RAN version
1126 TILERACFLAGS="${TILERACFLAGS} -DCACHE_RAN"
1129 if $GCCONTROLLERNEARFLAG
1130 then # CONTROLLER_NEAR version
1131 TILERACFLAGS="${TILERACFLAGS} -DCONTROLLER_NEAR"
1134 if $GCCONTROLLERREMOTEFLAG
1135 then # CONTROLLER_REMOTE version
1136 TILERACFLAGS="${TILERACFLAGS} -DCONTROLLER_REMOTE"
1139 if $GCSMALLPAGESIZEFLAG
1140 then # GC_SMALLPAGESIZE version
1141 TILERACFLAGS="${TILERACFLAGS} -DGC_SMALLPAGESIZE"
1144 if $GCLARGEPAGESIZEFLAG
1145 then # GC_LARGEPAGESIZE version
1146 TILERACFLAGS="${TILERACFLAGS} -DGC_LARGEPAGESIZE"
1149 if $GCLARGEPAGESIZE2FLAG
1150 then # GC_LARGEPAGESIZE2 version
1151 TILERACFLAGS="${TILERACFLAGS} -DGC_LARGEPAGESIZE2"
1154 if $GCLARGESHAREDHEAPFLAG
1155 then # GC_LARGESHAREDHEAP version
1156 TILERACFLAGS="${TILERACFLAGS} -DGC_LARGESHAREDHEAP"
1159 if $GCSMALLPAGESIZEFLAG2
1160 then # GC_SMALLPAGESIZE2 version
1161 TILERACFLAGS="${TILERACFLAGS} -DGC_SMALLPAGESIZE2"
1164 if $GCLARGESHAREDHEAPFLAG2
1165 then # GC_LARGESHAREDHEAP2 version
1166 TILERACFLAGS="${TILERACFLAGS} -DGC_LARGESHAREDHEAP2"
1169 if $GCCACHEADAPTFLAG
1170 then # GC_CACHE_ADAPT version
1171 TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_ADAPT"
1174 if $GCCACHEADAPTPOLICYFLAG
1175 then # GC_CACHE_ADAPT version
1176 TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_ADAPT_POLICY${GCCACHEADAPTPOLICY}"
1179 if $GCCACHESAMPLINGFLAG
1180 then # GC_CACHE_ADAPT version
1181 TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_SAMPLING"
1186 cp $ROBUSTROOT/Tilera/Runtime/MGC/$MAKEFILE ./Makefile
1188 cp $ROBUSTROOT/Tilera/Runtime/$TILERA_INDIR/$MAKEFILE ./Makefile
1191 then # TILERABMEFLAG
1192 #cp $ROBUSTROOT/Tilera/Runtime/$TILERA_INDIR/$SIMHVC ./sim.hvc
1193 cp $ROBUSTROOT/Tilera/Runtime/$TILERA_INDIR/$PCIHVC ./pci.hvc
1194 if $TILERA56COREFLAG
1196 cp $ROBUSTROOT/Tilera/Runtime/$TILERA_INDIR/bamboo-vmlinux-pci.hvc.56 ./bamboo-vmlinux-pci.hvc.56
1198 cp $ROBUSTROOT/Tilera/Runtime/$TILERA_INDIR/bamboo-vmlinux-pci.hvc ./bamboo-vmlinux-pci.hvc
1201 cp ../Runtime/Queue.c ./
1202 cp ../Runtime/file.c ./
1203 cp ../Runtime/math.c ./
1206 cp ../Runtime/object.c ./
1208 cp ../Runtime/GenericHashtable.c ./
1209 cp ../Runtime/SimpleHash.c ./
1210 cp ../Runtime/ObjectHash.c ./
1211 cp ../Runtime/socket.c ./
1212 cp ../Runtime/mem.c ./
1213 cp ../Runtime/GenericHashtable.h ./
1214 cp ../Runtime/mem.h ./
1217 cp ../Runtime/object.h ./
1219 cp ../Runtime/ObjectHash.h ./
1220 cp ../Runtime/Queue.h ./
1221 cp ../Runtime/runtime.h ./
1222 cp ../Runtime/SimpleHash.h ./
1223 cp $BAMBOORUNTIME/multicoretask.c ./
1224 cp $BAMBOORUNTIME/multicoreruntime.c ./
1225 cp $BAMBOORUNTIME/multicoremem.c ./
1226 cp $BAMBOORUNTIME/multicoregarbage.c ./
1227 cp $BAMBOORUNTIME/GCSharedHash.c ./
1228 cp $BAMBOORUNTIME/MGCHash.c ./
1229 cp $BAMBOORUNTIME/multicoreruntime.h ./
1230 cp $BAMBOORUNTIME/multicoremem.h ./
1231 cp $BAMBOORUNTIME/multicoregarbage.h ./
1232 cp $BAMBOORUNTIME/multicorecache.h ./
1233 cp $BAMBOORUNTIME/multicoregc.h ./
1234 cp $BAMBOORUNTIME/multicorehelper.h ./
1235 cp $BAMBOORUNTIME/GCSharedHash.h ./
1236 cp $BAMBOORUNTIME/MGCHash.h ./
1237 cp ../Tilera/Runtime/*.c ./
1238 cp ../Tilera/Runtime/*.h ./
1239 cp ../Tilera/Runtime/$TILERA_INDIR/*.c ./
1240 cp ../Tilera/Runtime/$TILERA_INDIR/*.h ./
1241 if $TILERAZLINUXFLAG
1242 then # TILERAZLINUXFLAG
1243 cp ../Tilera/Runtime/$TILERA_INDIR/*.S ./
1245 #if $TILERAMEMPROFFLAG
1246 #then # TILERAMEMPROFFLAG
1247 cp ../Tilera/Runtime/$TILERA_INDIR/linux_client.c ./
1251 cp ../Tilera/Runtime/MGC/*.c ./
1252 cp ../Tilera/Runtime/MGC/*.h ./
1254 cp ../Tilera/lib/* ./
1255 cp ../$tmpbuilddirectory/*.c ./
1256 cp ../$tmpbuilddirectory/*.h ./
1260 else #!RAWFLAG && !TILERABMEFLAG && ! TILERAZLINUXFLAG
1263 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
1268 RUNTIMEFILE="$BAMBOORUNTIME/multicoreruntime.c $BAMBOORUNTIME/multicoretask.c"
1269 INCLUDES="$INCLUDES -I$BAMBOORUNTIME"
1271 RUNTIMEFILE="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c"
1274 FILES="$RUNTIMEFILE \
1275 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
1276 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
1277 $ROBUSTROOT/Runtime/ObjectHash.c \
1278 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
1279 $ROBUSTROOT/Runtime/taskgarbage.c $ROBUSTROOT/Runtime/oojgarbage.c \
1280 $ROBUSTROOT/Runtime/math.c \
1281 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
1285 FILES="$FILES $ROBUSTROOT/Runtime/jni/jni.c $ROBUSTROOT/Runtime/jni/jni-stuff.c"
1290 FILES="$FILES $ROBUSTROOT/Runtime/affinity.c"
1295 FILES="$FILES $ROBUSTROOT/Runtime/STM/monitor.c"
1300 FILES="$FILES $ROBUSTROOT/Runtime/memcpy32.o $ROBUSTROOT/Runtime/instrset32.o"
1307 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRECOVERYRUNTIME"
1308 FILES="$FILES $DSMRECOVERYRUNTIME/trans.c $DSMRECOVERYRUNTIME/mcpileq.c $DSMRECOVERYRUNTIME/objstr.c $DSMRECOVERYRUNTIME/dstm.c $DSMRECOVERYRUNTIME/altmlookup.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/altprelookup.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 $DSMRECOVERYRUNTIME/translist.c $DSMRECOVERYRUNTIME/paxos.c"
1310 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
1311 FILES="$FILES $DSMRUNTIME/trans.c $DSMRUNTIME/mcpileq.c $DSMRUNTIME/objstr.c $DSMRUNTIME/dstm.c $DSMRUNTIME/clookup.c $DSMRUNTIME/llookup.c $DSMRUNTIME/threadnotify.c $DSMRUNTIME/dstmserver.c $DSMRUNTIME/plookup.c $DSMRUNTIME/ip.c $DSMRUNTIME/queue.c $DSMRUNTIME/altprelookup.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 $DSMRUNTIME/altmlookup.c"
1317 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$STMRUNTIME"
1318 FILES="$FILES $STMRUNTIME/stmlock.c $STMRUNTIME/stm.c $STMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c $STMRUNTIME/stats.c $STMRUNTIME/commit.c $STMRUNTIME/objstr.c"
1325 FILES="$FILES $DSMRUNTIME/sandbox.c"
1327 FILES="$FILES $STMRUNTIME/sandbox.c"
1333 FILES="$FILES $DSMRUNTIME/abortreaders.c"
1338 FILES="$FILES $ROBUSTROOT/Runtime/localobjects.c"
1343 FILES="$FILES $ROBUSTROOT/Runtime/coreprof/coreprof.c"
1348 FILES="$FILES $tmpbuilddirectory/RuntimeConflictResolver.c $ROBUSTROOT/Runtime/oooJava/hashRCR.c $ROBUSTROOT/Runtime/oooJava/Queue_RCR.c $ROBUSTROOT/Runtime/oooJava/hashStructure.c $ROBUSTROOT/Runtime/oooJava/trqueue.c $ROBUSTROOT/Runtime/oooJava/rcr_runtime.c"
1353 FILES="$FILES $ROBUSTROOT/Runtime/mlp_runtime.c"
1354 FILES="$FILES $ROBUSTROOT/Runtime/psemaphore.c"
1355 FILES="$FILES $ROBUSTROOT/Runtime/workschedule.c"
1358 FILES="$FILES $ROBUSTROOT/Runtime/deque.c"
1364 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
1367 EXTRAOPTIONS="$EXTRAOPTIONS -DMULTICORE"
1369 FILES="$FILES $tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/chash.c"
1372 EXTRAOPTIONS="$EXTRAOPTIONS -DRAW"
1374 if $THREADSIMULATEFLAG
1376 # -lpthread for pthread functions, -lrt for message queue functions
1377 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADSIMULATE -lpthread -lrt"
1383 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
1384 FILES="$FILES $tmpbuilddirectory/optionalarrays.c"
1389 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
1394 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
1395 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
1400 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
1404 echo EXTRAOPTIONS=$EXTRAOPTIONS
1408 gcc -S $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
1409 -c $tmpbuilddirectory/methods.c -lm
1416 NONMULTICOREOPTS=-DPRECISE_GC
1421 gcc -E $INCLUDES $EXTRAOPTIONS $NONMULTICOREOPTS \
1422 $tmpbuilddirectory/methods.c $FILES > tmp.c
1425 gcc $INCLUDES $EXTRAOPTIONS $NONMULTICOREOPTS \
1426 $tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin