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

Manual prefetcing for 2DConv

Pass around pointer to D2 as an argument to everything, rather than stash the pointer in almost every class in the benchmark.  Also explicitly rewrote non-void methods with no return statement to have them

bug fix

A small example with allocated regions propagating through various method contexts and properly mapping into the top-level caller.  Does not expose bug that appears in direct-to benchmark

Bug fix in applying change sets, have to use the source reachability state in every rule and not just the first

changed toString so method context's produce unique names and therefore write unique DOT graphs during output after analysis

script to run manual prefetches
bm.txt file has the arguments for each benchmark

temporary fix for createNewSocket error...add config files to create a link
to the dstm.conf. e.g. when running 1 thread use dstm1.conf, when running 2 threads
use dstm2.conf etc...

new script files and some bug fixes...LookUpservice java still not working well

Script to run java + jvm versions of benchmarks

change script files

Add manual prefetch files

bug fix

small changes and add comments

Working and stable version of Java

anges

guard stuff

guard header files

changes and some bug fixes

changes

changes

Support cast nodes

java version

Fix bug where element access fields have wrong type, and printing of array types

fiddling with debug util

Alter token propagation from store so that computed change sets are applied to alpha prime only after change sets have propagated everywhere they can

fix bug in alias reporting for Java programs

accidentally checked in makefile line with one option pasted in between another option and its argument

Topological sort actually helps some benchmarks quite a bit

during token propagation for store, change to, don't just add, newly computed reachability states

Add a remove() operation

topological sort has little impact in overall analysis time; time spent sorting actually adds a few fractions of a second; removing the sort

change global sweep to shrink reachability sets rather than trash them

Topologically sort callee leaves to front of analysis work set

Return empty sets instead of null

bug fixes to prevent starvation of a lumberjack