jzhou [Sat, 10 Apr 2010 01:01:03 +0000 (01:01 +0000)]
fix some bugs in Bamboo
yeom [Fri, 9 Apr 2010 20:42:27 +0000 (20:42 +0000)]
fix in generating dynamic variable type.
jjenista [Fri, 9 Apr 2010 20:15:37 +0000 (20:15 +0000)]
trying to isolate a bug from MapReduceTag in a miniature version here
jjenista [Fri, 9 Apr 2010 20:06:44 +0000 (20:06 +0000)]
an example program using StringTokenizer
yeom [Fri, 9 Apr 2010 17:57:58 +0000 (17:57 +0000)]
fixes in handling unresolved pointer.
yeom [Fri, 9 Apr 2010 17:56:36 +0000 (17:56 +0000)]
set temp descriptor for a waiting element.
jihoonl [Thu, 8 Apr 2010 06:10:16 +0000 (06:10 +0000)]
transaction clearing done.
need to test with more benchmarks
bdemsky [Thu, 8 Apr 2010 00:45:09 +0000 (00:45 +0000)]
new getstatus method
bdemsky [Thu, 8 Apr 2010 00:44:43 +0000 (00:44 +0000)]
new files
bdemsky [Thu, 8 Apr 2010 00:44:32 +0000 (00:44 +0000)]
rewrite
jjenista [Wed, 7 Apr 2010 22:53:39 +0000 (22:53 +0000)]
deterministic mode works
jjenista [Wed, 7 Apr 2010 18:13:39 +0000 (18:13 +0000)]
added compiler option to desire determinism, it currently has little effect on determinism, though, so will get back to other bugs for now
jjenista [Wed, 7 Apr 2010 18:12:20 +0000 (18:12 +0000)]
one sharing discrepancy resolved
jjenista [Wed, 7 Apr 2010 18:11:32 +0000 (18:11 +0000)]
just improved some output
jihoonl [Wed, 7 Apr 2010 00:55:20 +0000 (00:55 +0000)]
two phase recovery
tmduong [Tue, 6 Apr 2010 21:08:28 +0000 (21:08 +0000)]
First test case
jjenista [Tue, 6 Apr 2010 20:50:03 +0000 (20:50 +0000)]
changes to automate old and new analysis benchmark suites, want tabular output to match for easily comparisons
jjenista [Tue, 6 Apr 2010 17:40:36 +0000 (17:40 +0000)]
results show all visit methods roughly equal now, still sharing difference for MapReduce, both versions
jjenista [Tue, 6 Apr 2010 16:07:45 +0000 (16:07 +0000)]
raw results from overnight test
yeom [Tue, 6 Apr 2010 02:38:21 +0000 (02:38 +0000)]
bug fixes for handling unresolved pointer.
yeom [Tue, 6 Apr 2010 02:24:26 +0000 (02:24 +0000)]
bug fix.
yeom [Tue, 6 Apr 2010 02:11:40 +0000 (02:11 +0000)]
changes for handling unresolved in-var pointer.
jihoonl [Tue, 6 Apr 2010 00:40:34 +0000 (00:40 +0000)]
recoveryflag is modified
jjenista [Mon, 5 Apr 2010 23:12:50 +0000 (23:12 +0000)]
objects with bamboo-parameter flags got dropped from analysis by accident
jjenista [Mon, 5 Apr 2010 20:44:09 +0000 (20:44 +0000)]
implemented stack method visit but with callees on top, something crazy is happening to sharing for ALL visit methods...
stephey [Mon, 5 Apr 2010 18:27:05 +0000 (18:27 +0000)]
Moved Prime Program into its own folder
stephey [Mon, 5 Apr 2010 18:24:48 +0000 (18:24 +0000)]
Moved Primes into its own folder
stephey [Mon, 5 Apr 2010 18:18:48 +0000 (18:18 +0000)]
Updated Test.java; it now achieves a speed-up of 8x on dc-11
yeom [Mon, 5 Apr 2010 18:08:46 +0000 (18:08 +0000)]
bring last changes for proper handling 64bit before more changes are made.
stephey [Mon, 5 Apr 2010 17:51:58 +0000 (17:51 +0000)]
Updated Test.java to working condition (parallelized)
stephey [Sat, 3 Apr 2010 08:42:56 +0000 (08:42 +0000)]
backed up working serial program and original program (that did not compile)
jihoonl [Sat, 3 Apr 2010 07:18:55 +0000 (07:18 +0000)]
paxos in separate file.
still problem in transaction clearing
stephey [Sat, 3 Apr 2010 01:40:53 +0000 (01:40 +0000)]
Renamed test.java to Test.java and updated makefile accordingly. Done to keep javac from complaining
stephey [Sat, 3 Apr 2010 01:33:22 +0000 (01:33 +0000)]
renamed test.java to Test.java and changed the makefile accordingly to stop javac from complaining
stephey [Sat, 3 Apr 2010 01:04:04 +0000 (01:04 +0000)]
Updated to working non-parallelized version for Test.c
jjenista [Fri, 2 Apr 2010 22:28:51 +0000 (22:28 +0000)]
bug fixes for unflagged heap regions becoming flagged
jjenista [Fri, 2 Apr 2010 22:02:31 +0000 (22:02 +0000)]
working on bugs, sharing file output updates
stephey [Fri, 2 Apr 2010 19:16:20 +0000 (19:16 +0000)]
Stephen's intro application added (not yet done)
stephey [Fri, 2 Apr 2010 18:54:38 +0000 (18:54 +0000)]
A test update
stephey [Fri, 2 Apr 2010 18:48:23 +0000 (18:48 +0000)]
This is Stephen's test program
yeom [Fri, 2 Apr 2010 00:37:37 +0000 (00:37 +0000)]
bug fixes for generating empty graph.
jihoonl [Thu, 1 Apr 2010 05:38:34 +0000 (05:38 +0000)]
still fixing
jihoonl [Thu, 1 Apr 2010 01:55:31 +0000 (01:55 +0000)]
still have racing condition..
yeom [Wed, 31 Mar 2010 23:45:11 +0000 (23:45 +0000)]
fixes for memory effects analysis.
jjenista [Wed, 31 Mar 2010 17:21:08 +0000 (17:21 +0000)]
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...
jjenista [Tue, 30 Mar 2010 22:13:20 +0000 (22:13 +0000)]
turn strong updates back on from yesterday testing, add a non-terminating example using just strong updates
jjenista [Tue, 30 Mar 2010 21:39:53 +0000 (21:39 +0000)]
a test that shows our analysis doesn't always terminate
jjenista [Tue, 30 Mar 2010 21:39:33 +0000 (21:39 +0000)]
why was this missing--latent bug
jjenista [Tue, 30 Mar 2010 21:31:09 +0000 (21:31 +0000)]
bug fixes, make stack/Q method-visiting a cmd line arg, some code for debugging monotonicity problem, commented out in this commit
jjenista [Fri, 26 Mar 2010 20:09:16 +0000 (20:09 +0000)]
all changes for official testing
jjenista [Fri, 26 Mar 2010 15:56:27 +0000 (15:56 +0000)]
collect last night's changes
bdemsky [Fri, 26 Mar 2010 05:40:53 +0000 (05:40 +0000)]
stack implementation...may expose bugs
bdemsky [Fri, 26 Mar 2010 05:34:56 +0000 (05:34 +0000)]
bug fix
bdemsky [Fri, 26 Mar 2010 05:15:28 +0000 (05:15 +0000)]
bug fix
jjenista [Fri, 26 Mar 2010 01:08:14 +0000 (01:08 +0000)]
current version of benchmark lists and run modes
yeom [Thu, 25 Mar 2010 23:15:35 +0000 (23:15 +0000)]
add power bench.
yeom [Thu, 25 Mar 2010 22:55:53 +0000 (22:55 +0000)]
add annoated kmeans
yeom [Thu, 25 Mar 2010 22:55:15 +0000 (22:55 +0000)]
changes.
jjenista [Thu, 25 Mar 2010 22:54:43 +0000 (22:54 +0000)]
a helpful makefile to run for the record
yeom [Thu, 25 Mar 2010 22:42:03 +0000 (22:42 +0000)]
add annotated raytracer
bdemsky [Thu, 25 Mar 2010 22:15:29 +0000 (22:15 +0000)]
bug fixes and optimizations
jjenista [Thu, 25 Mar 2010 21:56:13 +0000 (21:56 +0000)]
new Canonical hash and equals, also running with assertions disabled, barely improved
jjenista [Thu, 25 Mar 2010 21:03:06 +0000 (21:03 +0000)]
fixing the heap region descriptions not a pressing issue...
jjenista [Thu, 25 Mar 2010 20:15:40 +0000 (20:15 +0000)]
makefile for checking final results
jjenista [Thu, 25 Mar 2010 20:14:08 +0000 (20:14 +0000)]
bug fixes for task initial heaps and making all new edges have true predicates attached to reach states on the edge
jjenista [Thu, 25 Mar 2010 20:12:18 +0000 (20:12 +0000)]
print preds stacked for DOT
yeom [Thu, 25 Mar 2010 19:46:59 +0000 (19:46 +0000)]
bug fixes
jzhou [Thu, 25 Mar 2010 17:17:38 +0000 (17:17 +0000)]
Add BAMBOOCOMPILETIME flag into the state class. When this flag is set, only excute Bamboo schedule analysis and report the time
bdemsky [Thu, 25 Mar 2010 03:50:17 +0000 (03:50 +0000)]
little optimization to allow it to quickly recompute methods it already has information for
bdemsky [Thu, 25 Mar 2010 03:49:18 +0000 (03:49 +0000)]
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
yeom [Thu, 25 Mar 2010 03:30:48 +0000 (03:30 +0000)]
changes for proper handling multi-dimensional array of task parameter.
jjenista [Thu, 25 Mar 2010 01:26:34 +0000 (01:26 +0000)]
bug fixes
jjenista [Wed, 24 Mar 2010 22:18:52 +0000 (22:18 +0000)]
bug fix in evaluating the various classes of out-of-context predicates
jjenista [Wed, 24 Mar 2010 22:18:13 +0000 (22:18 +0000)]
improved debug graph capture
jjenista [Wed, 24 Mar 2010 18:17:51 +0000 (18:17 +0000)]
just giving the task a name different from the Lambda class's method
jjenista [Wed, 24 Mar 2010 17:03:02 +0000 (17:03 +0000)]
bug fixes, display improvements, sharing query changes, still losing preds during call site transfer func...
yeom [Tue, 23 Mar 2010 23:21:20 +0000 (23:21 +0000)]
changes for a better strategy of clearing memory.
jjenista [Tue, 23 Mar 2010 18:52:42 +0000 (18:52 +0000)]
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
jjenista [Tue, 23 Mar 2010 00:46:28 +0000 (00:46 +0000)]
little bug fixes, adjusted code for detecting sharing, use the reverse topological sort for new analysis
jjenista [Mon, 22 Mar 2010 23:02:03 +0000 (23:02 +0000)]
fix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of-context node
jjenista [Mon, 22 Mar 2010 18:30:08 +0000 (18:30 +0000)]
little bug in final reporting
jjenista [Mon, 22 Mar 2010 18:23:44 +0000 (18:23 +0000)]
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
jjenista [Mon, 22 Mar 2010 17:41:36 +0000 (17:41 +0000)]
wow, this bug has been latent for a long time, easy fix
jjenista [Mon, 22 Mar 2010 17:13:08 +0000 (17:13 +0000)]
add two out-of-context properties to equals and hashcode
jjenista [Mon, 22 Mar 2010 03:56:52 +0000 (03:56 +0000)]
makefile for new analysis version for benchmarks
jjenista [Mon, 22 Mar 2010 03:33:17 +0000 (03:33 +0000)]
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
jjenista [Mon, 22 Mar 2010 02:56:57 +0000 (02:56 +0000)]
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
jjenista [Sat, 20 Mar 2010 00:38:06 +0000 (00:38 +0000)]
trying to fix call site transfer bug, fixed caused other problems, still working on it
yeom [Fri, 19 Mar 2010 23:46:23 +0000 (23:46 +0000)]
changes.
jjenista [Fri, 19 Mar 2010 22:25:44 +0000 (22:25 +0000)]
making debugging easier
jjenista [Fri, 19 Mar 2010 21:28:39 +0000 (21:28 +0000)]
make sure change sets ignore predicates hanging off reach states and alter reach set intersection to ignore predicates, and have a preference of taking preds from the first reach set argument so client algorithms can indicate preference
jjenista [Fri, 19 Mar 2010 19:21:10 +0000 (19:21 +0000)]
make sure straight union of reach states or reach sets is never done, reach tuples in states with same id should merge arity values, and reach states with same state but different preds should become one state with preds ORed
yeom [Fri, 19 Mar 2010 18:50:45 +0000 (18:50 +0000)]
changes.
yeom [Fri, 19 Mar 2010 00:51:39 +0000 (00:51 +0000)]
add interface.
jzhou [Thu, 18 Mar 2010 22:15:37 +0000 (22:15 +0000)]
bug fix in multicore Bamboo, TILERZ_LINUX mode now works for 56 cores
yeom [Thu, 18 Mar 2010 20:32:57 +0000 (20:32 +0000)]
a test.
jjenista [Thu, 18 Mar 2010 18:48:56 +0000 (18:48 +0000)]
couple of little bugs working in tandem to wreck reachability, looking much better now
adash [Thu, 18 Mar 2010 01:22:52 +0000 (01:22 +0000)]
added the new looup table for prefetch cache
updated gCollect as per the new prefetch cache
send trans disagree quickly and unlock the objects quickly
some bugs fixes that resulted from the dsm caching
adash [Thu, 18 Mar 2010 00:35:31 +0000 (00:35 +0000)]
get rid of "size" field, causes unnecessary aborts for FileSystem
jzhou [Thu, 18 Mar 2010 00:02:15 +0000 (00:02 +0000)]
BAMBOO TILERA_ZLINUX mode works with single-core version but still has problem with 56-core version