Ignore:
Timestamp:
Nov 19, 2021, 11:59:55 AM (2 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum
Children:
813dfd86, cd4c605
Parents:
3e417bf (diff), a633f6f (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

    r3e417bf rc60e5094  
    126126static bool mark_idle (__cluster_proc_list & idles, processor & proc);
    127127static void mark_awake(__cluster_proc_list & idles, processor & proc);
    128 static [unsigned idle, unsigned total, * processor] query_idles( & __cluster_proc_list idles );
    129128
    130129extern void __cfa_io_start( processor * );
     
    766765
    767766        // Check if there is a sleeping processor
    768         processor * p;
    769         unsigned idle;
    770         unsigned total;
    771         [idle, total, p] = query_idles(this->procs);
     767        int fd = __atomic_load_n(&this->procs.fd, __ATOMIC_SEQ_CST);
    772768
    773769        // If no one is sleeping, we are done
    774         if( idle == 0 ) return;
     770        if( fd == 0 ) return;
    775771
    776772        // We found a processor, wake it up
    777773        eventfd_t val;
    778774        val = 1;
    779         eventfd_write( p->idle, val );
     775        eventfd_write( fd, val );
    780776
    781777        #if !defined(__CFA_NO_STATISTICS__)
     
    813809                remove(proc);
    814810                insert_first(this.idles, proc);
     811
     812                __atomic_store_n(&this.fd, proc.idle, __ATOMIC_SEQ_CST);
    815813        unlock( this );
    816814        /* paranoid */ verify( ! __preemption_enabled() );
     
    826824                remove(proc);
    827825                insert_last(this.actives, proc);
     826
     827                {
     828                        int fd = 0;
     829                        if(!this.idles`isEmpty) fd = this.idles`first.idle;
     830                        __atomic_store_n(&this.fd, fd, __ATOMIC_SEQ_CST);
     831                }
     832
    828833        unlock( this );
    829         /* paranoid */ verify( ! __preemption_enabled() );
    830 }
    831 
    832 static [unsigned idle, unsigned total, * processor] query_idles( & __cluster_proc_list this ) {
    833         /* paranoid */ verify( ! __preemption_enabled() );
    834         /* paranoid */ verify( ready_schedule_islocked() );
    835 
    836         for() {
    837                 uint64_t l = __atomic_load_n(&this.lock, __ATOMIC_SEQ_CST);
    838                 if( 1 == (l % 2) ) { Pause(); continue; }
    839                 unsigned idle    = this.idle;
    840                 unsigned total   = this.total;
    841                 processor * proc = &this.idles`first;
    842                 // Compiler fence is unnecessary, but gcc-8 and older incorrectly reorder code without it
    843                 asm volatile("": : :"memory");
    844                 if(l != __atomic_load_n(&this.lock, __ATOMIC_SEQ_CST)) { Pause(); continue; }
    845                 return [idle, total, proc];
    846         }
    847 
    848         /* paranoid */ verify( ready_schedule_islocked() );
    849834        /* paranoid */ verify( ! __preemption_enabled() );
    850835}
     
    908893                if(head == tail) return false;
    909894                #if OLD_MAIN
    910                 ready_schedule_lock();
    911                 ret = __cfa_io_drain( proc );
    912                 ready_schedule_unlock();
     895                        ready_schedule_lock();
     896                        ret = __cfa_io_drain( proc );
     897                        ready_schedule_unlock();
    913898                #else
    914899                        ret = __cfa_io_drain( proc );
    915         #endif
     900                #endif
    916901        #endif
    917902        return ret;
Note: See TracChangeset for help on using the changeset viewer.