Changeset 1f37ed02


Ignore:
Timestamp:
Mar 1, 2018, 9:38:00 AM (6 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
094476d, 3bb643e
Parents:
dcbb03b
Message:

Added verifies for processor termination

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/libcfa/concurrency/kernel.c

    rdcbb03b r1f37ed02  
    171171                __cfaabi_dbg_print_safe("Kernel : core %p signaling termination\n", &this);
    172172                terminate(&this);
     173                verify(this.do_terminate);
     174                verify(this_processor != &this);
    173175                P( terminated );
     176                verify(this_processor != &this);
    174177                pthread_join( kernel_thread, NULL );
    175178        }
Note: See TracChangeset for help on using the changeset viewer.