IRC.git
15 years ago small changes to buildscript to add runtime check for STM
adash [Fri, 3 Apr 2009 22:08:28 +0000 (22:08 +0000)]
 small changes to buildscript to add runtime check for STM

15 years agotest file for STM
adash [Fri, 3 Apr 2009 22:06:15 +0000 (22:06 +0000)]
test file for STM

15 years agosupport for STM
bdemsky [Fri, 3 Apr 2009 20:40:20 +0000 (20:40 +0000)]
support for STM

15 years agostate change
bdemsky [Fri, 3 Apr 2009 20:19:37 +0000 (20:19 +0000)]
state change

15 years agoupdates
bdemsky [Fri, 3 Apr 2009 20:14:38 +0000 (20:14 +0000)]
updates

15 years agocode
bdemsky [Fri, 3 Apr 2009 19:54:21 +0000 (19:54 +0000)]
code

15 years agonew makefile changes
bdemsky [Fri, 3 Apr 2009 09:16:14 +0000 (09:16 +0000)]
new makefile changes

15 years agochanges
bdemsky [Fri, 3 Apr 2009 09:15:15 +0000 (09:15 +0000)]
changes

15 years agolots of bugs
bdemsky [Fri, 3 Apr 2009 09:06:12 +0000 (09:06 +0000)]
lots of bugs

15 years agoloop doesn't work, function calls don't work
jjenista [Thu, 2 Apr 2009 21:05:13 +0000 (21:05 +0000)]
loop doesn't work, function calls don't work

15 years agoa setjmp implementation of single-threaded mlp API
jjenista [Thu, 2 Apr 2009 20:53:54 +0000 (20:53 +0000)]
a setjmp implementation of single-threaded mlp API

15 years agoa whole bunch of optimizations...should be useful for transactions
bdemsky [Thu, 2 Apr 2009 06:32:55 +0000 (06:32 +0000)]
a whole bunch of optimizations...should be useful for transactions

15 years agoadd new option -singleTM for committing transactions on a single machine
adash [Wed, 1 Apr 2009 21:25:33 +0000 (21:25 +0000)]
add new option -singleTM for committing transactions on a single machine

15 years agoAdded mlp runtime skeleton, flags to build it, syntax option to name sese blocks
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

15 years agoa new tiny test and better SESE node printing
jjenista [Mon, 30 Mar 2009 21:58:07 +0000 (21:58 +0000)]
a new tiny test and better SESE node printing

15 years agochanges
bdemsky [Mon, 30 Mar 2009 18:52:17 +0000 (18:52 +0000)]
changes

15 years agoloop analysis stuff
bdemsky [Fri, 27 Mar 2009 09:02:25 +0000 (09:02 +0000)]
loop analysis stuff

15 years agoDefUse analysis
bdemsky [Fri, 27 Mar 2009 01:32:11 +0000 (01:32 +0000)]
DefUse analysis

15 years agochanges
bdemsky [Fri, 27 Mar 2009 00:59:36 +0000 (00:59 +0000)]
changes

15 years agohack loop optimizations
bdemsky [Fri, 27 Mar 2009 00:26:40 +0000 (00:26 +0000)]
hack loop optimizations

15 years agonew benchmark results
jjenista [Tue, 24 Mar 2009 06:43:47 +0000 (06:43 +0000)]
new benchmark results

15 years agokeep alpha source states during node propagation
jjenista [Tue, 24 Mar 2009 06:03:25 +0000 (06:03 +0000)]
keep alpha source states during node propagation

15 years agoprint out line count
bdemsky [Tue, 24 Mar 2009 06:01:55 +0000 (06:01 +0000)]
print out line count

15 years agoedge matching bug fix and add alpha source states back
jjenista [Tue, 24 Mar 2009 05:39:27 +0000 (05:39 +0000)]
edge matching bug fix and add alpha source states back

15 years agocache lots of results instead of recomputing them
bdemsky [Tue, 24 Mar 2009 04:37:13 +0000 (04:37 +0000)]
cache lots of results instead of recomputing them

15 years agofix bug when mapping callee edges into caller, gotta look at super classes for possib...
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

15 years agospeedup
bdemsky [Tue, 24 Mar 2009 01:35:30 +0000 (01:35 +0000)]
speedup

15 years agoimprove strong update conditions for store, add strong updates from callee effects...
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

15 years agoimprove performance
bdemsky [Tue, 24 Mar 2009 00:39:14 +0000 (00:39 +0000)]
improve performance

15 years agofix edge propagation to union effects
jjenista [Mon, 23 Mar 2009 23:35:06 +0000 (23:35 +0000)]
fix edge propagation to union effects

15 years agochanges
bdemsky [Mon, 23 Mar 2009 21:36:06 +0000 (21:36 +0000)]
changes

15 years agobug fix: changed contains() to containsKey() where erroneous
jjenista [Mon, 23 Mar 2009 20:27:40 +0000 (20:27 +0000)]
bug fix: changed contains() to containsKey() where erroneous

15 years agodon't do strong updates on array element references
jjenista [Mon, 23 Mar 2009 19:57:58 +0000 (19:57 +0000)]
don't do strong updates on array element references

