(1) make type of memPool more precise...

(2) bug fix in BuildCode

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 6b1e0d066e37d3bdcb46e11ca8aa629673112571..158d7b789fd2772a1c5e13baeccf3ac570b019af 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -4748,7 +4748,7 @@ public class BuildCode {
     if (state.RCR && inset.size() > 0) {
       /* Make sure the running SESE is finished */
       output.println("   if (unlikely(runningSESE->rcrstatus!=0)) {");
-      output.println("     if(!CAS(&runningSESE->rcrstatus,1,0)) {");
+      output.println("     if(CAS(&runningSESE->rcrstatus,1,0)==2) {");
       output.println("       while(runningSESE->rcrstatus) {");
       output.println("         BARRIER();");
       output.println("         sched_yield();");

diff --git a/Robust/src/Runtime/memPool.h b/Robust/src/Runtime/memPool.h
index a4b600b76b269ea3be16005a12817754f239a4ba..49612497a7db104f3ed0807b43eba5227dd4e8f9 100644 (file)
--- a/Robust/src/Runtime/memPool.h
+++ b/Robust/src/Runtime/memPool.h
@@ -38,7 +38,7 @@ static INTPTR pageSize;
 
 
 typedef struct MemPoolItem_t {
-  void* next;
+  struct MemPoolItem_t* next;
 } MemPoolItem;