Ignore:
Timestamp:
May 12, 2020, 4:26:07 PM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
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
Message:

Several fixes to relaxed_ready queue

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/concurrency/io.cfa

    r4fa44e7 r1b143de  
    357357                                        // The thread was preempted and now it is on the ready queue
    358358                                        /* 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 list
     359                                        /* paranoid */ verify( thrd.next != 0p );                // The thread should be the last on the list
    360360                                        /* paranoid */ verify( this.ready_queue.head == &thrd ); // The thread should be the only thing on the list
    361361
Note: See TracChangeset for help on using the changeset viewer.