15 years agosmall test
bdemsky [Mon, 23 Mar 2009 19:44:45 +0000 (19:44 +0000)]
small test

15 years agoeven simpler
bdemsky [Mon, 23 Mar 2009 19:33:47 +0000 (19:33 +0000)]
even simpler

15 years agodon't add immutable or primitive parameters to alias contexts
jjenista [Mon, 23 Mar 2009 19:02:30 +0000 (19:02 +0000)]
don't add immutable or primitive parameters to alias contexts

15 years agoevil hack...need to fix arity scheme to match paper and remove this
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

15 years agocommenting out debugging
jjenista [Mon, 23 Mar 2009 00:16:37 +0000 (00:16 +0000)]
commenting out debugging

15 years agomerging lab changes with home changes
jjenista [Sun, 22 Mar 2009 19:36:28 +0000 (19:36 +0000)]
merging lab changes with home changes

15 years agoadded smaller version of directo for something in between tiny and full tests of...
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

15 years agojust leave commented becuase it is a useful little message to flip on sometimes
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

15 years agosee array dimensions when writing out
jjenista [Sun, 22 Mar 2009 19:24:46 +0000 (19:24 +0000)]
see array dimensions when writing out

15 years agochanges and debug
jjenista [Sun, 22 Mar 2009 17:15:55 +0000 (17:15 +0000)]
changes and debug

15 years agochanges
jjenista [Sat, 21 Mar 2009 21:24:34 +0000 (21:24 +0000)]
changes

15 years agonew parameter model and mapping procedure stable, doing capture before what I suspect...
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

15 years agomore progress toward new parameter model
jjenista [Fri, 20 Mar 2009 01:10:10 +0000 (01:10 +0000)]
more progress toward new parameter model

15 years agochanges on directed simulated annealing
jzhou [Fri, 20 Mar 2009 00:44:49 +0000 (00:44 +0000)]
changes on directed simulated annealing

15 years agoStable, partially functional implementation of new mapping procedure
jjenista [Thu, 19 Mar 2009 00:22:09 +0000 (00:22 +0000)]
Stable, partially functional implementation of new mapping procedure

15 years ago*** empty log message ***
navid [Wed, 18 Mar 2009 03:12:31 +0000 (03:12 +0000)]
*** empty log message ***

15 years agoCommit all latest files for fse.dsm submission
adash [Wed, 18 Mar 2009 00:15:56 +0000 (00:15 +0000)]
Commit all latest files for fse.dsm submission

15 years agonew script for run.sh
adash [Wed, 18 Mar 2009 00:10:00 +0000 (00:10 +0000)]
new script for run.sh

15 years agolatest run script
adash [Wed, 18 Mar 2009 00:09:13 +0000 (00:09 +0000)]
latest run script

15 years agoPartial, stable update that builds param index mappings and keeps them intact through...
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

15 years agoBuild aliased parameter models--still a partial implementation of the new model,...
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.

15 years agopartway to new parameter model
jjenista [Mon, 16 Mar 2009 23:26:56 +0000 (23:26 +0000)]
partway to new parameter model

15 years agoStable capture while moving towards typed heap regions, type and field on edges,...
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

15 years agoadd makefile
adash [Mon, 16 Mar 2009 10:07:11 +0000 (10:07 +0000)]
add makefile

15 years agomost recent versions
adash [Mon, 16 Mar 2009 08:36:35 +0000 (08:36 +0000)]
most recent versions

15 years agohack to avoid reprefetching the same things
bdemsky [Sat, 14 Mar 2009 17:26:13 +0000 (17:26 +0000)]
hack to avoid reprefetching the same things

15 years agochange
bdemsky [Sat, 14 Mar 2009 17:19:56 +0000 (17:19 +0000)]
change

15 years agoalign everything to 8 byte boundaries
bdemsky [Sat, 14 Mar 2009 01:42:16 +0000 (01:42 +0000)]
align everything to 8 byte boundaries

15 years agoalign to 8 byte boundaries
bdemsky [Sat, 14 Mar 2009 01:38:31 +0000 (01:38 +0000)]
align to 8 byte boundaries

15 years agoadd -abcclose into buildscript
jzhou [Sat, 14 Mar 2009 00:39:27 +0000 (00:39 +0000)]
add -abcclose into buildscript

15 years agoBe more precise about enqueing dependent method contexts, and use topological sorted...
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.

15 years agobug fix for getting the correct offset when prefetching
adash [Fri, 13 Mar 2009 22:27:07 +0000 (22:27 +0000)]
bug fix for getting the correct offset when prefetching

15 years agobatch communications for prefetches
bdemsky [Fri, 13 Mar 2009 03:50:41 +0000 (03:50 +0000)]
batch communications for prefetches

15 years agotakes parameter that specifies how many items to prefetch
bdemsky [Fri, 13 Mar 2009 03:47:48 +0000 (03:47 +0000)]
takes parameter that specifies how many items to prefetch

15 years agonew 3d version
bdemsky [Fri, 13 Mar 2009 03:47:18 +0000 (03:47 +0000)]
new 3d version

