new files

rewrite

deterministic mode works

added compiler option to desire determinism, it currently has little effect on determinism, though, so will get back to other bugs for now

one sharing discrepancy resolved

just improved some output

two phase recovery

First test case

changes to automate old and new analysis benchmark suites, want tabular output to match for easily comparisons

results show all visit methods roughly equal now, still sharing difference for MapReduce, both versions

raw results from overnight test

bug fixes for handling unresolved pointer.

bug fix.

changes for handling unresolved in-var pointer.

recoveryflag is modified

objects with bamboo-parameter flags got dropped from analysis by accident

implemented stack method visit but with callees on top, something crazy is happening to sharing for ALL visit methods...

Moved Prime Program into its own folder

Moved Primes into its own folder

Updated Test.java; it now achieves a speed-up of 8x on dc-11

bring last changes for proper handling 64bit before more changes are made.

Updated Test.java to working condition (parallelized)

backed up working serial program and original program (that did not compile)

paxos in separate file.

still problem in transaction clearing

Renamed test.java to Test.java and updated makefile accordingly. Done to keep javac from complaining

renamed test.java to Test.java and changed the makefile accordingly to stop javac from complaining

Updated to working non-parallelized version for Test.c

bug fixes for unflagged heap regions becoming flagged

working on bugs, sharing file output updates

Stephen's intro application added (not yet done)

A test update

This is Stephen's test program

bug fixes for generating empty graph.

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