hkhang [Mon, 9 Nov 2009 23:43:44 +0000 (23:43 +0000)]
*** empty log message ***
bdemsky [Mon, 9 Nov 2009 08:25:25 +0000 (08:25 +0000)]
bug fixes
remove assertions from benchmarks
code generation improvements
get rid of some annoying C compiler warnings
hkhang [Mon, 9 Nov 2009 01:15:13 +0000 (01:15 +0000)]
*** empty log message ***
bdemsky [Sat, 7 Nov 2009 08:51:53 +0000 (08:51 +0000)]
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
jihoonl [Sat, 7 Nov 2009 00:17:25 +0000 (00:17 +0000)]
oops this is the right one
jihoonl [Sat, 7 Nov 2009 00:12:12 +0000 (00:12 +0000)]
readLine -> readByte for body
adash [Sat, 7 Nov 2009 00:07:18 +0000 (00:07 +0000)]
bug fixes
bdemsky [Fri, 6 Nov 2009 23:26:46 +0000 (23:26 +0000)]
bug fix
jjenista [Fri, 6 Nov 2009 22:49:40 +0000 (22:49 +0000)]
don't keep an analysis graph for every program point unless we're looking for method effects
jjenista [Fri, 6 Nov 2009 22:48:38 +0000 (22:48 +0000)]
experimenting with directto benchmark
jjenista [Fri, 6 Nov 2009 22:48:07 +0000 (22:48 +0000)]
revert buildscript mem usage to last week so dw-8 can launch our compiler
bdemsky [Fri, 6 Nov 2009 21:41:43 +0000 (21:41 +0000)]
clean out all my changes
bdemsky [Fri, 6 Nov 2009 10:53:48 +0000 (10:53 +0000)]
enough bugs for tonight
bdemsky [Fri, 6 Nov 2009 06:36:30 +0000 (06:36 +0000)]
changes to support inlined fission transactions
bdemsky [Fri, 6 Nov 2009 02:45:40 +0000 (02:45 +0000)]
check in new files...
adash [Thu, 5 Nov 2009 21:52:09 +0000 (21:52 +0000)]
added Global string and other changes for compilation
jjenista [Thu, 5 Nov 2009 21:31:47 +0000 (21:31 +0000)]
edge type improvement bug fixes, have to deal with null, runs on all available benchmarks
jihoonl [Wed, 4 Nov 2009 23:41:39 +0000 (23:41 +0000)]
cleaning
jihoonl [Wed, 4 Nov 2009 23:40:47 +0000 (23:40 +0000)]
updates
jjenista [Wed, 4 Nov 2009 22:53:02 +0000 (22:53 +0000)]
Use types in program statements to make graph edges more specific, and avoid creating edges when types disallow it
hkhang [Wed, 4 Nov 2009 00:47:21 +0000 (00:47 +0000)]
*** empty log message ***
adash [Wed, 4 Nov 2009 00:07:05 +0000 (00:07 +0000)]
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
hkhang [Tue, 3 Nov 2009 23:56:00 +0000 (23:56 +0000)]
*** empty log message ***
hkhang [Tue, 3 Nov 2009 02:28:15 +0000 (02:28 +0000)]
*** empty log message ***
yeom [Tue, 3 Nov 2009 00:28:20 +0000 (00:28 +0000)]
changes toward keeping globally unique identifier for disjoint analysis result
+ calculating reachability states for each stall sites and child SESE's live-in variables.
hkhang [Mon, 2 Nov 2009 21:48:27 +0000 (21:48 +0000)]
*** empty log message ***
jihoonl [Mon, 2 Nov 2009 21:22:52 +0000 (21:22 +0000)]
test
adash [Mon, 2 Nov 2009 20:55:47 +0000 (20:55 +0000)]
add MD5 hash file and EphemeralSignature
some more changes
jihoonl [Mon, 2 Nov 2009 05:26:35 +0000 (05:26 +0000)]
contains() method
jihoonl [Mon, 2 Nov 2009 05:26:15 +0000 (05:26 +0000)]
changes
adash [Mon, 2 Nov 2009 01:52:26 +0000 (01:52 +0000)]
forgot files
adash [Mon, 2 Nov 2009 01:52:02 +0000 (01:52 +0000)]
compile errors fixed
jihoonl [Sun, 1 Nov 2009 06:44:04 +0000 (06:44 +0000)]
small bug fix
jihoonl [Sun, 1 Nov 2009 06:41:27 +0000 (06:41 +0000)]
Small bug fix
jihoonl [Sun, 1 Nov 2009 06:33:39 +0000 (06:33 +0000)]
split method added
jihoonl [Sun, 1 Nov 2009 06:33:23 +0000 (06:33 +0000)]
Vector createMailStringsWithURL()
Vector createMailStringsWithoutURL()
are added
adash [Sun, 1 Nov 2009 02:28:41 +0000 (02:28 +0000)]
more changes
jihoonl [Sat, 31 Oct 2009 04:16:39 +0000 (04:16 +0000)]
a small change
jihoonl [Sat, 31 Oct 2009 04:15:27 +0000 (04:15 +0000)]
createMailStrings() and constructor added
adash [Sat, 31 Oct 2009 02:19:18 +0000 (02:19 +0000)]
more changes to check emails
jihoonl [Sat, 31 Oct 2009 01:56:04 +0000 (01:56 +0000)]
attachment is added
jihoonl [Sat, 31 Oct 2009 01:14:22 +0000 (01:14 +0000)]
email generator
jjenista [Fri, 30 Oct 2009 21:38:59 +0000 (21:38 +0000)]
bug fix, class library results improved, but directto benchmark still shows false sharing
jjenista [Fri, 30 Oct 2009 20:30:18 +0000 (20:30 +0000)]
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
adash [Fri, 30 Oct 2009 20:05:49 +0000 (20:05 +0000)]
initial signature calculator
bdemsky [Fri, 30 Oct 2009 19:48:43 +0000 (19:48 +0000)]
add likely/unlikely branch hints
fix gc/transaction interaction bug --- check at transaction abort whether we need to gc
yeom [Fri, 30 Oct 2009 18:59:23 +0000 (18:59 +0000)]
fixes and associate each effect with unique stall tag identifier.
adash [Fri, 30 Oct 2009 17:55:44 +0000 (17:55 +0000)]
more files
bdemsky [Fri, 30 Oct 2009 09:35:57 +0000 (09:35 +0000)]
bug fixes
jjenista [Fri, 30 Oct 2009 01:11:01 +0000 (01:11 +0000)]
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
adash [Fri, 30 Oct 2009 00:31:15 +0000 (00:31 +0000)]
forgot file
adash [Fri, 30 Oct 2009 00:30:17 +0000 (00:30 +0000)]
initial checkin
bdemsky [Fri, 30 Oct 2009 00:14:53 +0000 (00:14 +0000)]
use branch elimination optimization
clever trick to simplify array bounds checks (used unsigned comparison)
bdemsky [Fri, 30 Oct 2009 00:14:10 +0000 (00:14 +0000)]
finish branch elimination optimization for fission code
jihoonl [Fri, 30 Oct 2009 00:10:32 +0000 (00:10 +0000)]
e-mail generator
bdemsky [Thu, 29 Oct 2009 21:26:18 +0000 (21:26 +0000)]
commit file
hkhang [Thu, 29 Oct 2009 20:23:57 +0000 (20:23 +0000)]
*** empty log message ***
yeom [Thu, 29 Oct 2009 01:26:54 +0000 (01:26 +0000)]
more changes.
yeom [Thu, 29 Oct 2009 01:23:46 +0000 (01:23 +0000)]
changes to handle fixed point analysis properly + bug fix.
jjenista [Wed, 28 Oct 2009 22:26:08 +0000 (22:26 +0000)]
bug fix when applying store results from multiple possible edges to a common target node
jzhou [Tue, 27 Oct 2009 20:30:35 +0000 (20:30 +0000)]
close some debug info
jzhou [Tue, 27 Oct 2009 20:24:04 +0000 (20:24 +0000)]
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.
yeom [Tue, 27 Oct 2009 17:47:57 +0000 (17:47 +0000)]
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.
bdemsky [Tue, 27 Oct 2009 00:58:20 +0000 (00:58 +0000)]
more stm options
yeom [Mon, 26 Oct 2009 18:41:25 +0000 (18:41 +0000)]
changes towards method context insensitive analysis.
add stall edge mapping.
bdemsky [Sat, 24 Oct 2009 07:10:51 +0000 (07:10 +0000)]
bug fixes
bdemsky [Sat, 24 Oct 2009 06:46:10 +0000 (06:46 +0000)]
changes
bdemsky [Sat, 24 Oct 2009 01:25:38 +0000 (01:25 +0000)]
get Fission w/ array support working
jjenista [Fri, 23 Oct 2009 22:12:22 +0000 (22:12 +0000)]
starting implementation for access paths to improve edge mapping
yeom [Fri, 23 Oct 2009 21:34:50 +0000 (21:34 +0000)]
initial commit for parent/child SESE memory conflicts analysis
bdemsky [Thu, 22 Oct 2009 22:08:43 +0000 (22:08 +0000)]
bug fixes
bdemsky [Thu, 22 Oct 2009 20:58:20 +0000 (20:58 +0000)]
add new features...they don't break the build, but need to check if they work...
jzhou [Wed, 21 Oct 2009 23:19:56 +0000 (23:19 +0000)]
change to use static mapping of core # and block # in multicore garbage modul
jjenista [Wed, 21 Oct 2009 21:36:59 +0000 (21:36 +0000)]
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.
bdemsky [Wed, 21 Oct 2009 04:29:07 +0000 (04:29 +0000)]
try to work on memory usage...have large test case running now
bdemsky [Wed, 21 Oct 2009 01:52:21 +0000 (01:52 +0000)]
working version
adash [Wed, 21 Oct 2009 01:47:22 +0000 (01:47 +0000)]
add changes to release locks early on version mismatch and soft abort
adash [Wed, 21 Oct 2009 01:45:44 +0000 (01:45 +0000)]
fix distributed KMeans bugs and add javasingle version
bdemsky [Wed, 21 Oct 2009 01:01:01 +0000 (01:01 +0000)]
working genome on byte strings
bdemsky [Wed, 21 Oct 2009 00:20:49 +0000 (00:20 +0000)]
changes
bdemsky [Wed, 21 Oct 2009 00:02:57 +0000 (00:02 +0000)]
changes
bdemsky [Tue, 20 Oct 2009 23:46:31 +0000 (23:46 +0000)]
fix bug
bdemsky [Tue, 20 Oct 2009 23:42:29 +0000 (23:42 +0000)]
changes
jjenista [Tue, 20 Oct 2009 21:34:42 +0000 (21:34 +0000)]
revert alias set computation changes, stick with old way
bdemsky [Tue, 20 Oct 2009 01:18:57 +0000 (01:18 +0000)]
seems correct now
bdemsky [Tue, 20 Oct 2009 00:47:56 +0000 (00:47 +0000)]
small differences
bdemsky [Mon, 19 Oct 2009 22:42:03 +0000 (22:42 +0000)]
fix bug for jim
jjenista [Mon, 19 Oct 2009 21:15:42 +0000 (21:15 +0000)]
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.
jjenista [Mon, 19 Oct 2009 17:31:05 +0000 (17:31 +0000)]
little changes to keep, debugging removed
bdemsky [Mon, 19 Oct 2009 09:12:51 +0000 (09:12 +0000)]
readme + input files
more bug fixes
bdemsky [Mon, 19 Oct 2009 06:56:29 +0000 (06:56 +0000)]
more bug fixes
bdemsky [Sun, 18 Oct 2009 10:53:59 +0000 (10:53 +0000)]
bug fixes
bdemsky [Sun, 18 Oct 2009 09:56:13 +0000 (09:56 +0000)]
missing class
bdemsky [Sun, 18 Oct 2009 09:54:59 +0000 (09:54 +0000)]
change
bdemsky [Sun, 18 Oct 2009 09:54:26 +0000 (09:54 +0000)]
allow threads to request abort
bdemsky [Sun, 18 Oct 2009 09:53:53 +0000 (09:53 +0000)]
enough to parse
bdemsky [Sun, 18 Oct 2009 06:02:25 +0000 (06:02 +0000)]
almost done with port
bdemsky [Sat, 17 Oct 2009 22:19:02 +0000 (22:19 +0000)]
changes
bdemsky [Sat, 17 Oct 2009 21:56:43 +0000 (21:56 +0000)]
changes
bdemsky [Sat, 17 Oct 2009 21:15:57 +0000 (21:15 +0000)]
capitalization