From: bdemsky <bdemsky>
Date: Tue, 1 Mar 2011 05:39:54 +0000 (+0000)
Subject: changes...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0902e8919fb36fb899102cf65d67569cca8b0abe;p=IRC.git

changes...
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index baf08966..3d007057 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -608,6 +608,7 @@ public class BuildCode {
     }
     if(state.MGC) {
       outclassdefs.println("  int mutex;");
+      outclassdefs.println("  volatile int notifycount;");
       outclassdefs.println("  int objlock;");
       if(state.MULTICOREGC) {
 	outclassdefs.println("  int marked;");
@@ -663,6 +664,7 @@ public class BuildCode {
       }
       if(state.MGC) {
 	outclassdefs.println("  int mutex;");
+	outclassdefs.println("  volatile int notifycount;");
 	outclassdefs.println("  int objlock;");
 	if(state.MULTICOREGC) {
 	  outclassdefs.println("  int marked;");
@@ -1411,10 +1413,13 @@ public class BuildCode {
       classdefout.println("  void * lockentry;");
       classdefout.println("  int lockcount;");
     }
-    classdefout.println("  int mutex;");
-    classdefout.println("  int objlock;");
-    if(state.MULTICOREGC) {
-      classdefout.println("  int marked;");
+    if (state.MGC) {
+      classdefout.println("  int mutex;");
+      classdefout.println("  volatile int notifycount;");
+      classdefout.println("  int objlock;");
+      if(state.MULTICOREGC) {
+	classdefout.println("  int marked;");
+      }
     }
     if (state.TASK) {
       classdefout.println("  int flag;");