jjenista [Thu, 9 Oct 2008 21:58:36 +0000 (21:58 +0000)]
Added specific method call improvement test case for global sweep
jjenista [Wed, 8 Oct 2008 23:03:38 +0000 (23:03 +0000)]
Global sweep added
jjenista [Wed, 8 Oct 2008 18:30:48 +0000 (18:30 +0000)]
Committing a stable version of global sweep that works for simple strong updates, does not work correctly after some method calls
jjenista [Mon, 6 Oct 2008 23:54:38 +0000 (23:54 +0000)]
Added hooks for global sweep and made sure that strong update logic without effecting the actual strong update does not affect the final result. Next step is to do the strong update edge removal and implement global sweep after strong updates and all method calls.
jjenista [Fri, 3 Oct 2008 21:47:05 +0000 (21:47 +0000)]
Fixed a hack that was bugging me with a proper solution.
jzhou [Fri, 3 Oct 2008 19:16:15 +0000 (19:16 +0000)]
add profile codes for multicore version
jjenista [Thu, 2 Oct 2008 21:43:55 +0000 (21:43 +0000)]
Verified accuracy of results by manual inspection.
jjenista [Wed, 1 Oct 2008 22:25:57 +0000 (22:25 +0000)]
Fixed up another canonical misuse, changed wording of alias reporting to see the phrase 'no aliases' first, reran all benchmarks
jjenista [Wed, 1 Oct 2008 21:51:48 +0000 (21:51 +0000)]
Tighten up use of canonical objects and halt system if a canonical object's hashcode changes.
navid [Tue, 30 Sep 2008 21:06:59 +0000 (21:06 +0000)]
*** empty log message ***
navid [Mon, 29 Sep 2008 22:05:04 +0000 (22:05 +0000)]
*** empty log message ***
navid [Mon, 29 Sep 2008 21:35:02 +0000 (21:35 +0000)]
*** empty log message ***
navid [Mon, 29 Sep 2008 19:14:24 +0000 (19:14 +0000)]
*** empty log message ***
jjenista [Mon, 29 Sep 2008 18:43:31 +0000 (18:43 +0000)]
Introduced ZEROORMORE arity, something appears to be broken so another change is coming
jjenista [Thu, 25 Sep 2008 22:10:15 +0000 (22:10 +0000)]
Fix implementation to use little d when possible, and big D only if there's no other choice
jjenista [Wed, 24 Sep 2008 22:49:38 +0000 (22:49 +0000)]
Bug fix where two isolated heap regions with empty reachability sets have
a reference edge created between them. Actually, the reachability sets
arent' empty, they contain the empty token tuple set, but the edge that
gets created has the empty reachability set. Changed the field set method
to detect this and fill it in. This is not a good fix, find the reason
why it happens in the first place.
navid [Tue, 23 Sep 2008 20:13:56 +0000 (20:13 +0000)]
*** empty log message ***
navid [Tue, 23 Sep 2008 19:03:38 +0000 (19:03 +0000)]
*** empty log message ***
jjenista [Tue, 23 Sep 2008 00:42:02 +0000 (00:42 +0000)]
Reran analysis on benchmarks with newest updates
jjenista [Tue, 23 Sep 2008 00:06:13 +0000 (00:06 +0000)]
First bug fix is that the "unshadow" token conversion mistakenly transforms the oldest shadow token back into a shadow token.
Second bug fix is that callee nodes from an allocation site don't use the parameter rewrite rules (H) and similarly edges in the callee that are added to the caller don't use the J or K rewrite rules either. Those reachability sets should use their callee alpha() or beta() as the input "rules" to the rewrite method.
adash [Mon, 22 Sep 2008 22:10:02 +0000 (22:10 +0000)]
get rid of unnecessary recv_data , SUCCESSFUL/UNSUCESSFUL ctrl msg
add new debug info
jjenista [Mon, 22 Sep 2008 22:06:06 +0000 (22:06 +0000)]
rewriting of callee tokens into caller tokens was incorrect
navid [Fri, 19 Sep 2008 00:09:13 +0000 (00:09 +0000)]
*** empty log message ***
jjenista [Thu, 18 Sep 2008 22:02:16 +0000 (22:02 +0000)]
pull in class files that already exist in library
jjenista [Thu, 18 Sep 2008 21:18:55 +0000 (21:18 +0000)]
exhaustive arity improves for benchmarks with ad=1
jjenista [Thu, 18 Sep 2008 20:03:02 +0000 (20:03 +0000)]
test for immutable instead of primitive to decide if a field cannot create an alias
jjenista [Thu, 18 Sep 2008 20:01:54 +0000 (20:01 +0000)]
changed analysis to recognize strings as immutable, aliases in WebServerTag no longer reported
jjenista [Thu, 18 Sep 2008 19:57:18 +0000 (19:57 +0000)]
added a test for immutable
navid [Thu, 18 Sep 2008 18:46:22 +0000 (18:46 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 20:45:36 +0000 (20:45 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 20:45:30 +0000 (20:45 +0000)]
*** empty log message ***
jjenista [Wed, 17 Sep 2008 18:21:35 +0000 (18:21 +0000)]
helpful progress reporting
jjenista [Wed, 17 Sep 2008 18:18:38 +0000 (18:18 +0000)]
current results of ownership analysis on benchmarks
navid [Wed, 17 Sep 2008 18:13:04 +0000 (18:13 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 18:08:18 +0000 (18:08 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 17:51:18 +0000 (17:51 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 17:29:29 +0000 (17:29 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 03:35:35 +0000 (03:35 +0000)]
*** empty log message ***
navid [Wed, 17 Sep 2008 03:34:03 +0000 (03:34 +0000)]
*** empty log message ***
navid [Mon, 15 Sep 2008 23:27:28 +0000 (23:27 +0000)]
*** empty log message ***
navid [Mon, 15 Sep 2008 23:21:21 +0000 (23:21 +0000)]
*** empty log message ***
navid [Mon, 15 Sep 2008 21:51:20 +0000 (21:51 +0000)]
*** empty log message ***
navid [Mon, 15 Sep 2008 21:45:49 +0000 (21:45 +0000)]
*** empty log message ***
jjenista [Mon, 15 Sep 2008 20:33:27 +0000 (20:33 +0000)]
add toString for isavailable
navid [Fri, 12 Sep 2008 22:09:01 +0000 (22:09 +0000)]
*** empty log message ***
navid [Fri, 12 Sep 2008 21:58:55 +0000 (21:58 +0000)]
*** empty log message ***
navid [Fri, 12 Sep 2008 20:40:30 +0000 (20:40 +0000)]
*** empty log message ***
navid [Fri, 12 Sep 2008 19:49:29 +0000 (19:49 +0000)]
*** empty log message ***
jjenista [Fri, 12 Sep 2008 18:02:11 +0000 (18:02 +0000)]
makefile for compiling benchmarks with ownership analysis
navid [Fri, 12 Sep 2008 00:53:43 +0000 (00:53 +0000)]
*** empty log message ***
navid [Fri, 12 Sep 2008 00:50:35 +0000 (00:50 +0000)]
*** empty log message ***
jjenista [Thu, 11 Sep 2008 22:32:53 +0000 (22:32 +0000)]
Bug fix: when rewriting a token set every permutation with possible replacement tokens was overwriting, changed to keep all results in a set
jjenista [Thu, 11 Sep 2008 22:19:12 +0000 (22:19 +0000)]
make toString more readable
navid [Thu, 11 Sep 2008 22:14:14 +0000 (22:14 +0000)]
*** empty log message ***
navid [Thu, 11 Sep 2008 22:00:31 +0000 (22:00 +0000)]
*** empty log message ***
navid [Thu, 11 Sep 2008 21:53:32 +0000 (21:53 +0000)]
*** empty log message ***
navid [Thu, 11 Sep 2008 19:45:21 +0000 (19:45 +0000)]
*** empty log message ***
navid [Thu, 11 Sep 2008 06:42:53 +0000 (06:42 +0000)]
*** empty log message ***
jjenista [Tue, 9 Sep 2008 22:07:50 +0000 (22:07 +0000)]
improvements
jjenista [Tue, 9 Sep 2008 22:07:24 +0000 (22:07 +0000)]
big fix for tracking latest ownership graph associated with a flat node during a method analysis iteration
jjenista [Tue, 9 Sep 2008 20:33:32 +0000 (20:33 +0000)]
fix dumb bug in test case, add graphing option
jjenista [Tue, 9 Sep 2008 18:02:34 +0000 (18:02 +0000)]
capture some debugging code
jjenista [Tue, 9 Sep 2008 17:59:16 +0000 (17:59 +0000)]
uncommenting all tests
navid [Tue, 9 Sep 2008 04:31:06 +0000 (04:31 +0000)]
*** empty log message ***
navid [Tue, 9 Sep 2008 04:18:28 +0000 (04:18 +0000)]
*** empty log message ***
navid [Tue, 9 Sep 2008 03:21:13 +0000 (03:21 +0000)]
*** empty log message ***
bdemsky [Fri, 5 Sep 2008 23:09:55 +0000 (23:09 +0000)]
add navid to this cvs list also
bdemsky [Fri, 5 Sep 2008 23:06:49 +0000 (23:06 +0000)]
Transaction directory
jzhou [Fri, 5 Sep 2008 22:52:03 +0000 (22:52 +0000)]
optimize for performance
jjenista [Fri, 5 Sep 2008 17:33:23 +0000 (17:33 +0000)]
never needed this
jzhou [Fri, 5 Sep 2008 03:08:56 +0000 (03:08 +0000)]
changes
adash [Fri, 5 Sep 2008 01:36:19 +0000 (01:36 +0000)]
New files added
adash [Fri, 5 Sep 2008 01:35:16 +0000 (01:35 +0000)]
Changes to runtime for read/write lock implementation
and modifying benchmark for dw-10 with dw-14
bdemsky [Fri, 5 Sep 2008 01:13:27 +0000 (01:13 +0000)]
revert jim's changes
jzhou [Thu, 4 Sep 2008 20:14:41 +0000 (20:14 +0000)]
changes
jzhou [Thu, 4 Sep 2008 19:46:38 +0000 (19:46 +0000)]
minor changes
jjenista [Thu, 4 Sep 2008 18:17:45 +0000 (18:17 +0000)]
add allocation depth to alias output file
bdemsky [Thu, 4 Sep 2008 07:10:56 +0000 (07:10 +0000)]
nasty bug
jzhou [Thu, 4 Sep 2008 01:01:13 +0000 (01:01 +0000)]
make pacmen be able to resurrect
jjenista [Wed, 3 Sep 2008 23:44:37 +0000 (23:44 +0000)]
added ownership options
bdemsky [Wed, 3 Sep 2008 23:13:33 +0000 (23:13 +0000)]
make tabbing changes
jjenista [Wed, 3 Sep 2008 23:05:11 +0000 (23:05 +0000)]
forgot to make tabbing
jjenista [Wed, 3 Sep 2008 23:03:53 +0000 (23:03 +0000)]
minor bug fixes and support for matching classes to super class when mapping edges into callers
bdemsky [Wed, 3 Sep 2008 18:38:14 +0000 (18:38 +0000)]
change
jzhou [Wed, 3 Sep 2008 18:06:14 +0000 (18:06 +0000)]
changes
bdemsky [Wed, 3 Sep 2008 06:18:09 +0000 (06:18 +0000)]
optimizations to checkpointing
bdemsky [Wed, 3 Sep 2008 04:39:15 +0000 (04:39 +0000)]
change
bdemsky [Wed, 3 Sep 2008 04:16:25 +0000 (04:16 +0000)]
changes
jzhou [Wed, 3 Sep 2008 04:01:21 +0000 (04:01 +0000)]
changes
jzhou [Wed, 3 Sep 2008 03:47:37 +0000 (03:47 +0000)]
changes
bdemsky [Wed, 3 Sep 2008 03:12:08 +0000 (03:12 +0000)]
change
bdemsky [Wed, 3 Sep 2008 02:39:56 +0000 (02:39 +0000)]
changes
bdemsky [Wed, 3 Sep 2008 02:32:59 +0000 (02:32 +0000)]
new hash table
jzhou [Wed, 3 Sep 2008 01:47:03 +0000 (01:47 +0000)]
use more sophiscated strategy for character moving
jzhou [Wed, 3 Sep 2008 00:55:37 +0000 (00:55 +0000)]
use more sophiscated strategy for character moving
jjenista [Tue, 2 Sep 2008 21:05:31 +0000 (21:05 +0000)]
only analyze flat method node to allocate parameter heap regions one time globally
jjenista [Tue, 2 Sep 2008 21:04:59 +0000 (21:04 +0000)]
make tabbing
jjenista [Tue, 2 Sep 2008 18:25:20 +0000 (18:25 +0000)]
been forgetting to make tabbing
jzhou [Tue, 2 Sep 2008 03:57:29 +0000 (03:57 +0000)]
add new benchmark MMG for Bristlecone
jjenista [Mon, 1 Sep 2008 21:13:56 +0000 (21:13 +0000)]
Changed the top-level procedure for resolving a method call. When virtual
dispatch is possible, instead of merging together every potential callee
and then applying that result to the working graph, find the result of
applying each callee to a copy of the working graph, and merge all of those
results together. This procedure is correct.
projects / IRC.git / log