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 "-mlp <num cores> <max sese age> build mlp code"
echo -mlpdebug if mlp, report progress and interim results
echo "-disstart specify the start number of distribution information collection"
echo -multicore generate multi-core version binary
echo "-numcore set the number of cores (should be used together with -multicore), defaultly set as 1"
-echo "-cacheflush enable cache flush in raw version binary (should be used togethere with -raw)"
echo "-interrupt generate raw version binary with interruption (should be used togethere with -raw)"
echo "-rawpath print out execute path information for raw version (should be used together with -raw)"
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 -inputfile enables reading input files in Tilera
+echo -inputfilecompress enables the compressed version of input files
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
echo -dsmtask support work and task class library
echo -recoverystats print out recovery record
echo -src-after-pp prints source code after preprocessor to tmp.c
+echo -capture-null-dereferences generates code to warn before derefencing null
echo -printlinenum print out line numbers in generated C codes
echo -help help
}
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
TILERAMEMPROFFLAG=false
TILERACONFIG=''
TILERACORES=''
-CACHEFLUSHFLAG=false
RAWCONFIG=''
DEBUGFLAG=false
RAWPATHFLAG=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"
+INPUTFILEFLAG=false
+INPUTFILES=''
+INPUTFILEOPTS=''
+GCCACHECOHERENTFLAG=false
+COMPILER_HEAP_SIZE="1500"
+
if [[ -z $1 ]]
then
elif [[ $1 = '-justanalyze' ]]
then
EXITAFTERANALYSIS=true
+elif [[ $1 = '-capture-null-dereferences' ]]
+then
+JAVAOPTS="$JAVAOPTS -capture-null-dereferences"
+EXTRAOPTIONS="$EXTRAOPTIONS -DCAPTURE_NULL_DEREFERENCES"
elif [[ $1 = '-src-after-pp' ]]
then
SRCAFTERPP=true
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
TILERACONFIG="$2"
shift
-elif [[ $1 = '-cacheflush' ]]
-then
-CACHEFLUSHFLAG=true
elif [[ $1 = '-rawconfig' ]]
then
RAWCONFIG="$2"
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
then
MGCFLAG=true
JAVAOPTS="$JAVAOPTS -mgc"
+elif [[ $1 = '-inputfile' ]]
+then
+INPUTFILEFLAG=true
+INPUTFILES="$INPUTFILES $2"
+shift
+elif [[ $1 = '-inputfilecompress' ]]
+then
+INPUTFILEOPTS="$INPUTFILEOPTS -compress"
elif [[ $1 = '-mgcintel' ]]
then
MGCINTELFLAG=true
elif [[ $1 = '-ooojava' ]]
then
MLP_ON=true
+OOOJAVA=true
JAVAOPTS="$JAVAOPTS -ooojava $2 $3"
EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread -DMLP"
shift
then
EXTRAOPTIONS="$EXTRAOPTIONS -DOOO_DISABLE_TASKMEMPOOL"
+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 $OOOJAVA
+ then
+ # stuff for OoOJava to mask parts of the base
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/OoOJava"
+fi
+
if $JNI
-then
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/classpath/java/lang/ -classlibrary $ROBUSTROOT/ClassLibrary/java/io/"
+ 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/"
+ then
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
+
elif $MGCFLAG
-then
-#base multicore gc files
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
-elif $RECOVERFLAG
-then
-if $FASTCHECK
-then
-#fast transactions
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
+ then
+ #base multicore gc files
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/"
+
+elif $USE_SSJAVA_CLASSPATH
+ then
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/SSJava"
+
else
-#base bristlecone files
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/"
+
+ if $RECOVERFLAG
+ then
+ if $FASTCHECK
+ then
+ #fast transactions
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
+ else
+ #base bristlecone files
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
+ fi
+
+ elif $DSMFLAG
+ then
+ #dsm stuff
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
+
+ elif $STM
+ then
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
+
+ elif $THREADFLAG
+ then
+ #threading java stuff
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
+
+ else
+ #base java stuff
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
+ fi
fi
-elif $DSMFLAG
-then
-#dsm stuff
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
-elif $STM
-then
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
-elif $THREADFLAG
-then
-#threading java stuff
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
-else
-#base java stuff
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
+
+# everyone gets this except ssjava!
+if ! $USE_SSJAVA_CLASSPATH
+ then
+ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/"
fi
+#########################
+# end classpath
+#########################
+
+
+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 \
--dir $BUILDDIR $JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/ \
--classlibrary $ROBUSTROOT/ClassLibrary/gnu/ $SRCFILES
-then exit $?
-fi
+ then
+ if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx${COMPILER_HEAP_SIZE}m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
+ -dir $BUILDDIR $JAVAOPTS $SRCFILES
+ then exit $?
+ fi
+
else
-#if ! ${ROBUSTROOT}/ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-if $MGCINTELFLAG
-then
-if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main $JAVAOPTS -classlibrary \
-$ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ -dir $BUILDDIR -precise \
-$SRCFILES
-then exit $?
+
+ if $MGCINTELFLAG
+ then
+ 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 -Xmx${COMPILER_HEAP_SIZE}m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main \
+ -dir $BUILDDIR -precise $JAVAOPTS $SRCFILES
+ then exit $?
+ fi
+ fi
+ fi
fi
-else
-if ! $NOJAVA
+
+# transfer the input files
+
+if $INPUTFILEFLAG
then
-if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-$ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ -dir $BUILDDIR -precise \
-$JAVAOPTS $SRCFILES
-then exit $?
-fi
-fi
+./ourjavac -cp ../cup:.:$(CLASSPATH) ${ROBUSTROOT}/Tilera/Benchmarks/GC/galois/InputFileTranslator.java
+if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx${COMPILER_HEAP_SIZE}m -classpath $ROBUSTROOT/Tilera/Benchmarks/GC/galois InputFileTranslator \
+ -dir $BUILDDIR $INPUTFILEOPTS $INPUTFILES
+ then exit $?
fi
fi
+# after executing Main, if -justanalyze flag, just exit
if $EXITAFTERANALYSIS
then
exit
fi
+
+
# Build all of the consistency specs
if $CHECKFLAG # CHECKFLAG
export RAWRGCCFLAGS="-DTASK -DMULTICORE -DRAW"
-if $CACHEFLUSHFLAG
-then # print path
-RAWRGCCFLAGS="${RAWRGCCFLAGS} -DCACHEFLUSH"
-fi
-
if $RAWPATHFLAG
then # print path
RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPATH"
elif $TILERAFLAG
then # TILERAFLAG
-TILERADIR="$CURDIR/tilera"
+TILERADIR="$CURDIR/${TILERAOUTPUTDIR}"
if $TILERABMEFLAG
then # TILERABMEFLAG
TILERA_INDIR="BME"
export TILERACFLAGS="-DTASK -DMULTICORE -DCLOSE_PRINT -DTILERA"
fi
+if $INPUTFILEFLAG
+then
+TILERACFLAGS="${TILERACFLAGS} -DINPUTFILE"
+fi
+
if $GCTBLDEBUGFLAG
then
TILERACFLAGS="${TILERACFLAGS} -DGC_TBL_DEBUG"
TILERACFLAGS="${TILERACFLAGS} -DTILERA_ZLINUX"
fi
-if $CACHEFLUSHFLAG
-then # print path
-TILERACFLAGS="${TILERACFLAGS} -DCACHEFLUSH"
-fi
-
if $RAWPATHFLAG
then # print path
TILERACFLAGS="${TILERACFLAGS} -DRAWPATH"
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 $BAMBOORUNTIME/multicoretask.c ./
-cp $BAMBOORUNTIME/multicoreruntime.c ./
-cp $BAMBOORUNTIME/multicoremem.c ./
-cp $BAMBOORUNTIME/multicoregarbage.c ./
-cp $BAMBOORUNTIME/GCSharedHash.c ./
-cp $BAMBOORUNTIME/MGCHash.c ./
-cp $BAMBOORUNTIME/multicoreruntime.h ./
-cp $BAMBOORUNTIME/multicoremem.h ./
-cp $BAMBOORUNTIME/multicoregarbage.h ./
-cp $BAMBOORUNTIME/multicorecache.h ./
-cp $BAMBOORUNTIME/multicoregc.h ./
-cp $BAMBOORUNTIME/multicorehelper.h ./
-cp $BAMBOORUNTIME/GCSharedHash.h ./
-cp $BAMBOORUNTIME/MGCHash.h ./
+cp ../Runtime/objtypes.h ./
+cp $BAMBOORUNTIME/*.c ./
+cp $BAMBOORUNTIME/*.h ./
cp ../Tilera/Runtime/*.c ./
cp ../Tilera/Runtime/*.h ./
cp ../Tilera/Runtime/$TILERA_INDIR/*.c ./
cp ../$tmpbuilddirectory/*.c ./
cp ../$tmpbuilddirectory/*.h ./
+echo $TILERACFLAGS > ./tileracflags.txt
+
make
else #!RAWFLAG && !TILERABMEFLAG && ! TILERAZLINUXFLAG