DefUse analysis

changes

hack loop optimizations

new benchmark results

keep alpha source states during node propagation

print out line count

edge matching bug fix and add alpha source states back

cache lots of results instead of recomputing them

fix bug when mapping callee edges into caller, gotta look at super classes for possible match

speedup

improve strong update conditions for store, add strong updates from callee effects and clean up commented debugging code

improve performance

fix edge propagation to union effects

changes

bug fix: changed contains() to containsKey() where erroneous

don't do strong updates on array element references

small test

even simpler

don't add immutable or primitive parameters to alias contexts

evil hack...need to fix arity scheme to match paper and remove this

commenting out debugging

merging lab changes with home changes

added smaller version of directo for something in between tiny and full tests of analysis

just leave commented becuase it is a useful little message to flip on sometimes

see array dimensions when writing out

changes and debug

changes

new parameter model and mapping procedure stable, doing capture before what I suspect will be hefty debugging

more progress toward new parameter model

changes on directed simulated annealing

Stable, partially functional implementation of new mapping procedure

*** empty log message ***

Commit all latest files for fse.dsm submission

new script for run.sh

latest run script

Partial, stable update that builds param index mappings and keeps them intact through graph merges

Build aliased parameter models--still a partial implementation of the new model, but stable.

partway to new parameter model

Stable capture while moving towards typed heap regions, type and field on edges, and more precise parameter models

add makefile

most recent versions

hack to avoid reprefetching the same things

change

align everything to 8 byte boundaries

align to 8 byte boundaries

add -abcclose into buildscript

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.

bug fix for getting the correct offset when prefetching

batch communications for prefetches

takes parameter that specifies how many items to prefetch

new 3d version

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

little benchmark cleanup changes

add FastCheck version classes in ClassLibrary

check in working version

changes

Rewrote global sweep to match paper, keeping ugly debug functionality for further testing, will remove later

improve report and debug for analysis interface

allows application of change set to reachability set toggle whether to keep the source states or not

another test

Brian's changes to manual prefetching for array and chase

bug fix and make tabbing

change size

machine ip addr change and small changes

machine ip change

new manual prefetching scheme

add latest machine ips and modify the script for these machines

Manual prefetch versions of Array and Chase
microbenchmarks

less hacky fix

fix gcc bug through evil hack....

added fprintf options to output to trans stats to a file

bug fixes for LookUpServerThread.java
compile error fixes for MatrixMultiplyN.java
small changes to script
changes to JGFMolDynBenchSizeC.java for new parameter for Moldyn

change to use less memory

change

no point in prefetching local objects

prefetch less in advance

go for smaller batches

change

changes to pipeline prefetches for fft2d

prfetch change

change

next obvious improvement

make sure not to prefetch stuff we already have...

changes to prefetch...hope it makes a difference...

changed analysis public interface to report a set of common heap regions rather than a boolean for alias indication.  Changed multicore code builder to check for non-empty set rather than boolean value

Crack at tuning the punt number between keeping problem tractable and not introducing multi-tokens too soon

Manual prefetch version for 2DFFT

check in Java code

added to
script to generate the stats on remote machine and print to /tmp/client_stats.txt
still has some problems but can generate necessary info for now

new benchmarks in benchmark arguments file

make output files more legible in script

Manual prefetch version of Moldyn

bug fix

some changes...

fix operator precedence + options for makefile

bug fix for lookupservice java version( now works fine for 8 threads)
change makefiles
get rid of print statements

Bug fix, field matching for fields that model array element references weren't matching properly before

Bug fix, was not growing the mapping of descriptors->method contexts.  Bug fix, handling array element references as quasi-fields properly.

fix bug

bug fix for alokika