changes...
authorbdemsky <bdemsky>
Tue, 1 Mar 2011 05:39:54 +0000 (05:39 +0000)
committerbdemsky <bdemsky>
Tue, 1 Mar 2011 05:39:54 +0000 (05:39 +0000)
Robust/src/IR/Flat/BuildCode.java

index baf08966cec041b8c5662a8d662a9ec2f732ec1b..3d007057d72897f50487e4c1bfbc21789a422544 100644 (file)
@@ -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;");