Changeset ec35498 for src/libcfa/concurrency/kernel.c
- Timestamp:
- Jun 16, 2017, 9:57:33 PM (7 years ago)
- 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:
- 0b33412
- Parents:
- 4e6fb8e (diff), 42b0d73 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/libcfa/concurrency/kernel.c
r4e6fb8e rec35498 322 322 // appropriate stack. 323 323 proc_cor_storage.__cor.state = Active; 324 325 324 main( &proc_cor_storage ); 325 proc_cor_storage.__cor.state = Halted; 326 326 327 327 // Main routine of the core returned, the core is now fully terminated … … 371 371 if( !thrd ) return; 372 372 373 assertf( thrd->next == NULL, "Expected null got %p", thrd->next );373 verifyf( thrd->next == NULL, "Expected null got %p", thrd->next ); 374 374 375 375 lock( &systemProcessor->proc.cltr->lock ); … … 650 650 651 651 void append( __thread_queue_t * this, thread_desc * t ) { 652 assert(this->tail != NULL);652 verify(this->tail != NULL); 653 653 *this->tail = t; 654 654 this->tail = &t->next; … … 672 672 673 673 void push( __condition_stack_t * this, __condition_criterion_t * t ) { 674 assert( !t->next );674 verify( !t->next ); 675 675 t->next = this->top; 676 676 this->top = t;
Note: See TracChangeset
for help on using the changeset viewer.