Changeset ae66348 for tests/concurrent

Timestamp:

Mar 24, 2020, 1:39:31 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

c72ea7a, f100a83

Parents:

210b8b3

Message:

Threads in debug now keep track of last function to park/unpark it

Location:

tests/concurrent/park

Files:

• contention.cfa (modified) (2 diffs)
• force_preempt.cfa (modified) (2 diffs)

tests/concurrent/park/contention.cfa

@@ -21 +21 @@
                 if(blocked[idx]) {
                         Thread * thrd = __atomic_exchange_n(&blocked[idx], 0p, __ATOMIC_SEQ_CST);
-                        unpark( *thrd );
+                        unpark( *thrd __cfaabi_dbg_ctx2 );
                 } else {
                         Thread * thrd = __atomic_exchange_n(&blocked[idx], &this, __ATOMIC_SEQ_CST);
-                        unpark( *thrd);
-                        park();
+                        unpark( *thrd __cfaabi_dbg_ctx2 );
+                        park( __cfaabi_dbg_ctx );
                 }
         }
@@ -41 +41 @@
                         int idx = myrand() % blocked_size;
                         Thread * thrd = __atomic_exchange_n(&blocked[idx], 0p, __ATOMIC_SEQ_CST);
-                        unpark( *thrd );
+                        unpark( *thrd __cfaabi_dbg_ctx2 );
                         yield( myrand() % 20 );
                 }

tests/concurrent/park/force_preempt.cfa

@@ -30 +30 @@
 
                 // Unpark this thread, don't force a yield
-                unpark(this);
+                unpark( this __cfaabi_dbg_ctx2 );
                 assert(mask == 0xCAFEBABA);
 
@@ -43 +43 @@
                 // Park this thread,
                 assert(mask == (id_hash ^ 0xCAFEBABA));
-                park();
+                park( __cfaabi_dbg_ctx );
                 assert(mask == (id_hash ^ 0xCAFEBABA));