IRC.git
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.

14 years agomaking debugging easier
jjenista [Fri, 19 Mar 2010 22:25:44 +0000 (22:25 +0000)]
making debugging easier

14 years agomake sure change sets ignore predicates hanging off reach states and alter reach...
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

14 years agomake sure straight union of reach states or reach sets is never done, reach tuples...
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

14 years agochanges.
yeom [Fri, 19 Mar 2010 18:50:45 +0000 (18:50 +0000)]
changes.

14 years agoadd interface.
yeom [Fri, 19 Mar 2010 00:51:39 +0000 (00:51 +0000)]
add interface.

14 years agobug fix in multicore Bamboo, TILERZ_LINUX mode now works for 56 cores
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

14 years agoa test.
yeom [Thu, 18 Mar 2010 20:32:57 +0000 (20:32 +0000)]
a test.

14 years agocouple of little bugs working in tandem to wreck reachability, looking much better now
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

14 years agoadded the new looup table for prefetch cache
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

14 years agoget rid of "size" field, causes unnecessary aborts for FileSystem
adash [Thu, 18 Mar 2010 00:35:31 +0000 (00:35 +0000)]
get rid of "size" field, causes unnecessary aborts for FileSystem

14 years agoBAMBOO TILERA_ZLINUX mode works with single-core version but still has problem with...
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

14 years agouse different graph writing options to better find reachability problems
jjenista [Wed, 17 Mar 2010 22:31:11 +0000 (22:31 +0000)]
use different graph writing options to better find reachability problems

14 years agoTILERA_ZLINUX mode for BAMBOO can be compiled now, but still has segmentation fault
jzhou [Wed, 17 Mar 2010 22:24:23 +0000 (22:24 +0000)]
TILERA_ZLINUX mode for BAMBOO can be compiled now, but still has segmentation fault

14 years agofixed issues with dot graph writing that make our debugging lives harder
jjenista [Wed, 17 Mar 2010 21:31:29 +0000 (21:31 +0000)]
fixed issues with dot graph writing that make our debugging lives harder

14 years agousing allocation sites in new ways exposed a latent bug
jjenista [Wed, 17 Mar 2010 20:47:34 +0000 (20:47 +0000)]
using allocation sites in new ways exposed a latent bug

14 years agoa test
yeom [Wed, 17 Mar 2010 18:51:07 +0000 (18:51 +0000)]
a test

14 years agochanges for proper handling field.
yeom [Wed, 17 Mar 2010 18:29:36 +0000 (18:29 +0000)]
changes for proper handling field.

14 years agowas accidentally dropping param var to node edges when constructing callee initial...
jjenista [Wed, 17 Mar 2010 18:27:58 +0000 (18:27 +0000)]
was accidentally dropping param var to node edges when constructing callee initial heaps

14 years agoworking on reach prop, pred bugs, basic tests still do not work, gotta squash more...
jjenista [Wed, 17 Mar 2010 15:01:14 +0000 (15:01 +0000)]
working on reach prop, pred bugs, basic tests still do not work, gotta squash more bugs

14 years agoreach propagation not working, getting null states...
jjenista [Wed, 17 Mar 2010 01:00:55 +0000 (01:00 +0000)]
reach propagation not working, getting null states...

14 years agocode clean: define TILERA_BME mode and TILERA_ZLINUX mode. TILERA_ZLINUX mode is...
jzhou [Wed, 17 Mar 2010 00:03:17 +0000 (00:03 +0000)]
code clean: define TILERA_BME mode and TILERA_ZLINUX mode.  TILERA_ZLINUX mode is not tested yet

14 years agoworking hard on reachability, bunch of changes, still isnt working right though
jjenista [Tue, 16 Mar 2010 22:44:07 +0000 (22:44 +0000)]
working hard on reachability, bunch of changes, still isnt working right though

14 years agobug fix.
yeom [Tue, 16 Mar 2010 21:17:15 +0000 (21:17 +0000)]
bug fix.

14 years agochanges for handling tasks.
yeom [Tue, 16 Mar 2010 17:58:28 +0000 (17:58 +0000)]
changes for handling tasks.

14 years agocheckin a crash fix so yonghun can run on benchmarks while I keep wokring on reachability
jjenista [Tue, 16 Mar 2010 17:12:43 +0000 (17:12 +0000)]
checkin a crash fix so yonghun can run on benchmarks while I keep wokring on reachability

14 years agoupdating the global sweep and some related code--this currently bombs, only update...
jjenista [Tue, 16 Mar 2010 00:32:31 +0000 (00:32 +0000)]
updating the global sweep and some related code--this currently bombs, only update if you must, it will compile though

14 years agohave to test predicates of callee states before admitting to caller, and calculate...
jjenista [Mon, 15 Mar 2010 22:15:27 +0000 (22:15 +0000)]
have to test predicates of callee states before admitting to caller, and calculate what predicate caller version will have

14 years agolots of untested code, but compiles, for attaching preds to reach states
jjenista [Mon, 15 Mar 2010 21:28:49 +0000 (21:28 +0000)]
lots of untested code, but compiles, for attaching preds to reach states

14 years agomost of the missing context-rewriting code
jjenista [Mon, 15 Mar 2010 19:55:17 +0000 (19:55 +0000)]
most of the missing context-rewriting code

14 years agoa start on reachability, not fully functioning yet
jjenista [Sat, 13 Mar 2010 18:16:13 +0000 (18:16 +0000)]
a start on reachability, not fully functioning yet

14 years agomore changes
adash [Sat, 13 Mar 2010 02:08:34 +0000 (02:08 +0000)]
more changes

14 years agochanges for optimizations
adash [Sat, 13 Mar 2010 01:59:42 +0000 (01:59 +0000)]
changes for optimizations

14 years agochanges
adash [Sat, 13 Mar 2010 01:58:40 +0000 (01:58 +0000)]
changes

14 years agoif an operation on canonical objects wants to use other canonical ops, it must supply...
jjenista [Fri, 12 Mar 2010 20:11:01 +0000 (20:11 +0000)]
if an operation on canonical objects wants to use other canonical ops, it must supply canonical arguments.  that said, if the operation is straightforward and the result isn't hashed, its okay to build the object from scratch and then canonicalize it at the end

14 years agoa test that shows reachabiltiy states are broken
jjenista [Fri, 12 Mar 2010 19:59:57 +0000 (19:59 +0000)]
a test that shows reachabiltiy states are broken

14 years agobunch of bug fixes, graphs appear to be working mechanically over call chains, still...
jjenista [Fri, 12 Mar 2010 19:16:06 +0000 (19:16 +0000)]
bunch of bug fixes, graphs appear to be working mechanically over call chains, still needs attention to reachability as symbols get rewritten over context boundaries

14 years agomaking a big change to call site transform to calculate out-of-context edges correctl...
jjenista [Fri, 12 Mar 2010 01:16:17 +0000 (01:16 +0000)]
making a big change to call site transform to calculate out-of-context edges correctly, but in current form BLEEDS ELEMENTS BETWEEN GRAPHS again, checking in this stable version though so I don't mess up the good stuff while trying to fix it