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

print preds stacked for DOT

bug fixes

Add BAMBOOCOMPILETIME flag into the state class. When this flag is set, only excute Bamboo schedule analysis and report the time

little optimization to allow it to quickly recompute methods it already has information for

code for Jim to use once he gets everything working...

the idea is that this takes in a flatmethod and generates next/prev nodes for each node that the pointer analysis actually cares about

changes for proper handling multi-dimensional array of task parameter.

bug fixes

bug fix in evaluating the various classes of out-of-context predicates

improved debug graph capture

just giving the task a name different from the Lambda class's method

bug fixes, display improvements, sharing query changes, still losing preds during call site transfer func...

changes for a better strategy of clearing memory.

bug fix for primitive parameters, made a simple method for encapsulating the primitive/immutable test, leaving a hook for debugging the graph equals method that was useful, easy to turn back on

little bug fixes, adjusted code for detecting sharing, use the reverse topological sort for new analysis

fix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of-context node

little bug in final reporting

bug fixes: if an out-of-context edge in callee has no matching desitination, obviously don't bring it, and don't bother adding shadow into shadow node descriptions, not worth the hassle of changing string descriptions when making shadow nodes on demand

wow, this bug has been latent for a long time, easy fix

add two out-of-context properties to equals and hashcode

makefile for new analysis version for benchmarks

couple fixes to make sure out-of-context nodes get all the states they need, and make sure global sweep never removes states from an out-of-context node

fixed problem by differentiating between an element that is out of the callee context, and an element that is also out of the caller context as well, results looking better but reachability states aren't propagating over more than one context

trying to fix call site transfer bug, fixed caused other problems, still working on it

changes.