IRC.git
15 years agoReran analysis on benchmarks with newest updates
jjenista [Tue, 23 Sep 2008 00:42:02 +0000 (00:42 +0000)]
Reran analysis on benchmarks with newest updates

15 years agoFirst bug fix is that the "unshadow" token conversion mistakenly transforms the oldes...
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.

15 years agoget rid of unnecessary recv_data , SUCCESSFUL/UNSUCESSFUL ctrl msg
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

15 years agorewriting of callee tokens into caller tokens was incorrect
jjenista [Mon, 22 Sep 2008 22:06:06 +0000 (22:06 +0000)]
rewriting of callee tokens into caller tokens was incorrect

15 years ago*** empty log message ***
navid [Fri, 19 Sep 2008 00:09:13 +0000 (00:09 +0000)]
*** empty log message ***

15 years agopull in class files that already exist in library
jjenista [Thu, 18 Sep 2008 22:02:16 +0000 (22:02 +0000)]
pull in class files that already exist in library

15 years agoexhaustive arity improves for benchmarks with ad=1
jjenista [Thu, 18 Sep 2008 21:18:55 +0000 (21:18 +0000)]
exhaustive arity improves for benchmarks with ad=1

15 years agotest for immutable instead of primitive to decide if a field cannot create an alias
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

15 years agochanged analysis to recognize strings as immutable, aliases in WebServerTag no longer...
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

15 years agoadded a test for immutable
jjenista [Thu, 18 Sep 2008 19:57:18 +0000 (19:57 +0000)]
added a test for immutable

