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

add changes to automate dsm and recovery executions

change cache lookup table,
remove rcount-> instead use isBackUp field for alignment issues,
add code for signal handler,
some code changes to address cache invalidation-> same as dsm

changes. better coding style.

initial commit of new memory queue. still just working with fine-grain cases.

bug fix, other transfer funcs invoke mutating methods, call site transfer creates new reachgraph--but new graph wasn't being returned to fixed point computation

getting closer, still major bugs in call site transfer function

less transaction

small bug fix

small changes

proper placement of atomic blocks

changes to benchmarks
javasingle version of spamfilter

changes for prefetch/caching and performance improvements

found a bug where an object of one reach graph could get into another reach graph, which breaks everything

better duplicateLostObject

remove hard coded relative path for getting profiling data

check in a debug mode for call site transfer I use a lot, but actually hook it up to the build options, whoops

modified script for other results
remove unnecessary dstm.conf file
some changes to increase execution time for the Game benchmark

enable optimization

java single version of Matrix Multiply

fix some bug in the multicore gc

changes

system stable, call site transform wipes out graphs without rebuilding correctly, still working on it

a helpful method

command line parsing change for the script

change

add java version

change

add debugs for now

change

bug fix, was too aggressive with equals method for canonical objects, have to do full compare otherwise you can't compare an object to something in the canon in order to retrieve the canonical version

added new barrier and game recovery benchmark

checking in this test before monkeying around with debugging stuff

squashing bugs

analysis not terminating, looking for things that should equate but don't that prevent convergence

big update--bringing implementation of new analysis into focus

*** empty log message ***

well

to print out byte info

change

time stamp

*** empty log message ***

print out recovery time in micro second

remove debug messages

no join!

well..

debug

changes

fix code organization