From: bdemsky <bdemsky>
Date: Tue, 9 Nov 2010 03:59:35 +0000 (+0000)
Subject: (1) make type of memPool more precise...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2494c2dbb3c907c000fbd23c5325ad8813261156;p=IRC.git

(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 6b1e0d06..158d7b78 100644
--- 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 a4b600b7..49612497 100644
--- 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;