Ignore:
Timestamp:
Mar 30, 2022, 10:44:10 PM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
Children:
f870e257
Parents:
ee3da78 (diff), bdfd0bd (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.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

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

    ree3da78 r13cdc8c  
    642642
    643643        switch(fd) {
     644                __attribute__((unused)) int ret;
    644645        case 0:
    645646                // If the processor isn't ready to sleep then the exchange will already wake it up
     
    659660                // If the processor was ready to sleep, we need to wake it up with an actual write
    660661                val = 1;
    661                 eventfd_write( fd, val );
     662                ret = eventfd_write( fd, val );
     663                /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
    662664
    663665                #if !defined(__CFA_NO_STATISTICS__)
     
    682684        this->idle_wctx.sem = 1;
    683685
     686        this->idle_wctx.wake__time = rdtscl();
     687
    684688        eventfd_t val;
    685689        val = 1;
    686         eventfd_write( this->idle_wctx.evfd, val );
    687 
     690        __attribute__((unused)) int ret = eventfd_write( this->idle_wctx.evfd, val );
     691
     692        /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
    688693        /* paranoid */ verify( ! __preemption_enabled() );
    689694}
Note: See TracChangeset for help on using the changeset viewer.