Changeset 58fe85a for tests/concurrent/park/force_preempt.cfa

Timestamp:

Jan 7, 2021, 3:27:00 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

2b4daf2, 64aeca0

Parents:

3c64c668 (diff), eef8dfb (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' into park_unpark

File:

• tests/concurrent/park/force_preempt.cfa (modified) (4 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);
+                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);
         }
 }
@@ -47 +57 @@
                 Waiter waiters[5];
         }
+        printf( "done\n" );                             // non-empty .expect file
 }