Changeset 3ea8ad1 for libcfa/src/concurrency/kernel.cfa

Timestamp:

Nov 18, 2020, 2:28:02 PM (3 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:

69d1748

Parents:

9d6e1b8a

Message:

Added more checks for thread termination synchronization

File:

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

libcfa/src/concurrency/kernel.cfa

@@ -288 +288 @@
                 }
 
-                if(unlikely(thrd_dst->state == Halted)) {
+                if(unlikely(thrd_dst->state == Halting)) {
                         // The thread has halted, it should never be scheduled/run again
                         // finish the thread
@@ -484 +484 @@
                 /* paranoid */ verifyf( ((uintptr_t)thrd->context.SP) < ((uintptr_t)__get_stack(thrd->curr_cor)->base ), "ERROR : $thread %p has been corrupted.\n StackPointer too small.\n", thrd );
 
-                thrd->state = Halted;
+                thrd->state = Halting;
                 if( TICKET_RUNNING != thrd->ticket ) { abort( "Thread terminated with pending unpark" ); }
                 if( thrd != this->owner ) { abort( "Thread internal monitor has incorrect owner" ); }