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

changes to improve commit intensive benchmarks and combine invalid messages
and commit messages for speedup

change

mlookup bug fix

mlookup -> altmlookup

*** empty log message ***

reevaluating abstract garbage collection, for now leave code but don't use it

*** empty log message ***

*** empty log message ***

bug fixing in multicore gc and add profiling code for gc

guard code with sandbox flag to prevent other dsm stuff from breaking

add sandbox checks for excessive memory allocation and make all exponential
delay variables as thread locals

change analysis so nodes are added on demand, and abstractly garbage collected when not reachable from roots

binary exponential backoff for soft abort

missing checkin

*** empty log message ***

*** empty log message ***

enable dsm sandboxing

complete sandbox implementation

implementing

add instanceof into multicore version runtime

implementing sandbox
check-in all the manual prefetch changes

new implementation for compiling conflict queues.

*** empty log message ***

implementing

bug fix in multicore gc

for test

change

well..