Fix classification of some microkernels

LLNL · Sep 19, 2023 · bcaadd0 · bcaadd0
1 parent 9cb7634
commit bcaadd0
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 5 deletions.
diff --git a/...arks/DRB129-mergeable-taskwait-orig-yes.c → ...marks/DRB129-mergeable-taskwait-orig-no.c b/...arks/DRB129-mergeable-taskwait-orig-yes.c → ...marks/DRB129-mergeable-taskwait-orig-no.c
diff --git a/micro-benchmarks/DRB142-acquirerelease-orig-yes.c b/micro-benchmarks/DRB142-acquirerelease-orig-yes.c
@@ -15,7 +15,7 @@
  * variable.
  *
  * Implicit flush must be used after critical construct, after line:34 and before line:35 to avoid data race.
- * Data Race pair: x@34:9:W vs. x@34:9:W
+ * Data Race pair: x@34:9:W vs. x@43:11:R
  * */
 
 
@@ -39,9 +39,8 @@ int main(){
       while (tmp == 0) {
         #pragma omp atomic read acquire
         tmp = y;
-    }
-    #pragma omp critical
-    { if (x!=10) printf("x = %d\n", x); }
+      }
+      if (x!=10) printf("x = %d\n", x); 
     }
   }
   return 0;

diff --git a/micro-benchmarks/DRB189-barrier3-yes.c b/micro-benchmarks/DRB189-barrier3-yes.c
@@ -13,7 +13,11 @@
 
  * one synchronization commented out.
  * enters.  So race on x can occur.
- * Data race pair: x@104:9:W vs. x@111:9:W
+ * Data race pair: x@106:9:W vs. x@113:9:W
+                   x@106:9:W vs. x@101:58:R
+                   x@106:9:W vs. x@108:58:R
+                   x@101:58:R vs. x@113:9:W
+                   x@108:58:R vs. x@113:9:W
  */
 
 #include <stdio.h>