bug fix in that return value assignment edges were not being handled like other edges, so instead of doing them as a special case they are now integrated into the single callee-to-caller edge code

reporting on new analysis doing good job with benchmarks now

improving debugging of call site contributions to initial contexts

changes

my changes

Add stephen to the CVS.  Note that anyone can change these...

 print stats in matrix multiply

print recovery stats

changes to Game benchmark

small change

grab locks on sockpool for all communications involving cache and prefetch

disable Timer interrupt and some bug fixing

bug fix, some callees were not being rescheduled because code to do it was conditional on caller having a new result since last visit

changes to the recovery script : enable killing of one machine using USR signal

fixed

fixed a bug where retrieving the context contribution of a call site returns an empty graph instead of null, which erroneously matches a new context calculation that happens to be an empty graph--this doesn't fully solve the known bug though

missed a line of code

 comment debugs, add code for timing thr execution, machine id changes in main()

comment debug statements and add code for timing runs

nothing.

new matrix multiply

input file with all the benchmark arguments for the script

 changes to enable n iterations of each launch

small change

changes for single threaded Java version of Spider

my changes

changes

changes for running recovery version

annoying bug fixed; works well with current recovery system

translists

adjustments to stack-based method scheduling, debug controls, a micro benchmark, and interestingly with updated scheduling more benchmarks consistently exhibit the map reduce problem

Core of Sudoku Puzzler is ported without input error detection (no try/catch statements). The result writer (to file) is embedded in Test.java

Lessons Learned
1)  There are fewer implicit type casts with our compiler.
2)  Error Handling
2a) Functions that could throw an error but does not return anything can return a boolean to check for errors.
2b) Functions that do return something can return either a null (if returning an object) or an invalid value to check for errors.

Added input file support; user must put the file location as first argument when calling ./test.bin

Modified my core code to be able to compile under "make single"

Notes:
-Compiler does not do as many int/Integer impicit-casts as the Java compiler; result is much time spent following compiler errors to fix casting ambiguities

-ArrayList.java is ported from the Java library with Exceptions removed and only retains roughly half the built-in functions.

Future Plans:
-Impelment parsing and writing files to gain farmiliarity with using I/O.

Ported over commonly used operations in ArrayList.java from the Java library --Stephen

fix some bugs in Bamboo

fix in generating dynamic variable type.

trying to isolate a bug from MapReduceTag in a miniature version here

an example program using StringTokenizer

fixes in handling unresolved pointer.

set temp descriptor for a waiting element.

transaction clearing done.

need to test with more benchmarks

new getstatus method

new files

rewrite

deterministic mode works

added compiler option to desire determinism, it currently has little effect on determinism, though, so will get back to other bugs for now

one sharing discrepancy resolved

just improved some output

two phase recovery

First test case

changes to automate old and new analysis benchmark suites, want tabular output to match for easily comparisons

results show all visit methods roughly equal now, still sharing difference for MapReduce, both versions

raw results from overnight test

bug fixes for handling unresolved pointer.

bug fix.

changes for handling unresolved in-var pointer.

recoveryflag is modified

objects with bamboo-parameter flags got dropped from analysis by accident

implemented stack method visit but with callees on top, something crazy is happening to sharing for ALL visit methods...

Moved Prime Program into its own folder

Moved Primes into its own folder

Updated Test.java; it now achieves a speed-up of 8x on dc-11

bring last changes for proper handling 64bit before more changes are made.

Updated Test.java to working condition (parallelized)

backed up working serial program and original program (that did not compile)

paxos in separate file.

still problem in transaction clearing

Renamed test.java to Test.java and updated makefile accordingly. Done to keep javac from complaining

renamed test.java to Test.java and changed the makefile accordingly to stop javac from complaining

Updated to working non-parallelized version for Test.c

bug fixes for unflagged heap regions becoming flagged

working on bugs, sharing file output updates

Stephen's intro application added (not yet done)

A test update

This is Stephen's test program

bug fixes for generating empty graph.

still fixing

still have racing condition..

fixes for memory effects analysis.

enforce strict monotonicity for initial method contexts and back edges as defined by the PointerMethod, which allow the nonterminating test cases to converge now.  Still gotta test on the wider benchmark suite...

turn strong updates back on from yesterday testing, add a non-terminating example using just strong updates

a test that shows our analysis doesn't always terminate

why was this missing--latent bug

bug fixes, make stack/Q method-visiting a cmd line arg, some code for debugging monotonicity problem, commented out in this commit

all changes for official testing

collect last night's changes

stack implementation...may expose bugs

bug fix

bug fix

current version of benchmark lists and run modes

add power bench.

add annoated kmeans

changes.

a helpful makefile to run for the record

add annotated raytracer

bug fixes and optimizations

new Canonical hash and equals, also running with assertions disabled, barely improved

fixing the heap region descriptions not a pressing issue...

makefile for checking final results

bug fixes for task initial heaps and making all new edges have true predicates attached to reach states on the edge