15 years agoBug fixes:
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

15 years agolittle benchmark cleanup changes
jjenista [Fri, 13 Mar 2009 00:31:42 +0000 (00:31 +0000)]
little benchmark cleanup changes

15 years agoadd FastCheck version classes in ClassLibrary
jzhou [Thu, 12 Mar 2009 22:59:28 +0000 (22:59 +0000)]
add FastCheck version classes in ClassLibrary

15 years agocheck in working version
bdemsky [Thu, 12 Mar 2009 21:28:33 +0000 (21:28 +0000)]
check in working version

15 years agochanges
bdemsky [Thu, 12 Mar 2009 21:27:45 +0000 (21:27 +0000)]
changes

15 years agoRewrote global sweep to match paper, keeping ugly debug functionality for further...
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

15 years agoimprove report and debug for analysis interface
jjenista [Thu, 12 Mar 2009 21:14:31 +0000 (21:14 +0000)]
improve report and debug for analysis interface

15 years agoallows application of change set to reachability set toggle whether to keep the sourc...
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

15 years agoanother test
jjenista [Thu, 12 Mar 2009 21:12:10 +0000 (21:12 +0000)]
another test

15 years agoBrian's changes to manual prefetching for array and chase
adash [Thu, 12 Mar 2009 20:06:40 +0000 (20:06 +0000)]
Brian's changes to manual prefetching for array and chase

15 years agobug fix and make tabbing
adash [Thu, 12 Mar 2009 20:04:21 +0000 (20:04 +0000)]
bug fix and make tabbing

15 years agochange size
bdemsky [Thu, 12 Mar 2009 19:42:55 +0000 (19:42 +0000)]
change size

15 years agomachine ip addr change and small changes
adash [Thu, 12 Mar 2009 18:42:47 +0000 (18:42 +0000)]
machine ip addr change and small changes

15 years agomachine ip change
adash [Thu, 12 Mar 2009 18:41:27 +0000 (18:41 +0000)]
machine ip change

15 years agonew manual prefetching scheme
adash [Thu, 12 Mar 2009 18:40:02 +0000 (18:40 +0000)]
new manual prefetching scheme

15 years agoadd latest machine ips and modify the script for these machines
adash [Thu, 12 Mar 2009 17:46:51 +0000 (17:46 +0000)]
add latest machine ips and modify the script for these machines

15 years agoManual prefetch versions of Array and Chase
adash [Thu, 12 Mar 2009 17:45:11 +0000 (17:45 +0000)]
Manual prefetch versions of Array and Chase
microbenchmarks

15 years agoless hacky fix
bdemsky [Thu, 12 Mar 2009 06:29:38 +0000 (06:29 +0000)]
less hacky fix

15 years agofix gcc bug through evil hack....
bdemsky [Thu, 12 Mar 2009 06:02:13 +0000 (06:02 +0000)]
fix gcc bug through evil hack....

15 years agoadded fprintf options to output to trans stats to a file
adash [Thu, 12 Mar 2009 01:54:11 +0000 (01:54 +0000)]
added fprintf options to output to trans stats to a file

15 years agobug fixes for LookUpServerThread.java
adash [Thu, 12 Mar 2009 01:36:32 +0000 (01:36 +0000)]
bug fixes for LookUpServerThread.java
compile error fixes for MatrixMultiplyN.java
small changes to script
changes to JGFMolDynBenchSizeC.java for new parameter for Moldyn

15 years agochange to use less memory
bdemsky [Wed, 11 Mar 2009 06:22:56 +0000 (06:22 +0000)]
change to use less memory

15 years agochange
bdemsky [Wed, 11 Mar 2009 06:22:41 +0000 (06:22 +0000)]
change

15 years agono point in prefetching local objects
bdemsky [Wed, 11 Mar 2009 05:42:22 +0000 (05:42 +0000)]
no point in prefetching local objects

15 years agoprefetch less in advance
bdemsky [Wed, 11 Mar 2009 05:21:45 +0000 (05:21 +0000)]
prefetch less in advance

15 years agogo for smaller batches
bdemsky [Wed, 11 Mar 2009 05:16:15 +0000 (05:16 +0000)]
go for smaller batches

15 years agochange
bdemsky [Wed, 11 Mar 2009 00:40:33 +0000 (00:40 +0000)]
change

15 years agochanges to pipeline prefetches for fft2d
bdemsky [Tue, 10 Mar 2009 20:16:58 +0000 (20:16 +0000)]
changes to pipeline prefetches for fft2d

15 years agoprfetch change
bdemsky [Tue, 10 Mar 2009 20:05:49 +0000 (20:05 +0000)]
prfetch change

15 years agochange
bdemsky [Tue, 10 Mar 2009 20:03:26 +0000 (20:03 +0000)]
change

15 years agonext obvious improvement
bdemsky [Tue, 10 Mar 2009 19:58:56 +0000 (19:58 +0000)]
next obvious improvement

15 years agomake sure not to prefetch stuff we already have...
bdemsky [Tue, 10 Mar 2009 19:57:45 +0000 (19:57 +0000)]
make sure not to prefetch stuff we already have...