Changeset 58688bf

Timestamp:

Nov 3, 2020, 1:16:38 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:

2c7eee0

Parents:

e873838

Message:

Added assertion to check there aren't pending unparks

File:

• libcfa/src/concurrency/kernel.cfa (modified) (2 diffs)

libcfa/src/concurrency/kernel.cfa

@@ -469 +469 @@
 
                 thrd->state = Halted;
-
+                if( TICKET_RUNNING != thrd->ticket ) { abort( "Thread terminated with pending unpark" ); }
                 if( thrd != this->owner || this->recursion != 1) { abort( "Thread internal monitor has unbalanced recursion" ); }
 
@@ -735 +735 @@
                 this.print_halts = true;
         }
+
+        void print_stats_now( cluster & this, int flags ) {
+                __print_stats( this.stats, this.print_stats, true, this.name, (void*)&this );
+        }
 #endif
 // Local Variables: //