extend test

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 7a80b40acb0698513d5dbcdc15ad15a89110b770..2aa7938df746c54425e30e890e05f29988375dd6 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -50,6 +50,7 @@ echo -disjoint-dvisit-stack-callees-on-top alternate stack strat
 echo -disjoint-dvisit-pqueue use prio. q strat to visit descriptors
 echo -disjoint-desire-determinism set above interproc for determinism
 echo -disjoint-debug-scheduling debug when methods are scheduled for analysis
+echo -do-definite-reach-analysis enable improved precision for disjoint reachability analysis
 echo
 echo -pointsto-check-v-runtime check allocation site of pointer targets at runtime to help verify heap analysis results
 echo 
@@ -84,9 +85,11 @@ echo "-tilera_memprof build the memprof version (should be used together with -t
 echo -accurateprofile build with accurate profile information including pre/post task processing info
 echo -profile_interrupt build with profile information of interrupts
 echo "-useio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
+echo -gccachecoherent turns on the cache coherence during gc
 echo
 echo Multicore GC options
 echo -perfcount performance counters
+echo -memperfcount Memory performance counters
 echo -multicoregc generate multi-core binary with garbage collection
 echo -pmc parallel collector
 echo "-numcore4gc set the number of cores for gc (should be used together with -multicoregc), defaultly set as 0"
@@ -101,6 +104,10 @@ echo "-gccontroller_remote set the gc shared memory to use a remote controller f
 echo "-gcsmallpagesize(2) set the gc shared memory to use small page size (should be used together with -multicoregc)"
 echo "-gclargepagesize set the gc shared memory to use large page size (should be used together with -multicoregc)"
 echo "-gclargesharedheap(2) set the gc shared memory as large (should be used together with -multicoregc)"
+echo "-tilera_page_size set the page size in multicore code"
+echo "-tilera_page_size_bits set the page size bits in multicore code"
+echo "-tilera_num_blocks set the total number of blocks in multicore code"
+echo "-tilera_num_pages_per_block set the number of pages per block in multicore code"
 echo "-gccacheadapt setup as cacheadaptable mode (should be used together with -multicoregc)"
 echo -gcprofile build with gcprofile options
 echo -mgc generate Multicore GC binary without task stuff
@@ -211,6 +218,7 @@ INTERRUPTFLAG=false
 THREADSIMULATEFLAG=false;
 MULTICOREGCFLAG=false;
 PERFCOUNT=false;
+MEMPERFCOUNT=false;
 PMCFLAG=false;
 GCMEMLOCALFLAG=false;
 GCMEMFIXEDFLAG=false;
@@ -249,7 +257,12 @@ ASSEMBLY=false
 GCCORES=''
 TILERAN1COREFLAG=false
 TILERA56COREFLAG=false
-TILERAOUTPUTDIR=''
+TILERAOUTPUTDIR="tilera"
+TILERA_PAGE_SIZE="0x10000"
+TILERA_PAGE_SIZE_BITS="16"
+TILERA_NUM_BLOCKS="20"
+TILERA_NUM_PAGES_PER_BLOCK="16"
+GCCACHECOHERENTFLAG=false
 
 if [[ -z $1 ]]
 then
@@ -426,6 +439,9 @@ PROFILEINTERRUPTFLAG=true
 elif [[ $1 = '-useio' ]]
 then
 USEIOFLAG=true
+elif [[ $1 = '-gccachecoherent' ]]
+then
+GCCACHECOHERENTFLAG=true
 elif [[ $1 = '-taskstate' ]]
 then
 JAVAOPTS="$JAVAOPTS -taskstate"
@@ -465,6 +481,22 @@ elif [[ $1 = '-tilera_output_dir' ]]
 then
 TILERAOUTPUTDIR="$2"
 shift
+elif [[ $1 = '-tilera_page_size' ]]
+then
+TILERA_PAGE_SIZE="$2"
+shift
+elif [[ $1 = '-tilera_page_size_bits' ]]
+then
+TILERA_PAGE_SIZE_BITS="$2"
+shift
+elif [[ $1 = '-tilera_num_blocks' ]]
+then
+TILERA_NUM_BLOCKS="$2"
+shift
+elif [[ $1 = '-tilera_num_pages_per_block' ]]
+then
+TILERA_NUM_PAGES_PER_BLOCK="$2"
+shift
 elif [[ $1 = '-tilera_bme' ]]
 then
 TILERAFLAG=true
@@ -505,6 +537,9 @@ JAVAOPTS="$JAVAOPTS -pmc"
 elif [[ $1 = '-perfcount' ]]
 then
 PERFCOUNT=true
+elif [[ $1 = '-memperfcount' ]]
+then
+MEMPERFCOUNT=true
 elif [[ $1 = '-gcmem_local' ]]
 then
 GCMEMLOCALFLAG=true
@@ -779,6 +814,7 @@ fi
 shift
 done
 
+
 BUILDDIR="$CURDIR/$tmpbuilddirectory"
 
 BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
@@ -794,6 +830,11 @@ then
 JAVAOPTS="$JAVAOPTS -struct structfile"
 fi
 
+if $TILERAFLAG
+then
+# for tilera code, generate multicorememsize.h
+./generate_memsize.sh ${TILERA_PAGE_SIZE} ${TILERA_PAGE_SIZE_BITS} ${TILERA_NUM_BLOCKS} ${TILERA_NUM_PAGES_PER_BLOCK} ${BUILDDIR}
+fi
 
 
 #########################
@@ -888,11 +929,14 @@ else
   fi
 fi
 
+# after executing Main, if -justanalyze flag, just exit
 if $EXITAFTERANALYSIS
 then
 exit
 fi
 
+
+
 # Build all of the consistency specs
 
 if $CHECKFLAG # CHECKFLAG
@@ -1106,6 +1150,11 @@ then #MULTICOREGC version
 TILERACFLAGS="${TILERACFLAGS} -DPERFCOUNT"
 fi
 
+if $MEMPERFCOUNT
+then #MULTICOREGC version
+TILERACFLAGS="${TILERACFLAGS} -DMEMPERFCOUNT"
+fi
+
 if $GCPROFILEFLAG
 then # GC_PROFILE version
 TILERACFLAGS="${TILERACFLAGS} -DGC_PROFILE"
@@ -1201,6 +1250,11 @@ then # GC_CACHE_ADAPT version
 TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_SAMPLING"
 fi
 
+if $GCCACHECOHERENTFLAG
+then # gc cache coherent version
+TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_COHERENT_ON"
+fi
+
 if $PMCFLAG
 then
 cp $ROBUSTROOT/Tilera/Runtime/PMC/$MAKEFILE ./Makefile