A missing file

The second to last check in for the refactoring process. This moved/renamed some things to make the code more obvious. The last checkin will eliminate the need to coalesce connected heap groups.

more changes

Enable array creation with initialization for MGC. Now array initialization is fully supported in MGC.

Enable field array initialization for MGC

more changes

Basic implementation of array initialization for mgc: local array declaration with array initialization is OK now. Need more work to enable array field declaration with initialization and array creation with initialization. Also fix a bug: previously do not support static fields that are object/array.

more work towards new points to analysis

changes

more changes

more changes

more changes

Some changes to enable SPECjbb for MGC version.  Enable the compilation for 1. class type, 2. try-catch-finally, 3. transient modifier, 4. array-create-init statement.  Now the compiler can parse code with these features but does not process them.  Also add some interfaces for String, FileOutputStream classes.

beginning of points-to analysis

We fixed the bug of where to find the stallsite reachgraph. \n\n We found an even BIGGER, SYSTEM-WIDE BUG whereby the Conflict Graph of stallsites were stored with the stallsite's parent's parent. However, since many components rely on this bug, we decided to leave it alone but left giant notes explaining the situation.

Corrected reach graph issue with SESE BLOCKS ONLY. There seems to be an error with stallsites that I'll fix with Jim later. I've merged some redundant functions and broke up complicated ones. There's just more organizational work to do now for it to make more intuitive sense.

Split graph construction into 2 steps (one for pruned creation and one for marking conflicts). Dumbed down the logic in ConcreteRuntimeObjNode. Found a inefficiency whereby the graph is recreated with EVERY INSET VARIABLE, but I'll fix that another night.

RCR was only one using Tuple.java so I renamed it to Pair.java. Checked that nothing broke.

tests for playing around with analysis with respect to empty reach states

just a little change to keep genreach debug node from getting wiped out during optimization

test that the genreach flat node doesn't get wiped away by java optimization

just checking that the genreach debug statement works

put optional stuff for debugging disjoint reachability analysis into the makefile

enforce monotonicity in heap contributions from call sites

make reach graph visualizations tractable

Add support for try-catch-finally statement for MGC version.  Do not fully support exceptions yet.  Only guarantee the execution when there are no exceptions

Checking in the small changes before I work on the big ones.

Add support for Enum type for mgc version and also add default constructor. Comment out InitializerTest in unit test as there is some problem for the test.

*** empty log message ***

This update adds initializers, but not for arrays

we should keep this

Refactoring in progress. Done with about the first 250 lines.

Made the option for showing RCR compile-time debug printout accessible in makefile

adds new  target 'single-remake-c' for OoOJava makefile. it's good to have this one.

fix: lastcr idx could be larger than the value of (string.length-1). so appends remaining chars when lastcr idx is less than string.length.

A test case for static inner class

no functional changes, just notes during a code review

Missing files

some outstanding changes

we changed the micro benchmark, but why, to get the tasks out of the main method?

Enable Switch-case statement for mgc version

updates run scripts for OoOJava

Indent the code a little better by default...isn't perfect, but better than it was...

just a little hack after reading the output of the compiler...

adjust # of work item in accordance with 22 worker. get a better speedup (14x->18x).

bug fix: RBlockRelationAnalysis failed to set a non-bogus parent when sese is located inside of main method(=main sese).

new configuration for mergesort

checkin

adds new option '-nostalltr' that turns off rcr traversers that only handle conflicts between task and stallsite

close this file so it actually writes out

some tweaks to number of workers and workloads

introduces stall site in front of loop body. later it should be done by the optimization phase.

adds missing run scripts

provides 'corepin' flag for mergesort

change

add 'corepin' flag

add flag "corepin" for core pinning

force oid increment to be a prime number

add run script for non-scratchpad labyrinth

buildall file

labyrinth run updates, both inputs

runall script

adds labyrinth without using scratchpad

run script for labyrinth

a few little benchmark tweaks

fix: keeps SESEstatus for either case(TRUE/FALSE)

changes on SOR benchmark

changes: collects a set of collect effects and generates a stall site over the method context

new run script for moldyn. it creates work items with multiples of 23.

allow each benchmark to use the master makefile but twiddle number of work threads independently, also default for RCR should be 24, the main thread should stall after dispatching workers, so 23 active workers and one stalled, plus the traverser core keeps all processors busy

add header files

affinity call

grabs a lock when it tries to reset

assigns workerID to the workerTR

add RCR targets to micro benchmark makefile

bug fixes that prevent RCR from reclaiming task records when there is an empty traverser

fix: had a bug when one coarse entry handles more than one parameter conflicts

moldyn: increases workload per parallel task
mergesort: provides its own makefile to tune the number of worker

BuildCode.java: removes (1) the calls to build a traverser thread (2) the calls to enqueueTR when SESE only has empty traversers.

FlatSESEEnterNode.java CallGraph.java, RblockRelationAnalysis.java: maintains additional DS having a set of SESE that is the first reachable SESE from the current SESE through transitive method invocations

RuntimeConflictResolver.java : add helper function that checks if the given SESE only has empty traversers.

removes unnecessary LOCKXCHG operation to optimize.

fixes on hashStructure : when parent bin is ready, it should not be inserted to the table.

changes on KMeans: remove System.exit(). It caused a forced termination so it couldn't generate coreprof data

fix: retireHashTable clears its own readbin out of order first, and then iterates over bin array to resolve the rest of them.

Added a generated labyrinth input file that provides a big win for RCR by inverting the grid dimentions so that RCR does less checks. Should be as valid as random-x512-y512-z7-n512.txt since a 512x512x7 grid can be treated as a 7x512x512 or 512x7x512 grid. Averaged running times: Single-3m:53s, ooo-41s, rcr-30s

changes on MolDyn: increases workload and re-arranges unnecessary stall sites.

changes: generates WT_BIN_CASE only in the case that the read effect has downstream conflicts.

display elapsed time to help choose plot parameters and add arrow heads, remove palette mode for line colors

check rcrstatus before invoking the following traversals since the granularity of rctstatus is a task

index field of rentry is only for RCR, add guard condition to accessing index field.

have to consider an empty, ready read bin in front of you if you are inserting a write bin

coreprof in RCR, just one event for now showing begin and end of traverse call

poolalloc with no poolfree should be benign, but it causes wacky behavior in moldyn.  It could just be altering the timing and exposing a latent bug, but for now lets go back to strict MALLOC

back out pool alloc for now, fix it right when its clear we need it

Added build output to include Weakly Connected Heaproots and their IDs (Note: IDs correspond to which hashtable the heaproots will be inserting thier effects into). Introduced more debug printout guards to help clean up the overflow of output that we had before.

pool allocate RCR obj-conflict hash table bin items

Fixed grouping of weakly connected heaproots and removed yucky hacks. Previous version did not iterate through the entire list of connected heaproots when forming a group out of them.

until weakly connected components are fixed, always use hashtable zero

some new events

run script

be more careful about moving check...could break stuff in the future accidentally if we do this...