Changeset 1b143de for libcfa/src/concurrency/io.cfa
- Timestamp:
- May 12, 2020, 4:26:07 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 2f1cb37, 9da5a50
- Parents:
- 4fa44e7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/io.cfa
r4fa44e7 r1b143de 357 357 // The thread was preempted and now it is on the ready queue 358 358 /* paranoid */ verify( thrd.state == Active ); // The thread better be in this state 359 /* paranoid */ verify( thrd.next == 1p ); // The thread should be the last on the list359 /* paranoid */ verify( thrd.next != 0p ); // The thread should be the last on the list 360 360 /* paranoid */ verify( this.ready_queue.head == &thrd ); // The thread should be the only thing on the list 361 361
Note: See TracChangeset
for help on using the changeset viewer.