Changeset 35d73c0

Timestamp:

Jan 6, 2022, 11:55:55 AM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

7636fcc

Parents:

10b3fc3

Message:

Mutex test now counts number of critical sections in attempt to help debug fast lock

File:

• tests/unified_locking/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;