jjenista [Mon, 28 Jun 2010 22:21:43 +0000 (22:21 +0000)]
restate inaccessible vars for stall site so facts get joined properly
yeom [Mon, 28 Jun 2010 21:38:34 +0000 (21:38 +0000)]
new test case.
jjenista [Mon, 28 Jun 2010 21:28:00 +0000 (21:28 +0000)]
more effects bug fixes
jjenista [Mon, 28 Jun 2010 21:20:05 +0000 (21:20 +0000)]
bug fixes for effects analysis
bdemsky [Mon, 28 Jun 2010 21:19:46 +0000 (21:19 +0000)]
my changes
jjenista [Mon, 28 Jun 2010 19:09:49 +0000 (19:09 +0000)]
stall site taints propagate awesomely, get cleared off also
jjenista [Mon, 28 Jun 2010 18:44:51 +0000 (18:44 +0000)]
forgot to add moved files back in, injecting stall site taints now also
jjenista [Mon, 28 Jun 2010 18:00:35 +0000 (18:00 +0000)]
changed organization and brought in a few new pieces for new disjoint+ooojava
yeom [Mon, 28 Jun 2010 17:55:41 +0000 (17:55 +0000)]
changes.
yeom [Mon, 28 Jun 2010 17:52:17 +0000 (17:52 +0000)]
add more steps to OoO analysis
yeom [Sat, 26 Jun 2010 23:27:12 +0000 (23:27 +0000)]
working on the remaining procedures of OoOJava analysis.
jjenista [Sat, 26 Jun 2010 21:36:37 +0000 (21:36 +0000)]
Do effects as a global space, don't even need to consider call site transform, taints propagate interprocedurally and pick everything up, whoo hoo
jjenista [Sat, 26 Jun 2010 19:18:50 +0000 (19:18 +0000)]
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.
bdemsky [Fri, 25 Jun 2010 23:51:08 +0000 (23:51 +0000)]
more changes
bdemsky [Fri, 25 Jun 2010 23:16:32 +0000 (23:16 +0000)]
changes
jjenista [Fri, 25 Jun 2010 22:41:14 +0000 (22:41 +0000)]
getting effects analysis going, need a few more pieces before call site analysis will work
bdemsky [Fri, 25 Jun 2010 21:28:25 +0000 (21:28 +0000)]
print more data
bdemsky [Fri, 25 Jun 2010 20:05:43 +0000 (20:05 +0000)]
updates to transsim for journal submission
jjenista [Fri, 25 Jun 2010 18:59:20 +0000 (18:59 +0000)]
rblock effects dont collect over method call, but its close
jjenista [Fri, 25 Jun 2010 18:18:50 +0000 (18:18 +0000)]
analysis collects effects per method and interprocedurally
jzhou [Thu, 24 Jun 2010 23:50:43 +0000 (23:50 +0000)]
Capture the version with shared hash table for pointer mapping info required in the flush phase
jjenista [Thu, 24 Jun 2010 21:19:46 +0000 (21:19 +0000)]
bug fix, now interprocedural seems cool, unitl the next bug HA
jjenista [Thu, 24 Jun 2010 20:51:44 +0000 (20:51 +0000)]
taints tested, propagate interprocedurally
jjenista [Thu, 24 Jun 2010 18:15:37 +0000 (18:15 +0000)]
rblock in set vars get tainted on rblock enter and wiped at rblock exit, works nicely
jjenista [Thu, 24 Jun 2010 16:57:05 +0000 (16:57 +0000)]
just an interesting test case I never got around to checking in or exploring too much
yeom [Thu, 24 Jun 2010 16:52:25 +0000 (16:52 +0000)]
changes.
jjenista [Thu, 24 Jun 2010 00:21:36 +0000 (00:21 +0000)]
add rblock relation analysis and makefile aware of new analysis files
jjenista [Wed, 23 Jun 2010 23:57:55 +0000 (23:57 +0000)]
More pieces for new version of analysis
jihoonl [Wed, 23 Jun 2010 23:48:17 +0000 (23:48 +0000)]
debugging..
jihoonl [Wed, 23 Jun 2010 07:07:54 +0000 (07:07 +0000)]
chang
jihoonl [Wed, 23 Jun 2010 06:47:09 +0000 (06:47 +0000)]
change
yeom [Wed, 23 Jun 2010 02:58:27 +0000 (02:58 +0000)]
get set up part of the stall site analysis
jjenista [Wed, 23 Jun 2010 00:58:32 +0000 (00:58 +0000)]
Updated taint class to allow call site plus var taints as well
jjenista [Tue, 22 Jun 2010 23:21:03 +0000 (23:21 +0000)]
taints at reach graph level implemented
jjenista [Tue, 22 Jun 2010 21:40:01 +0000 (21:40 +0000)]
got the hooks in place to get taints for rblocks
yeom [Tue, 22 Jun 2010 20:46:56 +0000 (20:46 +0000)]
set up OoOJava analysis.
jjenista [Tue, 22 Jun 2010 18:37:39 +0000 (18:37 +0000)]
Getting taints to propagate in new analysis, no parameter taints, RBLOCK taints only
jihoonl [Tue, 22 Jun 2010 05:33:31 +0000 (05:33 +0000)]
change
jihoonl [Tue, 22 Jun 2010 04:09:44 +0000 (04:09 +0000)]
recovery..
still needs to fix
jzhou [Mon, 21 Jun 2010 21:37:28 +0000 (21:37 +0000)]
Capture the version with mapinfo phase
jjenista [Mon, 21 Jun 2010 21:32:26 +0000 (21:32 +0000)]
capturing partially implemented taints before altering implementation
stephey [Sat, 19 Jun 2010 00:17:29 +0000 (00:17 +0000)]
Forgot to include the makefile from the previous update.
stephey [Sat, 19 Jun 2010 00:15:30 +0000 (00:15 +0000)]
Adding Labyrinth3D files
in mlp, Normal_Java is a form of Labyrinth3D that can compile under normal Java.
in mlp, rBlocked is the rBlocked version that will compile with our compiler
NOTE: there seems to be a bug with make java in that the program skips right over rBlocks to print out statistics on the last part of the program EVEN THOUGH there are data dependencies. Yonghun suspects it's a bug in the compiler and will investigate over the weekend
in Original, Normal_Java is the original Labyrinth3D code with TM code removed and slightly modded to work with Normal Java.
jjenista [Thu, 17 Jun 2010 23:21:15 +0000 (23:21 +0000)]
taints working intraprocedurally, a bug in inter I'm working out now
jjenista [Thu, 17 Jun 2010 22:20:37 +0000 (22:20 +0000)]
getting parameter taints in new analysis
jjenista [Thu, 17 Jun 2010 21:15:23 +0000 (21:15 +0000)]
get partially set up new version of disjoint analysis with OoOJava analysis checked in to properly fix compiler and get yong hun in on the workspace
bdemsky [Wed, 16 Jun 2010 19:17:14 +0000 (19:17 +0000)]
Jim, could you check in the rest of disjointness so that this compiles?
This is a temporary fix to make the compiler work.
stephey [Wed, 16 Jun 2010 00:32:28 +0000 (00:32 +0000)]
Under Original/Normal_Java/ one would find the original Labyrinth project ported to Transactional Memory by Jihoon and reported to normal Java by Stephen Yang
Under mlp is the Labyrinth project modified with rblocks. Under mlp/Normal_Java is a version that can be compiled and run on the normal Java platform. Under rBlocked is the rBlocked version that SHOULD run under OoOJava compiler. Both of which are ported by Stephen Yang (from Jihoon's original port)
NOTE that at this point in time, the rBlocked version causes a NullPointerException in the OoOJava compiler but will compile and produce correct results under normal Java.
adash [Tue, 1 Jun 2010 17:42:05 +0000 (17:42 +0000)]
generate emails
jjenista [Thu, 27 May 2010 19:11:38 +0000 (19:11 +0000)]
porting effects analysis
jjenista [Wed, 26 May 2010 22:21:57 +0000 (22:21 +0000)]
porting effects analysis to new disjoint analysis
jjenista [Wed, 26 May 2010 17:33:04 +0000 (17:33 +0000)]
Can now use the rblock keyword instead of sese keyword to write OoOJava programs, but both work interchangeably so old programs are still fine
jjenista [Tue, 25 May 2010 23:18:54 +0000 (23:18 +0000)]
A nice example of using OoOJava to parallelize an algorithm that is much clearer than existing parallel implementations
bdemsky [Tue, 25 May 2010 22:15:53 +0000 (22:15 +0000)]
changes
bdemsky [Tue, 25 May 2010 22:11:03 +0000 (22:11 +0000)]
real fix for the bug...not just the symptom
bdemsky [Tue, 25 May 2010 21:53:53 +0000 (21:53 +0000)]
bug fix
jihoonl [Tue, 25 May 2010 16:10:09 +0000 (16:10 +0000)]
byte info
jihoonl [Sat, 22 May 2010 00:46:51 +0000 (00:46 +0000)]
simultaneous failure
jihoonl [Fri, 21 May 2010 21:48:38 +0000 (21:48 +0000)]
single failure
yeom [Fri, 21 May 2010 21:37:49 +0000 (21:37 +0000)]
fix: make OID only available for MLP.
adash [Wed, 19 May 2010 20:22:15 +0000 (20:22 +0000)]
changes
adash [Wed, 19 May 2010 20:20:05 +0000 (20:20 +0000)]
more changes to compile recovery benchmarks
adash [Wed, 19 May 2010 17:21:30 +0000 (17:21 +0000)]
add missing files
adash [Tue, 18 May 2010 22:47:04 +0000 (22:47 +0000)]
commiting all latest changes to recovery folder
adash [Tue, 18 May 2010 22:38:40 +0000 (22:38 +0000)]
optimized picking of read-set during pile creation
adash [Tue, 18 May 2010 22:29:16 +0000 (22:29 +0000)]
changes to Spider benchmark
adash [Mon, 17 May 2010 21:04:17 +0000 (21:04 +0000)]
changes
jjenista [Tue, 11 May 2010 17:39:10 +0000 (17:39 +0000)]
throw error instead of exit so caller code can report location of array initializers
adash [Tue, 11 May 2010 00:37:25 +0000 (00:37 +0000)]
chnges to Game benchmark
adash [Tue, 11 May 2010 00:36:19 +0000 (00:36 +0000)]
add hashmap
jjenista [Mon, 10 May 2010 22:22:17 +0000 (22:22 +0000)]
Added the this() explicit constructor invocation which is very similar to super() already part of the compiler. This helps when porting benchmarks that use this invocation
yeom [Thu, 6 May 2010 23:44:52 +0000 (23:44 +0000)]
changes for the case that an SESE enqueues more than one request into the same queue.
adash [Wed, 5 May 2010 01:18:22 +0000 (01:18 +0000)]
changes
yeom [Tue, 4 May 2010 23:58:42 +0000 (23:58 +0000)]
changes for using unique ID instead of obj address for the memory queue
adash [Mon, 3 May 2010 19:25:16 +0000 (19:25 +0000)]
adding new changes to FileSystem benchmark
yeom [Mon, 3 May 2010 18:52:49 +0000 (18:52 +0000)]
bring a snapshot before further changes of memory queue(OID and multiple enqueue case).
adash [Sat, 1 May 2010 19:02:25 +0000 (19:02 +0000)]
test file for using FileOutputStream
adash [Sat, 1 May 2010 18:54:03 +0000 (18:54 +0000)]
changes to file system to simulate behaviour of adding data into file and reading it
jihoonl [Tue, 27 Apr 2010 16:57:25 +0000 (16:57 +0000)]
polling thread ping only leader machine when a machine failure is detected
jihoonl [Tue, 27 Apr 2010 16:47:18 +0000 (16:47 +0000)]
new recovery protocol
adash [Sun, 25 Apr 2010 04:12:51 +0000 (04:12 +0000)]
changes to efficiently generate more reads than creates in the filesystem
adash [Thu, 22 Apr 2010 02:56:06 +0000 (02:56 +0000)]
changes to generate web pages of increased sizes
adash [Thu, 22 Apr 2010 01:22:04 +0000 (01:22 +0000)]
changes to webpage generator
adash [Tue, 20 Apr 2010 23:28:49 +0000 (23:28 +0000)]
generate our own web files for web crawler
jjenista [Mon, 19 Apr 2010 22:47:20 +0000 (22:47 +0000)]
bug fix in that return value assignment edges were not being handled like other edges, so instead of doing them as a special case they are now integrated into the single callee-to-caller edge code
jjenista [Mon, 19 Apr 2010 22:44:48 +0000 (22:44 +0000)]
reporting on new analysis doing good job with benchmarks now
jjenista [Mon, 19 Apr 2010 22:44:13 +0000 (22:44 +0000)]
improving debugging of call site contributions to initial contexts
bdemsky [Mon, 19 Apr 2010 20:06:29 +0000 (20:06 +0000)]
changes
bdemsky [Sat, 17 Apr 2010 00:50:03 +0000 (00:50 +0000)]
my changes
bdemsky [Fri, 16 Apr 2010 19:11:27 +0000 (19:11 +0000)]
Add stephen to the CVS. Note that anyone can change these...
adash [Fri, 16 Apr 2010 00:24:20 +0000 (00:24 +0000)]
print stats in matrix multiply
adash [Fri, 16 Apr 2010 00:22:29 +0000 (00:22 +0000)]
print recovery stats
adash [Fri, 16 Apr 2010 00:21:42 +0000 (00:21 +0000)]
changes to Game benchmark
adash [Fri, 16 Apr 2010 00:19:58 +0000 (00:19 +0000)]
small change
adash [Fri, 16 Apr 2010 00:18:03 +0000 (00:18 +0000)]
grab locks on sockpool for all communications involving cache and prefetch
jzhou [Fri, 16 Apr 2010 00:04:34 +0000 (00:04 +0000)]
disable Timer interrupt and some bug fixing
jjenista [Thu, 15 Apr 2010 21:25:18 +0000 (21:25 +0000)]
bug fix, some callees were not being rescheduled because code to do it was conditional on caller having a new result since last visit
adash [Thu, 15 Apr 2010 18:01:05 +0000 (18:01 +0000)]
changes to the recovery script : enable killing of one machine using USR signal
jihoonl [Thu, 15 Apr 2010 03:20:06 +0000 (03:20 +0000)]
fixed
jjenista [Wed, 14 Apr 2010 20:13:30 +0000 (20:13 +0000)]
fixed a bug where retrieving the context contribution of a call site returns an empty graph instead of null, which erroneously matches a new context calculation that happens to be an empty graph--this doesn't fully solve the known bug though