Fix implementation to use little d when possible, and big D only if there's no other choice

Bug fix where two isolated heap regions with empty reachability sets have
a reference edge created between them.  Actually, the reachability sets
arent' empty, they contain the empty token tuple set, but the edge that
gets created has the empty reachability set.  Changed the field set method
to detect this and fill it in.  This is not a good fix, find the reason
why it happens in the first place.

*** empty log message ***

*** empty log message ***

Reran analysis on benchmarks with newest updates

First bug fix is that the "unshadow" token conversion mistakenly transforms the oldest shadow token back into a shadow token.

Second bug fix is that callee nodes from an allocation site don't use the parameter rewrite rules (H) and similarly edges in the callee that are added to the caller don't use the J or K rewrite rules either.  Those reachability sets should use their callee alpha() or beta() as the input "rules" to the rewrite method.

get rid of unnecessary recv_data , SUCCESSFUL/UNSUCESSFUL ctrl msg
add new debug info

rewriting of callee tokens into caller tokens was incorrect

*** empty log message ***

pull in class files that already exist in library

exhaustive arity improves for benchmarks with ad=1

test for immutable instead of primitive to decide if a field cannot create an alias

changed analysis to recognize strings as immutable, aliases in WebServerTag no longer reported

added a test for immutable

*** empty log message ***

*** empty log message ***

*** empty log message ***

helpful progress reporting

current results of ownership analysis on benchmarks

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

add toString for isavailable

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

makefile for compiling benchmarks with ownership analysis

*** empty log message ***

*** empty log message ***

Bug fix: when rewriting a token set every permutation with possible replacement tokens was overwriting, changed to keep all results in a set

make toString more readable

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

improvements

big fix for tracking latest ownership graph associated with a flat node during a method analysis iteration

fix dumb bug in test case, add graphing option

capture some debugging code

uncommenting all tests

*** empty log message ***

*** empty log message ***

*** empty log message ***

add navid to this cvs list also

Transaction directory

optimize for performance

never needed this

changes

New files added

Changes to runtime for read/write lock implementation
and modifying benchmark for dw-10 with dw-14

revert jim's changes

changes

minor changes

add allocation depth to alias output file

nasty bug

make pacmen be able to resurrect

added ownership options

make tabbing changes

forgot to make tabbing

minor bug fixes and support for matching classes to super class when mapping edges into callers

change

changes

optimizations to checkpointing

change

changes

changes

changes

change

changes

new hash table

use more sophiscated strategy for character moving

use more sophiscated strategy for character moving

only analyze flat method node to allocate parameter heap regions one time globally

make tabbing

been forgetting to make tabbing

add new benchmark MMG for Bristlecone

Changed the top-level procedure for resolving a method call.  When virtual
dispatch is possible, instead of merging together every potential callee
and then applying that result to the working graph, find the result of
applying each callee to a copy of the working graph, and merge all of those
results together.  This procedure is correct.

prevent infinite recursion for cycle of callers

Put the rest of the top-level interface together

alias query for param to alloc site

step toward repairing top-level alias query interface

Prune edges by field name and type when mapping from callee to caller

added support for array element nodes

added equals() and hashCode() methods

update for methods and renaming of assignments for clarity bug fix

write-to-graph changes

bug fix: when calculating methods dependent on a new result, only include methods identified as part of the current analysis

bug fix, alpha and beta for allocated callee nodes and new callee edges weren't brought into caller correctly, and then also not committed

method call stably implemented as a first pass, results already show some incorrect answers

for method calls, all reachability sets brought into the caller need to have a callee-allocation-tokens-to-shadow-tokens pass

method call first draft almost finished.  Need to go back and make sure shadow nodes of allocation sites start with the same beta info as callee node, EXCEPT switching the tokens to the shadow versions.

Also need to implement pruning of new caller edges by field name and type.

Also need to implement "major age" that merges shadow nodes into the normal nodes of the allocation sites so the graph is back to normal capacity.