Changeset e235429 for tests

Timestamp:

Oct 1, 2020, 1:52:53 PM (4 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:

b4b63e8

Parents:

038110a

Message:

Removed last parker/unparker information is it was not particularly useful

Location:

tests/concurrent/park

Files:

• contention.cfa (modified) (2 diffs)
• force_preempt.cfa (modified) (2 diffs)
• start_parked.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 __cfaabi_dbg_ctx2 );
+                        unpark( *thrd );
                 } else {
                         Thread * thrd = __atomic_exchange_n(&blocked[idx], &this, __ATOMIC_SEQ_CST);
-                        unpark( *thrd __cfaabi_dbg_ctx2 );
-                        park( __cfaabi_dbg_ctx );
+                        unpark( *thrd );
+                        park();
                 }
         }
@@ -41 +41 @@
                         int idx = myrand() % blocked_size;
                         Thread * thrd = __atomic_exchange_n(&blocked[idx], 0p, __ATOMIC_SEQ_CST);
-                        unpark( *thrd __cfaabi_dbg_ctx2 );
+                        unpark( *thrd );
                         yield( myrand() % 20 );
                 }

tests/concurrent/park/force_preempt.cfa

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

tests/concurrent/park/start_parked.cfa

@@ -3 +3 @@
 thread Parker {};
 void main( Parker & ) {
-        park( __cfaabi_dbg_ctx );
+        park();
 }
 
@@ -9 +9 @@
         for(1000) {
                 Parker parker;
-                unpark( parker __cfaabi_dbg_ctx2 );
+                unpark( parker );
         }
         printf( "done\n" );                                                                     // non-empty .expect file