Changeset a254fa56 for tests/concurrent/park/force_preempt.cfa

Timestamp:

Feb 25, 2020, 12:16:41 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

7dc2e015, c886f4b

Parents:

dd9e1ca

Message:

Modified force_preempt to be deterministic

File:

• tests/concurrent/park/force_preempt.cfa (modified) (3 diffs)

tests/concurrent/park/force_preempt.cfa

@@ -16 +16 @@
 }
 
-thread Waiter;
 thread Waiter {};
-
 
 volatile int count = 0;
@@ -25 +23 @@
         // Get a unique id
         int id = __atomic_fetch_add(&count, 1, __ATOMIC_SEQ_CST);
+        int id_hash = id | (id << 8) | (id << 16) | (id << 24);
+        int mask = 0xCAFEBABA;
 
         for(int i = 0; i < 5; i++) {
+                assert(mask == 0xCAFEBABA);
+
                 // Unpark this thread, don't force a yield
-                sout | id | "Calling unpark" | i;
                 unpark(this);
+                assert(mask == 0xCAFEBABA);
+
+                // Hash the mask to make sure no one else messes with them
+                mask ^= id_hash;
+                assert(mask == (id_hash ^ 0xCAFEBABA));
 
                 // Force a preemption before the call to park
@@ -36 +42 @@
 
                 // Park this thread,
-                sout | id | "Parking" | i;
+                assert(mask == (id_hash ^ 0xCAFEBABA));
                 park();
-                sout | id | "Unparked" | i;
+                assert(mask == (id_hash ^ 0xCAFEBABA));
+
+                // Reset the hash and recheck it
+                mask ^= id_hash;
+                assert(mask == 0xCAFEBABA);
         }
 }