change to randomly generate inputs

make sure strong updates do not affect benchmark results, currently

*** empty log message ***

*** empty log message ***

use SLGCC instead of GCC and use -o2 for raw version

remove redundant files

Using -o2 for raw version binary causes problems. Change it to -o0.

bug fixing

bug fixing

improved version for better scaling results

new benchmark -- fluidanimate for Scheduling

make 1D fft objects local and clean up code

add precise profiling data for multicore version profiling

add java files

working version ....
global array allocation in fft needs to address scaling problems

Added few more Math functionality for 2DFFT benchmark

New benchmark for 2D FFT ... still has compile problems with global data

realized strong updates has incorrect conditions, made comment to fix, will do this later

Java non transactional version for Em3d

Integrate Jim's ownership ananlysis and fix some bugs in scheduling simulator

extra hash table implementation...might be worth trying

Scripts and Benchmarks changed to function with 8 machines

test doesn't work\!

new test for paper example

let scheduling analysis be able to use profile data

Added specific method call improvement test case for global sweep

Global sweep added

Committing a stable version of global sweep that works for simple strong updates, does not work correctly after some method calls

Added hooks for global sweep and made sure that strong update logic without effecting the actual strong update does not affect the final result.  Next step is to do the strong update edge removal and implement global sweep after strong updates and all method calls.

Fixed a hack that was bugging me with a proper solution.

add profile codes for multicore version

Verified accuracy of results by manual inspection.

Fixed up another canonical misuse, changed wording of alias reporting to see the phrase 'no aliases' first, reran all benchmarks

Tighten up use of canonical objects and halt system if a canonical object's hashcode changes.

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

Introduced ZEROORMORE arity, something appears to be broken so another change is coming

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