bug

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
index 9d92273b95e4ef4317aaf8794fb1b4d3ade96c62..c350075aa2e1799450f50462bcd390f5058f79f9 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
@@ -70,8 +70,8 @@
 
 public class Labyrinth 
 {
-    static String global_inputFile;
-    static boolean global_doPrint;
+static  String global_inputFile;
+static   boolean global_doPrint;
     int numThread;
     int bendCost;
     int xCost;

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index ec42371c7871b3c7a2287b6004bb416ff7234155..7bf1fa57ee310a0592ceba54d33cbe5aef0e1517 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -30,7 +30,7 @@ USECOREPROF= #-coreprof $(COREPROFOVERFLOW) \
 #      -coreprof-enable cpe_taskstallmem
 
 
-USEOOO= -ooojava 24 2 #-ooodebug-disable-task-mem-pool #-ooodebug 
+USEOOO= -ooojava 24 2 -rcr#-ooodebug-disable-task-mem-pool #-ooodebug 
 BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 8000 -garbagestats -joptimize -noloop -optimize #src-after-pp #-debug
 
 DRELEASEMODE=-disjoint-release-mode -disjoint-dvisit-stack-callees-on-top -disjoint-alias-file aliases.txt tabbed

diff --git a/Robust/src/Runtime/oooJava/hashStructure.c b/Robust/src/Runtime/oooJava/hashStructure.c
index cab070441c0233b399c4e922c8ae81213f067f28..8142cf1c903e93d9dc78d20178e5e17292ec107b 100644 (file)
--- a/Robust/src/Runtime/oooJava/hashStructure.c
+++ b/Robust/src/Runtime/oooJava/hashStructure.c
@@ -404,7 +404,7 @@ void RESOLVE(SESEcommon *record, bitvt mask) {
        psem_give_tag(record->parentsStallSem, ((SESEstall *)record)->tag);
        //mark the record unused
        BARRIER();
-       ((SESEstall *)record)->rcrstatus=0;
+       record->rcrstatus=0;
       } else {
        int flag=LOCKXCHG32(&array[index].flag,0);
        if (flag) {