bdemsky [Sat, 17 Apr 2010 00:50:03 +0000 (00:50 +0000)]
my changes
bdemsky [Fri, 16 Apr 2010 19:11:27 +0000 (19:11 +0000)]
Add stephen to the CVS. Note that anyone can change these...
adash [Fri, 16 Apr 2010 00:24:20 +0000 (00:24 +0000)]
print stats in matrix multiply
adash [Fri, 16 Apr 2010 00:22:29 +0000 (00:22 +0000)]
print recovery stats
adash [Fri, 16 Apr 2010 00:21:42 +0000 (00:21 +0000)]
changes to Game benchmark
adash [Fri, 16 Apr 2010 00:19:58 +0000 (00:19 +0000)]
small change
adash [Fri, 16 Apr 2010 00:18:03 +0000 (00:18 +0000)]
grab locks on sockpool for all communications involving cache and prefetch
jzhou [Fri, 16 Apr 2010 00:04:34 +0000 (00:04 +0000)]
disable Timer interrupt and some bug fixing
jjenista [Thu, 15 Apr 2010 21:25:18 +0000 (21:25 +0000)]
bug fix, some callees were not being rescheduled because code to do it was conditional on caller having a new result since last visit
adash [Thu, 15 Apr 2010 18:01:05 +0000 (18:01 +0000)]
changes to the recovery script : enable killing of one machine using USR signal
jihoonl [Thu, 15 Apr 2010 03:20:06 +0000 (03:20 +0000)]
fixed
jjenista [Wed, 14 Apr 2010 20:13:30 +0000 (20:13 +0000)]
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
adash [Wed, 14 Apr 2010 18:33:11 +0000 (18:33 +0000)]
missed a line of code
adash [Wed, 14 Apr 2010 18:22:48 +0000 (18:22 +0000)]
comment debugs, add code for timing thr execution, machine id changes in main()
adash [Wed, 14 Apr 2010 18:17:41 +0000 (18:17 +0000)]
comment debug statements and add code for timing runs
jihoonl [Wed, 14 Apr 2010 16:00:48 +0000 (16:00 +0000)]
nothing.
jihoonl [Wed, 14 Apr 2010 15:59:34 +0000 (15:59 +0000)]
new matrix multiply
adash [Wed, 14 Apr 2010 00:59:27 +0000 (00:59 +0000)]
input file with all the benchmark arguments for the script
adash [Wed, 14 Apr 2010 00:57:00 +0000 (00:57 +0000)]
changes to enable n iterations of each launch
adash [Tue, 13 Apr 2010 01:56:34 +0000 (01:56 +0000)]
small change
adash [Tue, 13 Apr 2010 01:43:45 +0000 (01:43 +0000)]
changes for single threaded Java version of Spider
adash [Tue, 13 Apr 2010 01:40:18 +0000 (01:40 +0000)]
my changes
adash [Tue, 13 Apr 2010 01:35:32 +0000 (01:35 +0000)]
changes
adash [Tue, 13 Apr 2010 01:31:41 +0000 (01:31 +0000)]
changes for running recovery version
adash [Tue, 13 Apr 2010 01:26:19 +0000 (01:26 +0000)]
annoying bug fixed; works well with current recovery system
jihoonl [Tue, 13 Apr 2010 00:21:54 +0000 (00:21 +0000)]
translists
jjenista [Mon, 12 Apr 2010 22:46:02 +0000 (22:46 +0000)]
adjustments to stack-based method scheduling, debug controls, a micro benchmark, and interestingly with updated scheduling more benchmarks consistently exhibit the map reduce problem
stephey [Mon, 12 Apr 2010 17:56:46 +0000 (17:56 +0000)]
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.
stephey [Sat, 10 Apr 2010 07:26:56 +0000 (07:26 +0000)]
Added input file support; user must put the file location as first argument when calling ./test.bin
stephey [Sat, 10 Apr 2010 05:59:51 +0000 (05:59 +0000)]
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.
stephey [Sat, 10 Apr 2010 01:57:43 +0000 (01:57 +0000)]
Ported over commonly used operations in ArrayList.java from the Java library --Stephen
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