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 -disjoint-count-visits for counting visits in the fixed point algorithm to evaluate convergence behavior
+echo -disjoint-count-graph-elements FILE nodes, edges and states in final graph for main method context
+echo
+echo -do-definite-reach-analysis enable improved precision for disjoint reachability analysis
+echo -disjoint-disable-global-sweep
+echo -disjoint-disable-strong-update
+echo -disjoint-disable-predicates
+echo -disjoint-summarize-per-class
+echo
echo
echo -pointsto-check-v-runtime check allocation site of pointer targets at runtime to help verify heap analysis results
echo
echo "-useprofile use profiling data for scheduling (should be used together with -raw)"
echo -printscheduling print out scheduling graphs
echo -printschedulesim print out scheduling simulator result graphs
+echo "-tilera_output_dir specify the output directory for the generated TILERA code"
echo "-tilera_bme generate tilera version binary for Bare Mental Environment (should be used together with -multicore"
echo "-tilera_zlinux generate tilera version binary for Zero-Overhead Linux with multi-process mode (should be used together with -multicore"
echo "-tileraconfig config tilera simulator/pci as nxm (should be used together with -tilera)"
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"
echo "-gcmem_local set the gc shared memory allocation strategy as local (should be used together with -multicoregc)"
echo "-gcmem_fixed set the gc shared memory allocation strategy as fixed (should be used together with -multicoregc)"
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
echo
echo SSJava options
echo -ssjava enables SSJava
+echo -ssjavadebug reports interim results
+echo -ssjavainfer location type inference
+echo -ssjava-induce-error N S where 1/N is the probability to error at any deref or divide and S is a random seed
echo
echo Other options
echo -jni enable jni
echo -optional enable optional
echo -debug generate debug symbols
echo -prefetch do prefetch analysis
-echo -heapsize-mb NUM set initial heap size in MB, default is 256
+echo -heapsize-mb NUM set output program initial heap size in MB, default is 256
+echo -compiler-heapsize-mb NUM set heap size in MB for the JVM running the compiler, default is 1500
echo -garbagestats Print garbage collection statistics
echo -webinterface enable web interface
echo -runtimedebug printout runtime debug messages
tmpbuilddirectory="tmpbuilddirectory"
JNI=false
SSJAVA=false
+USE_SSJAVA_CLASSPATH=false
SRCAFTERPP=false;
COREPROF=false;
NUMA=false;
CHECKFLAG=false
RECOVERFLAG=false
MLP_ON=false
+OOOJAVA=false
RCR=false
RCR_DEBUG=false
RCR_DEBUG_VERBOSE=false
INTERRUPTFLAG=false
THREADSIMULATEFLAG=false;
MULTICOREGCFLAG=false;
+PERFCOUNT=false;
+MEMPERFCOUNT=false;
+PMCFLAG=false;
GCMEMLOCALFLAG=false;
GCMEMFIXEDFLAG=false;
GCMEMMIXEDFLAG=false;
GCCORES=''
TILERAN1COREFLAG=false
TILERA56COREFLAG=false
+TILERAOUTPUTDIR="tilera"
+TILERA_PAGE_SIZE="0x10000"
+TILERA_PAGE_SIZE_BITS="16"
+TILERA_NUM_BLOCKS="20"
+TILERA_NUM_PAGES_PER_BLOCK="16"
+GCCACHECOHERENTFLAG=false
+COMPILER_HEAP_SIZE="1500"
+
if [[ -z $1 ]]
then
elif [[ $1 = '-useio' ]]
then
USEIOFLAG=true
+elif [[ $1 = '-gccachecoherent' ]]
+then
+GCCACHECOHERENTFLAG=true
elif [[ $1 = '-taskstate' ]]
then
JAVAOPTS="$JAVAOPTS -taskstate"
then
RAWFLAG=true
JAVAOPTS="$JAVAOPTS -raw"
+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
then
MULTICOREGCFLAG=true
JAVAOPTS="$JAVAOPTS -multicoregc"
+elif [[ $1 = '-pmc' ]]
+then
+PMCFLAG=true
+JAVAOPTS="$JAVAOPTS -pmc"
+elif [[ $1 = '-perfcount' ]]
+then
+PERFCOUNT=true
+elif [[ $1 = '-memperfcount' ]]
+then
+MEMPERFCOUNT=true
elif [[ $1 = '-gcmem_local' ]]
then
GCMEMLOCALFLAG=true
elif [[ $1 = '-ooojava' ]]
then
MLP_ON=true
+OOOJAVA=true
JAVAOPTS="$JAVAOPTS -ooojava $2 $3"
EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread -DMLP"
shift
elif [[ $1 = '-ssjava' ]]
then
SSJAVA=true
+USE_SSJAVA_CLASSPATH=true
JAVAOPTS="$JAVAOPTS -ssjava"
+elif [[ $1 = '-ssjavadebug' ]]
+then
+JAVAOPTS="$JAVAOPTS -ssjavadebug"
+
+elif [[ $1 = '-ssjavainfer' ]]
+then
+JAVAOPTS="$JAVAOPTS -ssjavainfer"
+
+elif [[ $1 = '-ssjava-inject-error' ]]
+then
+USE_SSJAVA_CLASSPATH=true
+JAVAOPTS="$JAVAOPTS -ssjava-inject-error $2 $3"
+shift
+shift
+
elif [[ $1 = '-mempool-detect-misuse' ]]
then
EXTRAOPTIONS="$EXTRAOPTIONS -DMEMPOOL_DETECT_MISUSE"
EXTRAOPTIONS="$EXTRAOPTIONS -DINITIALHEAPSIZE_MB=($2)"
shift
+elif [[ $1 = '-compiler-heapsize-mb' ]]
+then
+COMPILER_HEAP_SIZE="$2"
+shift
+
elif [[ $1 = '-nostalltr' ]]
then
JAVAOPTS="$JAVAOPTS -nostalltr"
shift
done
+
BUILDDIR="$CURDIR/$tmpbuilddirectory"
BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
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
#########################
# Setup class path
#########################
-if $JNI
+if $OOOJAVA
then
- JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/classpath/ -classlibrary $ROBUSTROOT/classpath/vm/reference"
+ # stuff for OoOJava to mask parts of the base
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/OoOJava"
+fi
+if $JNI
+ then
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/classpath/ -classlibrary $ROBUSTROOT/classpath/vm/reference/"
elif $MGCINTELFLAG
then
JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
#base multicore gc files
JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
-elif $SSJAVA
+elif $USE_SSJAVA_CLASSPATH
then
JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/SSJava"
else
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/"
+
if $RECOVERFLAG
then
if $FASTCHECK
fi
# everyone gets this except ssjava!
-if ! $SSJAVA
+if ! $USE_SSJAVA_CLASSPATH
then
JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/"
fi
#########################
+echo "compiler running in JVM with heap size: ${COMPILER_HEAP_SIZE}MB"
+
# Build bristlecone/java sources
if $MULTICOREFLAG
then
- if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
+ if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx${COMPILER_HEAP_SIZE}m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
-dir $BUILDDIR $JAVAOPTS $SRCFILES
then exit $?
fi
if $MGCINTELFLAG
then
- if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main $JAVAOPTS \
+ if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx${COMPILER_HEAP_SIZE}m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main $JAVAOPTS \
-dir $BUILDDIR -precise $SRCFILES
then exit $?
fi
else
if ! $NOJAVA
then
- if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
+ if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx${COMPILER_HEAP_SIZE}m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
-dir $BUILDDIR -precise $JAVAOPTS $SRCFILES
then exit $?
fi
fi
fi
+# after executing Main, if -justanalyze flag, just exit
if $EXITAFTERANALYSIS
then
exit
fi
+
+
# Build all of the consistency specs
if $CHECKFLAG # CHECKFLAG
elif $TILERAFLAG
then # TILERAFLAG
-TILERADIR="$CURDIR/tilera"
+TILERADIR="$CURDIR/${TILERAOUTPUTDIR}"
if $TILERABMEFLAG
then # TILERABMEFLAG
TILERA_INDIR="BME"
TILERACFLAGS="${TILERACFLAGS} -DMULTICORE_GC -D${GCCORES}"
fi
+if $PMCFLAG
+then #MULTICOREGC version
+TILERACFLAGS="${TILERACFLAGS} -DPMC_GC -D${GCCORES}"
+fi
+
+if $PERFCOUNT
+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"
TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_SAMPLING"
fi
-if $MGCFLAG
+if $GCCACHECOHERENTFLAG
+then # gc cache coherent version
+TILERACFLAGS="${TILERACFLAGS} -DGC_CACHE_COHERENT_ON"
+fi
+
+if $PMCFLAG
+then
+cp $ROBUSTROOT/Tilera/Runtime/PMC/$MAKEFILE ./Makefile
+elif $MGCFLAG
then
cp $ROBUSTROOT/Tilera/Runtime/MGC/$MAKEFILE ./Makefile
else
cp ../Runtime/Queue.h ./
cp ../Runtime/runtime.h ./
cp ../Runtime/SimpleHash.h ./
+cp ../Runtime/objtypes.h ./
cp $BAMBOORUNTIME/*.c ./
cp $BAMBOORUNTIME/*.h ./
cp ../Tilera/Runtime/*.c ./
cp ../$tmpbuilddirectory/*.c ./
cp ../$tmpbuilddirectory/*.h ./
+echo $TILERACFLAGS > ./tileracflags.txt
+
make
else #!RAWFLAG && !TILERABMEFLAG && ! TILERAZLINUXFLAG