IRC.git
14 years agochanges for single threaded Java version of Spider
adash [Tue, 13 Apr 2010 01:43:45 +0000 (01:43 +0000)]
changes for single threaded Java version of Spider

14 years agomy changes
adash [Tue, 13 Apr 2010 01:40:18 +0000 (01:40 +0000)]
my changes

14 years agochanges
adash [Tue, 13 Apr 2010 01:35:32 +0000 (01:35 +0000)]
changes

14 years agochanges for running recovery version
adash [Tue, 13 Apr 2010 01:31:41 +0000 (01:31 +0000)]
changes for running recovery version

14 years agoannoying bug fixed; works well with current recovery system
adash [Tue, 13 Apr 2010 01:26:19 +0000 (01:26 +0000)]
annoying bug fixed; works well with current recovery system

14 years agotranslists
jihoonl [Tue, 13 Apr 2010 00:21:54 +0000 (00:21 +0000)]
translists

14 years agoadjustments to stack-based method scheduling, debug controls, a micro benchmark,...
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

14 years agoCore of Sudoku Puzzler is ported without input error detection (no try/catch statemen...
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.

14 years agoAdded input file support; user must put the file location as first argument when...
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

14 years agoModified my core code to be able to compile under "make single"
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.

14 years agoPorted over commonly used operations in ArrayList.java from the Java library --Stephen
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

14 years agofix some bugs in Bamboo
jzhou [Sat, 10 Apr 2010 01:01:03 +0000 (01:01 +0000)]
fix some bugs in Bamboo

14 years agofix in generating dynamic variable type.
yeom [Fri, 9 Apr 2010 20:42:27 +0000 (20:42 +0000)]
fix in generating dynamic variable type.

14 years agotrying to isolate a bug from MapReduceTag in a miniature version here
jjenista [Fri, 9 Apr 2010 20:15:37 +0000 (20:15 +0000)]
trying to isolate a bug from MapReduceTag in a miniature version here

14 years agoan example program using StringTokenizer
jjenista [Fri, 9 Apr 2010 20:06:44 +0000 (20:06 +0000)]
an example program using StringTokenizer

14 years agofixes in handling unresolved pointer.
yeom [Fri, 9 Apr 2010 17:57:58 +0000 (17:57 +0000)]
fixes in handling unresolved pointer.

14 years agoset temp descriptor for a waiting element.
yeom [Fri, 9 Apr 2010 17:56:36 +0000 (17:56 +0000)]
set temp descriptor for a waiting element.

14 years agotransaction clearing done.
jihoonl [Thu, 8 Apr 2010 06:10:16 +0000 (06:10 +0000)]
transaction clearing done.

need to test with more benchmarks

14 years agonew getstatus method
bdemsky [Thu, 8 Apr 2010 00:45:09 +0000 (00:45 +0000)]
new getstatus method

14 years agonew files
bdemsky [Thu, 8 Apr 2010 00:44:43 +0000 (00:44 +0000)]
new files

14 years agorewrite
bdemsky [Thu, 8 Apr 2010 00:44:32 +0000 (00:44 +0000)]
rewrite

14 years agodeterministic mode works
jjenista [Wed, 7 Apr 2010 22:53:39 +0000 (22:53 +0000)]
deterministic mode works

14 years agoadded compiler option to desire determinism, it currently has little effect on determ...
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

14 years agoone sharing discrepancy resolved
jjenista [Wed, 7 Apr 2010 18:12:20 +0000 (18:12 +0000)]
one sharing discrepancy resolved

14 years agojust improved some output
jjenista [Wed, 7 Apr 2010 18:11:32 +0000 (18:11 +0000)]
just improved some output

14 years agotwo phase recovery
jihoonl [Wed, 7 Apr 2010 00:55:20 +0000 (00:55 +0000)]
two phase recovery

14 years agoFirst test case
tmduong [Tue, 6 Apr 2010 21:08:28 +0000 (21:08 +0000)]
First test case

14 years agochanges to automate old and new analysis benchmark suites, want tabular output to...
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

14 years agoresults show all visit methods roughly equal now, still sharing difference for MapRed...
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

14 years agoraw results from overnight test
jjenista [Tue, 6 Apr 2010 16:07:45 +0000 (16:07 +0000)]
raw results from overnight test

14 years agobug fixes for handling unresolved pointer.
yeom [Tue, 6 Apr 2010 02:38:21 +0000 (02:38 +0000)]
bug fixes for handling unresolved pointer.

14 years agobug fix.
yeom [Tue, 6 Apr 2010 02:24:26 +0000 (02:24 +0000)]
bug fix.

14 years agochanges for handling unresolved in-var pointer.
yeom [Tue, 6 Apr 2010 02:11:40 +0000 (02:11 +0000)]
changes for handling unresolved in-var pointer.

14 years agorecoveryflag is modified
jihoonl [Tue, 6 Apr 2010 00:40:34 +0000 (00:40 +0000)]
recoveryflag is modified

14 years agoobjects with bamboo-parameter flags got dropped from analysis by accident
jjenista [Mon, 5 Apr 2010 23:12:50 +0000 (23:12 +0000)]
objects with bamboo-parameter flags got dropped from analysis by accident

14 years agoimplemented stack method visit but with callees on top, something crazy is happening...
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...

14 years agoMoved Prime Program into its own folder
stephey [Mon, 5 Apr 2010 18:27:05 +0000 (18:27 +0000)]
Moved Prime Program into its own folder

14 years agoMoved Primes into its own folder
stephey [Mon, 5 Apr 2010 18:24:48 +0000 (18:24 +0000)]
Moved Primes into its own folder

14 years agoUpdated Test.java; it now achieves a speed-up of 8x on dc-11
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

14 years agobring last changes for proper handling 64bit before more changes are made.
yeom [Mon, 5 Apr 2010 18:08:46 +0000 (18:08 +0000)]
bring last changes for proper handling 64bit before more changes are made.

14 years agoUpdated Test.java to working condition (parallelized)
stephey [Mon, 5 Apr 2010 17:51:58 +0000 (17:51 +0000)]
Updated Test.java to working condition (parallelized)

14 years agobacked up working serial program and original program (that did not compile)
stephey [Sat, 3 Apr 2010 08:42:56 +0000 (08:42 +0000)]
backed up working serial program and original program (that did not compile)

14 years agopaxos in separate file.
jihoonl [Sat, 3 Apr 2010 07:18:55 +0000 (07:18 +0000)]
paxos in separate file.

still problem in transaction clearing

14 years agoRenamed test.java to Test.java and updated makefile accordingly. Done to keep javac...
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

14 years agorenamed test.java to Test.java and changed the makefile accordingly to stop javac...
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

14 years agoUpdated to working non-parallelized version for Test.c
stephey [Sat, 3 Apr 2010 01:04:04 +0000 (01:04 +0000)]
Updated to working non-parallelized version for Test.c

14 years agobug fixes for unflagged heap regions becoming flagged
jjenista [Fri, 2 Apr 2010 22:28:51 +0000 (22:28 +0000)]
bug fixes for unflagged heap regions becoming flagged

14 years agoworking on bugs, sharing file output updates
jjenista [Fri, 2 Apr 2010 22:02:31 +0000 (22:02 +0000)]
working on bugs, sharing file output updates

14 years agoStephen's intro application added (not yet done)
stephey [Fri, 2 Apr 2010 19:16:20 +0000 (19:16 +0000)]
Stephen's intro application added (not yet done)

14 years agoA test update
stephey [Fri, 2 Apr 2010 18:54:38 +0000 (18:54 +0000)]
A test update

14 years agoThis is Stephen's test program
stephey [Fri, 2 Apr 2010 18:48:23 +0000 (18:48 +0000)]
This is Stephen's test program

14 years agobug fixes for generating empty graph.
yeom [Fri, 2 Apr 2010 00:37:37 +0000 (00:37 +0000)]
bug fixes for generating empty graph.

14 years agostill fixing
jihoonl [Thu, 1 Apr 2010 05:38:34 +0000 (05:38 +0000)]
still fixing

14 years agostill have racing condition..
jihoonl [Thu, 1 Apr 2010 01:55:31 +0000 (01:55 +0000)]
still have racing condition..

14 years agofixes for memory effects analysis.
yeom [Wed, 31 Mar 2010 23:45:11 +0000 (23:45 +0000)]
fixes for memory effects analysis.

14 years agoenforce strict monotonicity for initial method contexts and back edges as defined...
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...

14 years agoturn strong updates back on from yesterday testing, add a non-terminating example...
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

14 years agoa test that shows our analysis doesn't always terminate
jjenista [Tue, 30 Mar 2010 21:39:53 +0000 (21:39 +0000)]
a test that shows our analysis doesn't always terminate

14 years agowhy was this missing--latent bug
jjenista [Tue, 30 Mar 2010 21:39:33 +0000 (21:39 +0000)]
why was this missing--latent bug

14 years agobug fixes, make stack/Q method-visiting a cmd line arg, some code for debugging monot...
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

14 years agoall changes for official testing
jjenista [Fri, 26 Mar 2010 20:09:16 +0000 (20:09 +0000)]
all changes for official testing

14 years agocollect last night's changes
jjenista [Fri, 26 Mar 2010 15:56:27 +0000 (15:56 +0000)]
collect last night's changes

14 years agostack implementation...may expose bugs
bdemsky [Fri, 26 Mar 2010 05:40:53 +0000 (05:40 +0000)]
stack implementation...may expose bugs

14 years agobug fix
bdemsky [Fri, 26 Mar 2010 05:34:56 +0000 (05:34 +0000)]
bug fix

14 years agobug fix
bdemsky [Fri, 26 Mar 2010 05:15:28 +0000 (05:15 +0000)]
bug fix

14 years agocurrent version of benchmark lists and run modes
jjenista [Fri, 26 Mar 2010 01:08:14 +0000 (01:08 +0000)]
current version of benchmark lists and run modes

14 years agoadd power bench.
yeom [Thu, 25 Mar 2010 23:15:35 +0000 (23:15 +0000)]
add power bench.

14 years agoadd annoated kmeans
yeom [Thu, 25 Mar 2010 22:55:53 +0000 (22:55 +0000)]
add annoated kmeans

14 years agochanges.
yeom [Thu, 25 Mar 2010 22:55:15 +0000 (22:55 +0000)]
changes.

14 years agoa helpful makefile to run for the record
jjenista [Thu, 25 Mar 2010 22:54:43 +0000 (22:54 +0000)]
a helpful makefile to run for the record

14 years agoadd annotated raytracer
yeom [Thu, 25 Mar 2010 22:42:03 +0000 (22:42 +0000)]
add annotated raytracer

14 years agobug fixes and optimizations
bdemsky [Thu, 25 Mar 2010 22:15:29 +0000 (22:15 +0000)]
bug fixes and optimizations

14 years agonew Canonical hash and equals, also running with assertions disabled, barely improved
jjenista [Thu, 25 Mar 2010 21:56:13 +0000 (21:56 +0000)]
new Canonical hash and equals, also running with assertions disabled, barely improved

14 years agofixing the heap region descriptions not a pressing issue...
jjenista [Thu, 25 Mar 2010 21:03:06 +0000 (21:03 +0000)]
fixing the heap region descriptions not a pressing issue...

14 years agomakefile for checking final results
jjenista [Thu, 25 Mar 2010 20:15:40 +0000 (20:15 +0000)]
makefile for checking final results

14 years agobug fixes for task initial heaps and making all new edges have true predicates attach...
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

14 years agoprint preds stacked for DOT
jjenista [Thu, 25 Mar 2010 20:12:18 +0000 (20:12 +0000)]
print preds stacked for DOT

14 years agobug fixes
yeom [Thu, 25 Mar 2010 19:46:59 +0000 (19:46 +0000)]
bug fixes

14 years agoAdd BAMBOOCOMPILETIME flag into the state class. When this flag is set, only excute...
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

14 years agolittle optimization to allow it to quickly recompute methods it already has informati...
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

14 years agocode for Jim to use once he gets everything working...
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

14 years agochanges for proper handling multi-dimensional array of task parameter.
yeom [Thu, 25 Mar 2010 03:30:48 +0000 (03:30 +0000)]
changes for proper handling multi-dimensional array of task parameter.

14 years agobug fixes
jjenista [Thu, 25 Mar 2010 01:26:34 +0000 (01:26 +0000)]
bug fixes

14 years agobug fix in evaluating the various classes of out-of-context predicates
jjenista [Wed, 24 Mar 2010 22:18:52 +0000 (22:18 +0000)]
bug fix in evaluating the various classes of out-of-context predicates

14 years agoimproved debug graph capture
jjenista [Wed, 24 Mar 2010 22:18:13 +0000 (22:18 +0000)]
improved debug graph capture

14 years agojust giving the task a name different from the Lambda class's method
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

14 years agobug fixes, display improvements, sharing query changes, still losing preds during...
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...

14 years agochanges for a better strategy of clearing memory.
yeom [Tue, 23 Mar 2010 23:21:20 +0000 (23:21 +0000)]
changes for a better strategy of clearing memory.

14 years agobug fix for primitive parameters, made a simple method for encapsulating the primitiv...
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

14 years agolittle bug fixes, adjusted code for detecting sharing, use the reverse topological...
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

14 years agofix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of...
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

14 years agolittle bug in final reporting
jjenista [Mon, 22 Mar 2010 18:30:08 +0000 (18:30 +0000)]
little bug in final reporting

14 years agobug fixes: if an out-of-context edge in callee has no matching desitination, obviousl...
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

14 years agowow, this bug has been latent for a long time, easy fix
jjenista [Mon, 22 Mar 2010 17:41:36 +0000 (17:41 +0000)]
wow, this bug has been latent for a long time, easy fix

14 years agoadd two out-of-context properties to equals and hashcode
jjenista [Mon, 22 Mar 2010 17:13:08 +0000 (17:13 +0000)]
add two out-of-context properties to equals and hashcode

14 years agomakefile for new analysis version for benchmarks
jjenista [Mon, 22 Mar 2010 03:56:52 +0000 (03:56 +0000)]
makefile for new analysis version for benchmarks

14 years agocouple fixes to make sure out-of-context nodes get all the states they need, and...
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

14 years agofixed problem by differentiating between an element that is out of the callee context...
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

14 years agotrying to fix call site transfer bug, fixed caused other problems, still working...
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

14 years agochanges.
yeom [Fri, 19 Mar 2010 23:46:23 +0000 (23:46 +0000)]
changes.