bdemsky [Tue, 7 Apr 2009 05:06:39 +0000 (05:06 +0000)]
fix loop bug
adash [Tue, 7 Apr 2009 02:21:56 +0000 (02:21 +0000)]
STM benchmark ported
problems compiling with flattenLoopNode error
bdemsky [Tue, 7 Apr 2009 01:17:04 +0000 (01:17 +0000)]
STM testcase works...plenty of bugs still
bdemsky [Mon, 6 Apr 2009 23:19:48 +0000 (23:19 +0000)]
number of changes
bdemsky [Mon, 6 Apr 2009 22:48:15 +0000 (22:48 +0000)]
closer to compiling
jjenista [Mon, 6 Apr 2009 21:49:54 +0000 (21:49 +0000)]
some commented out code transplanted from BuildFlat that will be the basis for this analysis as a separate pass
jjenista [Mon, 6 Apr 2009 21:48:08 +0000 (21:48 +0000)]
Move mlp and sese stuff into a separate compiler pass
jjenista [Mon, 6 Apr 2009 21:41:31 +0000 (21:41 +0000)]
use a clearer sese name when viewed in built code and other print outs
bdemsky [Mon, 6 Apr 2009 20:37:24 +0000 (20:37 +0000)]
mistake
bdemsky [Mon, 6 Apr 2009 20:35:53 +0000 (20:35 +0000)]
get rid of compile errors
bdemsky [Mon, 6 Apr 2009 19:59:01 +0000 (19:59 +0000)]
oops
bdemsky [Mon, 6 Apr 2009 19:57:23 +0000 (19:57 +0000)]
get rid of error message about needtocollect
adash [Mon, 6 Apr 2009 18:36:19 +0000 (18:36 +0000)]
more changes (get rid of getnewOID and use TRANSREAD macro)
bdemsky [Mon, 6 Apr 2009 17:42:07 +0000 (17:42 +0000)]
another idea
bdemsky [Mon, 6 Apr 2009 07:00:30 +0000 (07:00 +0000)]
STM versions
bdemsky [Mon, 6 Apr 2009 06:58:59 +0000 (06:58 +0000)]
get compiler side of STM working
bdemsky [Sun, 5 Apr 2009 04:52:04 +0000 (04:52 +0000)]
new write barrier class
fixed many bugs
adash [Fri, 3 Apr 2009 22:29:03 +0000 (22:29 +0000)]
added options for STM
adash [Fri, 3 Apr 2009 22:28:10 +0000 (22:28 +0000)]
new files for STM
bdemsky [Fri, 3 Apr 2009 22:15:38 +0000 (22:15 +0000)]
changes
adash [Fri, 3 Apr 2009 22:08:28 +0000 (22:08 +0000)]
small changes to buildscript to add runtime check for STM
adash [Fri, 3 Apr 2009 22:06:15 +0000 (22:06 +0000)]
test file for STM
bdemsky [Fri, 3 Apr 2009 20:40:20 +0000 (20:40 +0000)]
support for STM
bdemsky [Fri, 3 Apr 2009 20:19:37 +0000 (20:19 +0000)]
state change
bdemsky [Fri, 3 Apr 2009 20:14:38 +0000 (20:14 +0000)]
updates
bdemsky [Fri, 3 Apr 2009 19:54:21 +0000 (19:54 +0000)]
code
bdemsky [Fri, 3 Apr 2009 09:16:14 +0000 (09:16 +0000)]
new makefile changes
bdemsky [Fri, 3 Apr 2009 09:15:15 +0000 (09:15 +0000)]
changes
bdemsky [Fri, 3 Apr 2009 09:06:12 +0000 (09:06 +0000)]
lots of bugs
jjenista [Thu, 2 Apr 2009 21:05:13 +0000 (21:05 +0000)]
loop doesn't work, function calls don't work
jjenista [Thu, 2 Apr 2009 20:53:54 +0000 (20:53 +0000)]
a setjmp implementation of single-threaded mlp API
bdemsky [Thu, 2 Apr 2009 06:32:55 +0000 (06:32 +0000)]
a whole bunch of optimizations...should be useful for transactions
adash [Wed, 1 Apr 2009 21:25:33 +0000 (21:25 +0000)]
add new option -singleTM for committing transactions on a single machine
jjenista [Tue, 31 Mar 2009 20:56:27 +0000 (20:56 +0000)]
Added mlp runtime skeleton, flags to build it, syntax option to name sese blocks
jjenista [Mon, 30 Mar 2009 21:58:07 +0000 (21:58 +0000)]
a new tiny test and better SESE node printing
bdemsky [Mon, 30 Mar 2009 18:52:17 +0000 (18:52 +0000)]
changes
bdemsky [Fri, 27 Mar 2009 09:02:25 +0000 (09:02 +0000)]
loop analysis stuff
bdemsky [Fri, 27 Mar 2009 01:32:11 +0000 (01:32 +0000)]
DefUse analysis
bdemsky [Fri, 27 Mar 2009 00:59:36 +0000 (00:59 +0000)]
changes
bdemsky [Fri, 27 Mar 2009 00:26:40 +0000 (00:26 +0000)]
hack loop optimizations
jjenista [Tue, 24 Mar 2009 06:43:47 +0000 (06:43 +0000)]
new benchmark results
jjenista [Tue, 24 Mar 2009 06:03:25 +0000 (06:03 +0000)]
keep alpha source states during node propagation
bdemsky [Tue, 24 Mar 2009 06:01:55 +0000 (06:01 +0000)]
print out line count
jjenista [Tue, 24 Mar 2009 05:39:27 +0000 (05:39 +0000)]
edge matching bug fix and add alpha source states back
bdemsky [Tue, 24 Mar 2009 04:37:13 +0000 (04:37 +0000)]
cache lots of results instead of recomputing them
jjenista [Tue, 24 Mar 2009 02:30:07 +0000 (02:30 +0000)]
fix bug when mapping callee edges into caller, gotta look at super classes for possible match
bdemsky [Tue, 24 Mar 2009 01:35:30 +0000 (01:35 +0000)]
speedup
jjenista [Tue, 24 Mar 2009 01:05:19 +0000 (01:05 +0000)]
improve strong update conditions for store, add strong updates from callee effects and clean up commented debugging code
bdemsky [Tue, 24 Mar 2009 00:39:14 +0000 (00:39 +0000)]
improve performance
jjenista [Mon, 23 Mar 2009 23:35:06 +0000 (23:35 +0000)]
fix edge propagation to union effects
bdemsky [Mon, 23 Mar 2009 21:36:06 +0000 (21:36 +0000)]
changes
jjenista [Mon, 23 Mar 2009 20:27:40 +0000 (20:27 +0000)]
bug fix: changed contains() to containsKey() where erroneous
jjenista [Mon, 23 Mar 2009 19:57:58 +0000 (19:57 +0000)]
don't do strong updates on array element references
bdemsky [Mon, 23 Mar 2009 19:44:45 +0000 (19:44 +0000)]
small test
bdemsky [Mon, 23 Mar 2009 19:33:47 +0000 (19:33 +0000)]
even simpler
jjenista [Mon, 23 Mar 2009 19:02:30 +0000 (19:02 +0000)]
don't add immutable or primitive parameters to alias contexts
bdemsky [Mon, 23 Mar 2009 18:17:03 +0000 (18:17 +0000)]
evil hack...need to fix arity scheme to match paper and remove this
jjenista [Mon, 23 Mar 2009 00:16:37 +0000 (00:16 +0000)]
commenting out debugging
jjenista [Sun, 22 Mar 2009 19:36:28 +0000 (19:36 +0000)]
merging lab changes with home changes
jjenista [Sun, 22 Mar 2009 19:28:01 +0000 (19:28 +0000)]
added smaller version of directo for something in between tiny and full tests of analysis
jjenista [Sun, 22 Mar 2009 19:25:23 +0000 (19:25 +0000)]
just leave commented becuase it is a useful little message to flip on sometimes
jjenista [Sun, 22 Mar 2009 19:24:46 +0000 (19:24 +0000)]
see array dimensions when writing out
jjenista [Sun, 22 Mar 2009 17:15:55 +0000 (17:15 +0000)]
changes and debug
jjenista [Sat, 21 Mar 2009 21:24:34 +0000 (21:24 +0000)]
changes
jjenista [Fri, 20 Mar 2009 22:16:51 +0000 (22:16 +0000)]
new parameter model and mapping procedure stable, doing capture before what I suspect will be hefty debugging
jjenista [Fri, 20 Mar 2009 01:10:10 +0000 (01:10 +0000)]
more progress toward new parameter model
jzhou [Fri, 20 Mar 2009 00:44:49 +0000 (00:44 +0000)]
changes on directed simulated annealing
jjenista [Thu, 19 Mar 2009 00:22:09 +0000 (00:22 +0000)]
Stable, partially functional implementation of new mapping procedure
navid [Wed, 18 Mar 2009 03:12:31 +0000 (03:12 +0000)]
*** empty log message ***
adash [Wed, 18 Mar 2009 00:15:56 +0000 (00:15 +0000)]
Commit all latest files for fse.dsm submission
adash [Wed, 18 Mar 2009 00:10:00 +0000 (00:10 +0000)]
new script for run.sh
adash [Wed, 18 Mar 2009 00:09:13 +0000 (00:09 +0000)]
latest run script
jjenista [Tue, 17 Mar 2009 02:57:18 +0000 (02:57 +0000)]
Partial, stable update that builds param index mappings and keeps them intact through graph merges
jjenista [Tue, 17 Mar 2009 02:27:22 +0000 (02:27 +0000)]
Build aliased parameter models--still a partial implementation of the new model, but stable.
jjenista [Mon, 16 Mar 2009 23:26:56 +0000 (23:26 +0000)]
partway to new parameter model
jjenista [Mon, 16 Mar 2009 18:13:49 +0000 (18:13 +0000)]
Stable capture while moving towards typed heap regions, type and field on edges, and more precise parameter models
adash [Mon, 16 Mar 2009 10:07:11 +0000 (10:07 +0000)]
add makefile
adash [Mon, 16 Mar 2009 08:36:35 +0000 (08:36 +0000)]
most recent versions
bdemsky [Sat, 14 Mar 2009 17:26:13 +0000 (17:26 +0000)]
hack to avoid reprefetching the same things
bdemsky [Sat, 14 Mar 2009 17:19:56 +0000 (17:19 +0000)]
change
bdemsky [Sat, 14 Mar 2009 01:42:16 +0000 (01:42 +0000)]
align everything to 8 byte boundaries
bdemsky [Sat, 14 Mar 2009 01:38:31 +0000 (01:38 +0000)]
align to 8 byte boundaries
jzhou [Sat, 14 Mar 2009 00:39:27 +0000 (00:39 +0000)]
add -abcclose into buildscript
jjenista [Fri, 13 Mar 2009 22:49:19 +0000 (22:49 +0000)]
Be more precise about enqueing dependent method contexts, and use topological sorted order of the call graph to give method contexts priority for analysis, targetting leaf methods first.
adash [Fri, 13 Mar 2009 22:27:07 +0000 (22:27 +0000)]
bug fix for getting the correct offset when prefetching
bdemsky [Fri, 13 Mar 2009 03:50:41 +0000 (03:50 +0000)]
batch communications for prefetches
bdemsky [Fri, 13 Mar 2009 03:47:48 +0000 (03:47 +0000)]
takes parameter that specifies how many items to prefetch
bdemsky [Fri, 13 Mar 2009 03:47:18 +0000 (03:47 +0000)]
new 3d version
jjenista [Fri, 13 Mar 2009 00:45:28 +0000 (00:45 +0000)]
Bug fixes:
1. rewriteCallerReachability was not rewriting parameter "star" tokens.
2. globalSweep fixes:
a. initialize alpha prime for all nodes to the empty reachability set, nothing else
b. when propagating contraint for bold_B, and encountering a new edge, changed initial
result from just the intersection value to union of new edge's old beta and intersection
c. when using bold_B to reduce alpha states, now checking all edges for the state before
marking token for removal, instead of removing if we find one negative match
jjenista [Fri, 13 Mar 2009 00:31:42 +0000 (00:31 +0000)]
little benchmark cleanup changes
jzhou [Thu, 12 Mar 2009 22:59:28 +0000 (22:59 +0000)]
add FastCheck version classes in ClassLibrary
bdemsky [Thu, 12 Mar 2009 21:28:33 +0000 (21:28 +0000)]
check in working version
bdemsky [Thu, 12 Mar 2009 21:27:45 +0000 (21:27 +0000)]
changes
jjenista [Thu, 12 Mar 2009 21:16:47 +0000 (21:16 +0000)]
Rewrote global sweep to match paper, keeping ugly debug functionality for further testing, will remove later
jjenista [Thu, 12 Mar 2009 21:14:31 +0000 (21:14 +0000)]
improve report and debug for analysis interface
jjenista [Thu, 12 Mar 2009 21:13:04 +0000 (21:13 +0000)]
allows application of change set to reachability set toggle whether to keep the source states or not
jjenista [Thu, 12 Mar 2009 21:12:10 +0000 (21:12 +0000)]
another test
adash [Thu, 12 Mar 2009 20:06:40 +0000 (20:06 +0000)]
Brian's changes to manual prefetching for array and chase
adash [Thu, 12 Mar 2009 20:04:21 +0000 (20:04 +0000)]
bug fix and make tabbing
bdemsky [Thu, 12 Mar 2009 19:42:55 +0000 (19:42 +0000)]
change size
projects / IRC.git / log