Heap regions with no reachability token need to have the empty reachability set
in order for other token operations to work.

Changes to insert new Barrier in Moldyn

change

try to lower lock overhead

bug fix

bug in the Vector class

strong updates, everything ready to do method calls

HeapRegionNode and ReferenceEdge both have had the equals() and hashCode()
methods updated to exclude transient attributes like reachability information.
If these objects are put into work sets and those attributes are changed they
have become different objects, according to the hash set.  So equals() was changed
and other methods are used for determining equality in other situations, like
asking whether heap region nodes in different graphs are equivalent.

Also, a few other minor changes.

Retooled edges and basic stuff is working again (finally) but reachability needs to be reintegrated

Node and edge equality and hash updates

token classes combed over and tested thoroughly

latest files and new changes to the script for collected non-cache and
non-prefetch data

changes to enable no caching and no prefetching by adding DCACHE flag to
buildscript. Tested on Em3d

updated TokenTuple and TokenTupleSet, tested

Bug fix and makefile update

Made a big change to reference edges, touched a lot of code.
This commit is stable, but reachability needs to be added back
in, a little bit at a time with testing to make sure everything
gets put back together.

commit latest files

latest files

Add new file for increasing datasize to 4000 X 4000

change benchmark

start of new file

equals() and hashCode() methods are bunk

bug fixing in Scheduling analysis(combination stage)

rewritten SOR benchmark

bug fix for invalidation (also allow invalidation of objects when these objects are
commited inside handlelocalRequest)
add few more debug messages for runtime debugging

bug fixes
changes to trans.c to get object type without doing a prefetch but a transRead instead

do sane array allocation now

Latest version of Em3d

 Sor files with out new barrier implementation

I erroneously added this sanity check and wondered why I see the output without crashing the analysis.  Actually, when an edge in the callee HRN1->HRN2 is being mapped into the caller, if HRN1 is a callee parameter object then it's ID will definitely not be in the caller already.  And the method getHRNSetThatPossiblyMapToCalleeHRN() recognizes that and does the right thing already, so the sanity check was reporting a non-existent problem.

changes to support gc with dstm

Bug fix that param2id tables need to initialized for every method before starting analysis

Added fields to ReferenceEdgeProperties and combed over all classes that need proper equals and hashcode methods

Added a toStringBrief()

change

bug fix

fully compiled with new Barrier

still have some compile errors . Use Em3d with new Barrier class

correction

compile error fixes for new Barrier.java

add new Barrier Class

reduce the number of spins...functions that call lock are taking a long time

make sure the other thread doesn't just fall asleep

New strategy...  If the prefetching thread gets behind us, we don't issue a prefetch.

new Barrier class

changes

Break aging into smaller procedures and improve graphing for method call work.

minor changes for update cache call(where is it called from)

bug fix

Prune change sets during token prop by beta info only, not whether the rule was applied

fix a bug in combination stage of scheduling analysis

x.f = y now prunes new edge's beta by alpha at x

Fixed x.f = y operation

bug fix

remove people from email list...they're probably tired of the spam by now

Bug correction

Parallelized Version...Haven't tested

makefile with transstats option enabled for finding number of remote reads

Added new header file for debug only

added dsmdebug file for debugging using macros and setting flags in buildscript
added code to verify number of reads in transaction cache, main object store etc
compile error fix for clookup.h(static makes chashSearch local to file)

some benchmarks for scheduling

unused variable

code changes...

small changes

Fix sockpool.  The current version would trash the linked list if getSock2WithLock ever opened a socket.

remove the system.clearPrefetchCache call
bug fix for openning large number of sockets (use socket pool and recycle sockets)
bug fix for updating prefetch cache using version increment for modified objects
fix compile errors by moving #include for plookup.h

fix some bugs in multi-core version codes generation and runtime

fix compile problem

small changes for improving prefetch

new files for dynamic prefetch enabling
and signal file for getting new stats

Changes for dynamic prefetch enabling

bug fixes in gCollect.c and gCollect.h
changes to trans.c that aids in prefetch cache allocation

cache flushing for preventing memory leakage in SOR

Reachability bug fixes.  Tokens propagate and age in allocation sites,
and the example programs produce results that are almost correct.  One
thing to note is that token propagation through many allocation sites
in a loop doesn't work properly, where the same field-by-field construction of
a single complex object does propagate the tokens.

Token propagation for normal assignments fixed.  Tokens do not "age" with
edges properly during assignment to new allocation yet.

Segfault fix in prefetch queue + additional macros for debugging

fix up a bug in multicore RAW interruption version codes

Working on allocating with reachability, mostly the "aging" of tokens.
Implementation is stable but it is not working correctly.

Added some functionality to reachability classes that is apparently
not very helpful.  They've been tested though, so might as well check
it in, but the methods that are not of obvious use are committed but
commented out.

Fixed propagation, different change sets for the x and y branches before a new edge is added

fix up interruption related bug in RAW version. Use our own interruption setup codes instead of using libints which is out of date.

Fixed a few minor bugs in token propagation, and major bug that every
reachability set should have the empty token tuple set as a member.
Also, propagation does not go back up edges yet.

Token propagation implemented, stable but incorrect.  This is just a capture.

fix a bug in thread simulator

add makefiles for building RAW version binary

More reachability implementation, no token propagation yet.

make multicore version PERT benchmark work on RAW(without interruption)

add multi-core version for PERT benchmark

Added reachability to simple edge cases.

changes not to break the compiler

bug fixes for udp broadcast
flags and code added to collect transaction commit+abort statistics

Added reachability classes, all of which are extensions of Canonical such that
after makeCanonical() two equivalent reachability classes are actually the same
class.  This was the bug that kept the orginial analysis tests from terminating
and now they run fine.

Starting to integrate reachability classes into ownership.

special union of reachability sets works correctly now

More reachability set functionality, but not all there yet

Broadening implementation for reachability in ownership analysis.

Straightened out TokenTuple equality and hash codes so token sets
work properly.

Some initial implementation of reachability for ownership analysis.

some slight testing changes

changes to buildscript