still fixing

still have racing condition..

fixes for memory effects analysis.

enforce strict monotonicity for initial method contexts and back edges as defined by the PointerMethod, which allow the nonterminating test cases to converge now.  Still gotta test on the wider benchmark suite...

turn strong updates back on from yesterday testing, add a non-terminating example using just strong updates

a test that shows our analysis doesn't always terminate

why was this missing--latent bug

bug fixes, make stack/Q method-visiting a cmd line arg, some code for debugging monotonicity problem, commented out in this commit

all changes for official testing

collect last night's changes

stack implementation...may expose bugs

bug fix

bug fix

current version of benchmark lists and run modes

add power bench.

add annoated kmeans

changes.

a helpful makefile to run for the record

add annotated raytracer

bug fixes and optimizations

new Canonical hash and equals, also running with assertions disabled, barely improved

fixing the heap region descriptions not a pressing issue...

makefile for checking final results

bug fixes for task initial heaps and making all new edges have true predicates attached to reach states on the edge

print preds stacked for DOT

bug fixes

Add BAMBOOCOMPILETIME flag into the state class. When this flag is set, only excute Bamboo schedule analysis and report the time

little optimization to allow it to quickly recompute methods it already has information for

code for Jim to use once he gets everything working...

the idea is that this takes in a flatmethod and generates next/prev nodes for each node that the pointer analysis actually cares about

changes for proper handling multi-dimensional array of task parameter.

bug fixes

bug fix in evaluating the various classes of out-of-context predicates

improved debug graph capture

just giving the task a name different from the Lambda class's method

bug fixes, display improvements, sharing query changes, still losing preds during call site transfer func...

changes for a better strategy of clearing memory.

bug fix for primitive parameters, made a simple method for encapsulating the primitive/immutable test, leaving a hook for debugging the graph equals method that was useful, easy to turn back on

little bug fixes, adjusted code for detecting sharing, use the reverse topological sort for new analysis

fix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of-context node

little bug in final reporting

bug fixes: if an out-of-context edge in callee has no matching desitination, obviously don't bring it, and don't bother adding shadow into shadow node descriptions, not worth the hassle of changing string descriptions when making shadow nodes on demand

wow, this bug has been latent for a long time, easy fix

add two out-of-context properties to equals and hashcode

makefile for new analysis version for benchmarks

couple fixes to make sure out-of-context nodes get all the states they need, and make sure global sweep never removes states from an out-of-context node

fixed problem by differentiating between an element that is out of the callee context, and an element that is also out of the caller context as well, results looking better but reachability states aren't propagating over more than one context

trying to fix call site transfer bug, fixed caused other problems, still working on it

changes.

making debugging easier

make sure change sets ignore predicates hanging off reach states and alter reach set intersection to ignore predicates, and have a preference of taking preds from the first reach set argument so client algorithms can indicate preference

make sure straight union of reach states or reach sets is never done, reach tuples in states with same id should merge arity values, and reach states with same state but different preds should become one state with preds ORed

changes.

add interface.

bug fix in multicore Bamboo, TILERZ_LINUX mode now works for 56 cores

a test.

couple of little bugs working in tandem to wreck reachability, looking much better now

added the new looup table for prefetch cache
updated gCollect as per the new prefetch cache
send trans disagree quickly and unlock the objects quickly
some bugs fixes that resulted from the dsm caching

get rid of "size" field, causes unnecessary aborts for FileSystem

BAMBOO TILERA_ZLINUX mode works with single-core version but still has problem with 56-core version

use different graph writing options to better find reachability problems

TILERA_ZLINUX mode for BAMBOO can be compiled now, but still has segmentation fault

fixed issues with dot graph writing that make our debugging lives harder

using allocation sites in new ways exposed a latent bug

a test

changes for proper handling field.

was accidentally dropping param var to node edges when constructing callee initial heaps

working on reach prop, pred bugs, basic tests still do not work, gotta squash more bugs

reach propagation not working, getting null states...

code clean: define TILERA_BME mode and TILERA_ZLINUX mode.  TILERA_ZLINUX mode is not tested yet

working hard on reachability, bunch of changes, still isnt working right though

bug fix.

changes for handling tasks.

checkin a crash fix so yonghun can run on benchmarks while I keep wokring on reachability

updating the global sweep and some related code--this currently bombs, only update if you must, it will compile though

have to test predicates of callee states before admitting to caller, and calculate what predicate caller version will have

lots of untested code, but compiles, for attaching preds to reach states

most of the missing context-rewriting code

a start on reachability, not fully functioning yet

more changes

changes for optimizations

changes

if an operation on canonical objects wants to use other canonical ops, it must supply canonical arguments.  that said, if the operation is straightforward and the result isn't hashed, its okay to build the object from scratch and then canonicalize it at the end

a test that shows reachabiltiy states are broken

bunch of bug fixes, graphs appear to be working mechanically over call chains, still needs attention to reachability as symbols get rewritten over context boundaries

making a big change to call site transform to calculate out-of-context edges correctly, but in current form BLEEDS ELEMENTS BETWEEN GRAPHS again, checking in this stable version though so I don't mess up the good stuff while trying to fix it

debugging something else, but commiting this bug fix--mapping out-of-context nodes to a unique heap region id requires that the callee method be part of the identifier string otherwise an ooc region can appear in more than one context of a call chain, which is bad

bug fix yonghun found, return value's region may be a new node for caller context, might have to a matching object for caller context

there was a simple fix for variable problem, in new model we want to cut out all region to region AND var to region edges in caller before we map callee effects back in, things look good for one call but chains any longer get messed up--investigating...

caller local variables to in-context regions are modeled as out-of-context edges in callee to preserve info, then matched in call site transform.  This approach is running and stable, but the answer doesn't look right with respect to the age of nodes in caller

remove some redundant outputs

some missing check in

Not the most elegant fix, but out-of-context nodes can be uniquely identified by a string, which is mapped to a particular hrn id to get convergence

out-of-context edges prevent convergence...

lots of bug fixes, system cannot compute even simple programs without variables as out-of-context edges

mark before adding zero-overhead linux mode

big checkin, lots of call site transfer bug fixes, analysis runs for a tiny example correctly

callee elements brought into caller get predicates from caller element that satisfied them, properly, also bug fix for edges from nodes that aren't satisifed from throwing a null pointer exception

edge merge

changes.

changes to trans.c for performance improvement