15 years ago*** empty log message ***
navid [Thu, 18 Sep 2008 18:46:22 +0000 (18:46 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 20:45:36 +0000 (20:45 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 20:45:30 +0000 (20:45 +0000)]
*** empty log message ***

15 years agohelpful progress reporting
jjenista [Wed, 17 Sep 2008 18:21:35 +0000 (18:21 +0000)]
helpful progress reporting

15 years agocurrent results of ownership analysis on benchmarks
jjenista [Wed, 17 Sep 2008 18:18:38 +0000 (18:18 +0000)]
current results of ownership analysis on benchmarks

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 18:13:04 +0000 (18:13 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 18:08:18 +0000 (18:08 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 17:51:18 +0000 (17:51 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 17:29:29 +0000 (17:29 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 03:35:35 +0000 (03:35 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Wed, 17 Sep 2008 03:34:03 +0000 (03:34 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Mon, 15 Sep 2008 23:27:28 +0000 (23:27 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Mon, 15 Sep 2008 23:21:21 +0000 (23:21 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Mon, 15 Sep 2008 21:51:20 +0000 (21:51 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Mon, 15 Sep 2008 21:45:49 +0000 (21:45 +0000)]
*** empty log message ***

15 years agoadd toString for isavailable
jjenista [Mon, 15 Sep 2008 20:33:27 +0000 (20:33 +0000)]
add toString for isavailable

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 22:09:01 +0000 (22:09 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 21:58:55 +0000 (21:58 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 20:40:30 +0000 (20:40 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 19:49:29 +0000 (19:49 +0000)]
*** empty log message ***

15 years agomakefile for compiling benchmarks with ownership analysis
jjenista [Fri, 12 Sep 2008 18:02:11 +0000 (18:02 +0000)]
makefile for compiling benchmarks with ownership analysis

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 00:53:43 +0000 (00:53 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Fri, 12 Sep 2008 00:50:35 +0000 (00:50 +0000)]
*** empty log message ***

15 years agoBug fix: when rewriting a token set every permutation with possible replacement token...
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

15 years agomake toString more readable
jjenista [Thu, 11 Sep 2008 22:19:12 +0000 (22:19 +0000)]
make toString more readable

15 years ago*** empty log message ***
navid [Thu, 11 Sep 2008 22:14:14 +0000 (22:14 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Thu, 11 Sep 2008 22:00:31 +0000 (22:00 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Thu, 11 Sep 2008 21:53:32 +0000 (21:53 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Thu, 11 Sep 2008 19:45:21 +0000 (19:45 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Thu, 11 Sep 2008 06:42:53 +0000 (06:42 +0000)]
*** empty log message ***

15 years agoimprovements
jjenista [Tue, 9 Sep 2008 22:07:50 +0000 (22:07 +0000)]
improvements

15 years agobig fix for tracking latest ownership graph associated with a flat node during a...
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

15 years agofix dumb bug in test case, add graphing option
jjenista [Tue, 9 Sep 2008 20:33:32 +0000 (20:33 +0000)]
fix dumb bug in test case, add graphing option

15 years agocapture some debugging code
jjenista [Tue, 9 Sep 2008 18:02:34 +0000 (18:02 +0000)]
capture some debugging code

15 years agouncommenting all tests
jjenista [Tue, 9 Sep 2008 17:59:16 +0000 (17:59 +0000)]
uncommenting all tests

15 years ago*** empty log message ***
navid [Tue, 9 Sep 2008 04:31:06 +0000 (04:31 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Tue, 9 Sep 2008 04:18:28 +0000 (04:18 +0000)]
*** empty log message ***

15 years ago*** empty log message ***
navid [Tue, 9 Sep 2008 03:21:13 +0000 (03:21 +0000)]
*** empty log message ***

15 years agoadd navid to this cvs list also
bdemsky [Fri, 5 Sep 2008 23:09:55 +0000 (23:09 +0000)]
add navid to this cvs list also

15 years agoTransaction directory
bdemsky [Fri, 5 Sep 2008 23:06:49 +0000 (23:06 +0000)]
Transaction directory

15 years agooptimize for performance
jzhou [Fri, 5 Sep 2008 22:52:03 +0000 (22:52 +0000)]
optimize for performance

15 years agonever needed this
jjenista [Fri, 5 Sep 2008 17:33:23 +0000 (17:33 +0000)]
never needed this

15 years agochanges
jzhou [Fri, 5 Sep 2008 03:08:56 +0000 (03:08 +0000)]
changes

15 years agoNew files added
adash [Fri, 5 Sep 2008 01:36:19 +0000 (01:36 +0000)]
New files added

15 years agoChanges to runtime for read/write lock implementation
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

15 years agorevert jim's changes
bdemsky [Fri, 5 Sep 2008 01:13:27 +0000 (01:13 +0000)]
revert jim's changes

15 years agochanges
jzhou [Thu, 4 Sep 2008 20:14:41 +0000 (20:14 +0000)]
changes

15 years agominor changes
jzhou [Thu, 4 Sep 2008 19:46:38 +0000 (19:46 +0000)]
minor changes

15 years agoadd allocation depth to alias output file
jjenista [Thu, 4 Sep 2008 18:17:45 +0000 (18:17 +0000)]
add allocation depth to alias output file

15 years agonasty bug
bdemsky [Thu, 4 Sep 2008 07:10:56 +0000 (07:10 +0000)]
nasty bug

15 years agomake pacmen be able to resurrect
jzhou [Thu, 4 Sep 2008 01:01:13 +0000 (01:01 +0000)]
make pacmen be able to resurrect

15 years agoadded ownership options
jjenista [Wed, 3 Sep 2008 23:44:37 +0000 (23:44 +0000)]
added ownership options

15 years agomake tabbing changes
bdemsky [Wed, 3 Sep 2008 23:13:33 +0000 (23:13 +0000)]
make tabbing changes

15 years agoforgot to make tabbing
jjenista [Wed, 3 Sep 2008 23:05:11 +0000 (23:05 +0000)]
forgot to make tabbing

15 years agominor bug fixes and support for matching classes to super class when mapping edges...
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

15 years agochange
bdemsky [Wed, 3 Sep 2008 18:38:14 +0000 (18:38 +0000)]
change

15 years agochanges
jzhou [Wed, 3 Sep 2008 18:06:14 +0000 (18:06 +0000)]
changes

15 years agooptimizations to checkpointing
bdemsky [Wed, 3 Sep 2008 06:18:09 +0000 (06:18 +0000)]
optimizations to checkpointing

15 years agochange
bdemsky [Wed, 3 Sep 2008 04:39:15 +0000 (04:39 +0000)]
change

15 years agochanges
bdemsky [Wed, 3 Sep 2008 04:16:25 +0000 (04:16 +0000)]
changes

15 years agochanges
jzhou [Wed, 3 Sep 2008 04:01:21 +0000 (04:01 +0000)]
changes

15 years agochanges
jzhou [Wed, 3 Sep 2008 03:47:37 +0000 (03:47 +0000)]
changes

15 years agochange
bdemsky [Wed, 3 Sep 2008 03:12:08 +0000 (03:12 +0000)]
change

15 years agochanges
bdemsky [Wed, 3 Sep 2008 02:39:56 +0000 (02:39 +0000)]
changes

15 years agonew hash table
bdemsky [Wed, 3 Sep 2008 02:32:59 +0000 (02:32 +0000)]
new hash table

15 years agouse more sophiscated strategy for character moving
jzhou [Wed, 3 Sep 2008 01:47:03 +0000 (01:47 +0000)]
use more sophiscated strategy for character moving

15 years agouse 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

15 years agoonly analyze flat method node to allocate parameter heap regions one time globally
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

15 years agomake tabbing
jjenista [Tue, 2 Sep 2008 21:04:59 +0000 (21:04 +0000)]
make tabbing

15 years agobeen forgetting to make tabbing
jjenista [Tue, 2 Sep 2008 18:25:20 +0000 (18:25 +0000)]
been forgetting to make tabbing

15 years agoadd new benchmark MMG for Bristlecone
jzhou [Tue, 2 Sep 2008 03:57:29 +0000 (03:57 +0000)]
add new benchmark MMG for Bristlecone

15 years agoChanged the top-level procedure for resolving a method call. When virtual
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.

15 years agoprevent infinite recursion for cycle of callers
jjenista [Mon, 1 Sep 2008 21:11:43 +0000 (21:11 +0000)]
prevent infinite recursion for cycle of callers

15 years agoPut the rest of the top-level interface together
jjenista [Sat, 30 Aug 2008 17:50:44 +0000 (17:50 +0000)]
Put the rest of the top-level interface together

15 years agoalias query for param to alloc site
jjenista [Sat, 30 Aug 2008 00:30:17 +0000 (00:30 +0000)]
alias query for param to alloc site

15 years agostep toward repairing top-level alias query interface
jjenista [Sat, 30 Aug 2008 00:03:57 +0000 (00:03 +0000)]
step toward repairing top-level alias query interface

15 years agoPrune edges by field name and type when mapping from callee to caller
jjenista [Fri, 29 Aug 2008 23:24:00 +0000 (23:24 +0000)]
Prune edges by field name and type when mapping from callee to caller

15 years agoadded support for array element nodes
jjenista [Fri, 29 Aug 2008 21:54:02 +0000 (21:54 +0000)]
added support for array element nodes

15 years agoadded equals() and hashCode() methods
jjenista [Fri, 29 Aug 2008 21:53:38 +0000 (21:53 +0000)]
added equals() and hashCode() methods

15 years agoupdate for methods and renaming of assignments for clarity bug fix
jjenista [Wed, 27 Aug 2008 23:34:41 +0000 (23:34 +0000)]
update for methods and renaming of assignments for clarity bug fix

15 years agowrite-to-graph changes
jjenista [Wed, 27 Aug 2008 19:07:20 +0000 (19:07 +0000)]
write-to-graph changes

15 years agobug fix: when calculating methods dependent on a new result, only include methods...
jjenista [Tue, 26 Aug 2008 22:46:56 +0000 (22:46 +0000)]
bug fix: when calculating methods dependent on a new result, only include methods identified as part of the current analysis

15 years agobug fix, alpha and beta for allocated callee nodes and new callee edges weren't broug...
jjenista [Mon, 25 Aug 2008 22:52:34 +0000 (22:52 +0000)]
bug fix, alpha and beta for allocated callee nodes and new callee edges weren't brought into caller correctly, and then also not committed

15 years agomethod call stably implemented as a first pass, results already show some incorrect...
jjenista [Mon, 25 Aug 2008 22:17:47 +0000 (22:17 +0000)]
method call stably implemented as a first pass, results already show some incorrect answers

15 years agofor method calls, all reachability sets brought into the caller need to have a callee...
jjenista [Mon, 25 Aug 2008 20:05:04 +0000 (20:05 +0000)]
for method calls, all reachability sets brought into the caller need to have a callee-allocation-tokens-to-shadow-tokens pass

15 years agomethod call first draft almost finished. Need to go back and make sure shadow nodes...
jjenista [Fri, 22 Aug 2008 23:30:50 +0000 (23:30 +0000)]
method call first draft almost finished.  Need to go back and make sure shadow nodes of allocation sites start with the same beta info as callee node, EXCEPT switching the tokens to the shadow versions.

Also need to implement pruning of new caller edges by field name and type.

Also need to implement "major age" that merges shadow nodes into the normal nodes of the allocation sites so the graph is back to normal capacity.

15 years agosteps 1-5 of method call algorithm implemented
jjenista [Fri, 22 Aug 2008 21:28:43 +0000 (21:28 +0000)]
steps 1-5 of method call algorithm implemented

15 years agoAdd microbenchmarks with script for analyzing our Prefetch and other results
adash [Fri, 22 Aug 2008 02:32:09 +0000 (02:32 +0000)]
Add microbenchmarks with script for analyzing our Prefetch and other results

15 years agouse unionUpArity in simple rewrite scenario also
jjenista [Thu, 21 Aug 2008 23:56:52 +0000 (23:56 +0000)]
use unionUpArity in simple rewrite scenario also

15 years agomore method call stuff, still partial
jjenista [Thu, 21 Aug 2008 23:51:40 +0000 (23:51 +0000)]
more method call stuff, still partial