changes

dsm version

*** empty log message ***

*** empty log message ***

*** empty log message ***

bug fixes
remove assertions from benchmarks
code generation improvements
get rid of some annoying C compiler warnings

*** empty log message ***

optimize some analysis so they run faster...benchmarks were taking too long to compile and too much memory...idea is to prune temp sets using the liveness analysis

oops this is the right one

readLine -> readByte for body

bug fixes

bug fix

don't keep an analysis graph for every program point unless we're looking for method effects

experimenting with directto benchmark

revert buildscript mem usage to last week so dw-8 can launch our compiler

clean out all my changes

enough bugs for tonight

changes to support inlined fission transactions

check in new files...

added Global string and other changes for compilation

edge type improvement bug fixes, have to deal with null, runs on all available benchmarks

cleaning

updates

Use types in program statements to make graph edges more specific, and avoid creating edges when types disallow it

*** empty log message ***

fix some compile bugs ...still some more to go
need a Global string to create a new hash entry for an each email and then compare it with
the global entry in the distributed hash map

*** empty log message ***

*** empty log message ***

changes toward keeping globally unique identifier for disjoint analysis result
+ calculating reachability states for each stall sites and child SESE's live-in variables.

*** empty log message ***

test

add MD5 hash file and EphemeralSignature
some more changes

contains() method

changes

forgot files

compile errors fixed

small bug fix

Small bug fix

split method added

Vector createMailStringsWithURL()
Vector createMailStringsWithoutURL()

are added

more changes

a small change

 createMailStrings() and constructor added

more changes to check emails

attachment is added

email generator

bug fix, class library results improved, but directto benchmark still shows false sharing

new analysis for array references that create no new reachability is in, and correctly finds the set of FlatSetElementNode objects that we are expecting to be able to skip.  Disjointness results still the same, more checking to do

initial signature calculator

add likely/unlikely branch hints
fix gc/transaction interaction bug --- check at transaction abort whether we need to gc

fixes and associate each effect with unique stall tag identifier.

more files

bug fixes

an analysis for maintaining a relation at each program point of array temps to temps that are referenced by that array's elements--needs a few more pieces

forgot file

initial checkin

use branch elimination optimization
clever trick to simplify array bounds checks (used unsigned comparison)

finish branch elimination optimization for fission code

e-mail generator

commit file

*** empty log message ***

more changes.

changes to handle fixed point analysis properly + bug fix.

bug fix when applying store results from multiple possible edges to a common target node

close some debug info

Restructure the shared memory allocation and fixed multiple bugs in the multicore gc. Now the startegy of shared memory allocation can be configurable as 1) each core can only use its local memory 2) use local memory for lower address space while use global memory for higher address space or 3) all cores allocate globally. The simplest test case can now go through several round of gc correctly. Still need more tests. Also organized the codes a little bit.

added for handling method with child SESE.
It collects pre-effects of callee in the first phase, and then it converts pre-effects into caller's.

more stm options

changes towards method context insensitive analysis.
add stall edge mapping.

bug fixes

changes

get Fission w/ array support working

starting implementation for access paths to improve edge mapping

initial commit for parent/child SESE memory conflicts analysis

bug fixes

add new features...they don't break the build, but need to check if they work...

change to use static mapping of core # and block # in multicore garbage modul

Added feature for nullfying dead variables, which didn't change sharing for benchmarks.  It is left in, but commented out, until we decide we need it.

try to work on memory usage...have large test case running now

working version

add changes to release locks early on version mismatch and soft abort

fix distributed KMeans bugs and add javasingle version

working genome on byte strings

changes

changes

fix bug

changes

revert alias set computation changes, stick with old way

seems correct now

small differences

fix bug for jim

omputation to determine set of aliased parameter indices was very conservative,
but correct, fortunately.  It used to list every parameter pair that could reach
a common node as aliased!  Yikes!  Actually, we want to see that parameters can
directly reference a common node, but further, they can only be aliased if the
edges to the shared node both have a common reachability state that is also on
the shared node.  Otherwise they cannot be referencing a common concrete object.

little changes to keep, debugging removed

readme + input files
more bug fixes

more bug fixes

bug fixes

missing class

change

allow threads to request abort

enough to parse