final version of the merge sort benchmark.

changes.

bug fix for allowing out-of-contexts taints to flow across in-context task exit

changes

change

more optimized version of the merge sort.

add mergesort benchmark ported from dpj

Ported the voronoi benchmark from the JOlden benchmark suite

add the MonteCarlo benchmark for multicore gc

add new benchmark lcss which was ported frim nofib benchmark suite

typo

some bug fixes

forgot to bring previous fixes.

changes.

add Monte Carlo benchmark ported from Java Grande Benchmark suite

Unfinished dynamic anaylsis side and probably contains bugs on static anaylsis side

add IDEA crypt benchmark

Configure the workloads of the benchmarks and the size of the shared heap to increase the live obj ratio

error in parsing package declarations...

Assign each core 4 blocks of shared memory and set up the benchmarks' workload to make sure that each benchmark will have at least 2 rounds of gc

Move the auxiliary tables our of the shared heap

bug fix

bug fix: previously assumed that all stalled tempDesc belongs to local struct, but it's wrong. It is better way to generate temp descriptor for parent stall site.

incorporate Stephen's rewritten single threaded version.

Add the RayTracer benchmark for multicore gc

add the new benchmark fibheaps ported from the nobench for the multicore gc

changes on labyrinth.

fix: remove unnecessary conflict edge
+ better representation of conflict graph file

make it easier to read

add barneshut benchmark ported from Lonestar

Add benchmarks for multicore gc

bug fix: memory queue has the case of empty rentry.

Add macros to control the memory allocation/cache/memory controller strategies in multicore gc version

changes

Add flags to specify special hvc file for 1-core gc version

adding micro benchmark for OoOJava.

bug fix: prevent generating unnecessaary waiting queues for main method.

Fix the strategy for determination of when the gc mark phase is finished.  In phase 2, check if the number of send-out objs and received objs have been changed compared to that in the phase 1.  Also tuned the BAMBOO_SMEM_ZERO_UNIT_SIZE.  Looks like 4KB is OK.

Change the local hashtable for recording the pointer mapping info used in the gc flush phase and make it more efficient.  Basically never release allocated memory and use mask instead of modular for hash entry computation.

Change the zero out strategy for the shared memory.  Do not zero out all the shared memory at a time.  Each core will zero out the share memory chunk allocated to it when it gets the chunk from the master core.  Therefore the zero out process is parallelized.  Also do not zero out the whole chunk, instead, zero out only 4KB at a time when necessary so that there will not be much flush of L2 cache.

public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for client modules to access the Reachgraph after the analysis is done and no modifications are to be made by the client module.

Add a new shared memory allocation strategy: mixed mode. Comparing to the fixed mode, there are following differences: 1) the neighbours cores are extended to the cores that a core can reach in no more than 2 flips; 2) introduced a threshold--if the master core can not allocate the neighbour cores' shared memory chunks, it checks current shared memory usage rate, if greater than the threshold it will enable gc, otherwise it tries to allocate the shared memory globally for the request core.

Add a new shared memory allocation strategy: fixed mode.  In this mode, the master core first allocates the 'local' shared memory chunks to each core.  When there are no more 'local' shared memory chunks for a core, the master core tries to allocate shared memory chunks that are belonging to the core's neighbour cores.  The priority of the neighbour cores are left-right-up-below.  If the master core failed again, it enables GC.

set the shared mem as 16MB

some subtle reach state bug fixes uncovered by labyrinth benchmark, the benchmark compiles under ooojava and runs to completion now

now it is working when only one machine left

recovery done

remove unnecessary files.

bring benchmarks to OoOJava: raytracer, kmeans, power, labyrinth.

change some bugs are fixed

bug fixes and extensions

plotall2

add plotting scripts to cvs

bug fix

incorporated OoOJava into build code + fixed a couple of small bugs

Statically ping memory from the nearest memory controller on the cores

debugged the reach graph support for effect conflicts

implemented details to support effect conflict detection

bug

more changes according to new effect analysis
and set up debug features of OoOJava analysis

changes according to new forms of effect analysis

tweak to interface

reachability query interface for ooojava heap conflict analysis added

getting close to effects for new disjoint analysis

little bug fix

changes.

stall site critical regions implemented, including method calls and return values

changes for debugging

restate inaccessible vars for stall site so facts get joined properly

new test case.

more effects bug fixes

bug fixes for effects analysis

my changes

stall site taints propagate awesomely, get cleared off also

forgot to add moved files back in, injecting stall site taints now also

changed organization and brought in a few new pieces for new disjoint+ooojava

changes.

add more steps to OoO analysis

working on the remaining procedures of OoOJava analysis.

Do effects as a global space, don't even need to consider call site transform, taints propagate interprocedurally and pick everything up, whoo hoo

both reach states and taints were not propagating to caller contexts with the correct caller-context predicates.  They should get the caller context predicates from the pre-call-site state or taint that indicated they should be brought from the callee.

more changes

changes

getting effects analysis going, need a few more pieces before call site analysis will work

print more data

updates to transsim for journal submission

rblock effects dont collect over method call, but its close

analysis collects effects per method and interprocedurally

Capture the version with shared hash table for pointer mapping info required in the flush phase

bug fix, now interprocedural seems cool, unitl the next bug HA

taints tested, propagate interprocedurally

rblock in set vars get tainted on rblock enter and wiped at rblock exit, works nicely

just an interesting test case I never got around to checking in or exploring too much

changes.

add rblock relation analysis and makefile aware of new analysis files

More pieces for new version of analysis

debugging..

chang

change

get set up part of the stall site analysis