Changeset ac12f1f for libcfa/src/concurrency/kernel.cfa
- Timestamp:
- Nov 13, 2020, 11:37:11 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- a056f56
- Parents:
- 1b033b8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/kernel.cfa
r1b033b8 rac12f1f 255 255 /* paranoid */ verifyf( ((uintptr_t)thrd_dst->context.SP) < ((uintptr_t)__get_stack(thrd_dst->curr_cor)->base ) || thrd_dst->curr_cor == proc_cor, "ERROR : Destination $thread %p has been corrupted.\n StackPointer too small.\n", thrd_dst ); // add escape condition if we are setting up the processor 256 256 /* paranoid */ verifyf( ((uintptr_t)thrd_dst->context.SP) > ((uintptr_t)__get_stack(thrd_dst->curr_cor)->limit) || thrd_dst->curr_cor == proc_cor, "ERROR : Destination $thread %p has been corrupted.\n StackPointer too large.\n", thrd_dst ); // add escape condition if we are setting up the processor 257 /* paranoid */ verify( 0x0D15EA5E0D15EA5E == thrd_dst->canary );257 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd_dst->canary ); 258 258 259 259 … … 263 263 // when __cfactx_switch returns we are back in the processor coroutine 264 264 265 /* paranoid */ verify( 0x0D15EA5E0D15EA5E == thrd_dst->canary );265 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd_dst->canary ); 266 266 /* paranoid */ verifyf( ((uintptr_t)thrd_dst->context.SP) > ((uintptr_t)__get_stack(thrd_dst->curr_cor)->limit), "ERROR : Destination $thread %p has been corrupted.\n StackPointer too large.\n", thrd_dst ); 267 267 /* paranoid */ verifyf( ((uintptr_t)thrd_dst->context.SP) < ((uintptr_t)__get_stack(thrd_dst->curr_cor)->base ), "ERROR : Destination $thread %p has been corrupted.\n StackPointer too small.\n", thrd_dst ); … … 335 335 #endif 336 336 /* paranoid */ verify( proc_cor->context.SP ); 337 /* paranoid */ verify( 0x0D15EA5E0D15EA5E == thrd_src->canary );337 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd_src->canary ); 338 338 __cfactx_switch( &thrd_src->context, &proc_cor->context ); 339 /* paranoid */ verify( 0x0D15EA5E0D15EA5E == thrd_src->canary );339 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd_src->canary ); 340 340 #if defined( __i386 ) || defined( __x86_64 ) 341 341 __x87_load; … … 370 370 /* paranoid */ #endif 371 371 /* paranoid */ verifyf( thrd->link.next == 0p, "Expected null got %p", thrd->link.next ); 372 /* paranoid */ verify( 0x0D15EA5E0D15EA5E == thrd->canary );372 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd->canary ); 373 373 374 374
Note: See TracChangeset
for help on using the changeset viewer.