Changeset 6fafda8 for tests/unified_locking

Timestamp:

Jan 6, 2022, 10:53:44 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

04a8a54, 7d0ebd0

Parents:

eaf269d (diff), 7636fcc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

tests/unified_locking

Files:

• .expect/fast.txt (deleted)
• mutex_test.hfa (modified) (4 diffs)

tests/unified_locking/mutex_test.hfa

@@ -10 +10 @@
         thread$ * id;
         uint32_t sum;
+        uint32_t cnt;
 };
 
@@ -27 +28 @@
         {
                 uint32_t tsum = mo.sum;
+                uint32_t cnt = mo.cnt;
                 mo.id = me;
                 yield(random(5));
                 value = ((uint32_t)random()) ^ ((uint32_t)me);
                 if(mo.id != me) sout | "Intruder!";
+                mo.cnt = cnt + 1;
                 mo.sum = tsum + value;
         }
@@ -54 +57 @@
         uint32_t sum = -32;
         mo.sum = -32;
+        mo.cnt = 0;
         processor p[2];
         sout | "Starting";
@@ -63 +67 @@
         }
         sout | "Done!";
+        if(mo.cnt != (13 * num_times)) sout | "Invalid cs count!" | mo.cnt | "vs "| (13 * num_times) | "(13 *" | num_times | ')';
         if(sum == mo.sum) sout | "Match!";
         else sout | "No Match!" | sum | "vs" | mo.sum;