Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/concurrency/locks.hfa

    rd1ecd39 rdcad80a  
    3939struct Semaphore0nary {
    4040        __spinlock_t lock; // needed to protect
    41         mpsc_queue(thread$) queue;
    42 };
    43 
    44 static inline bool P(Semaphore0nary & this, thread$ * thrd) {
     41        mpsc_queue($thread) queue;
     42};
     43
     44static inline bool P(Semaphore0nary & this, $thread * thrd) {
    4545        /* paranoid */ verify(!thrd`next);
    4646        /* paranoid */ verify(!(&(*thrd)`next));
    … …  
    5151
    5252static inline bool P(Semaphore0nary & this) {
    53     thread$ * thrd = active_thread();
     53    $thread * thrd = active_thread();
    5454    P(this, thrd);
    5555    park();
    … …  
    5757}
    5858
    59 static inline thread$ * V(Semaphore0nary & this, bool doUnpark = true) {
    60         thread$ * next;
     59static inline $thread * V(Semaphore0nary & this, bool doUnpark = true) {
     60        $thread * next;
    6161        lock(this.lock __cfaabi_dbg_ctx2);
    6262                for (;;) {
    … …  
    124124static inline bool P(ThreadBenaphore & this, bool wait)   { return wait ? P(this) : tryP(this); }
    125125
    126 static inline thread$ * V(ThreadBenaphore & this, bool doUnpark = true) {
     126static inline $thread * V(ThreadBenaphore & this, bool doUnpark = true) {
    127127        if (V(this.ben)) return 0p;
    128128        return V(this.sem, doUnpark);
    … …  
    134134        __spinlock_t lock;
    135135        int count;
    136         __queue_t(thread$) waiting;
     136        __queue_t($thread) waiting;
    137137};
    138138
    … …  
    142142bool   V (semaphore & this);
    143143bool   V (semaphore & this, unsigned count);
    144 thread$ * V (semaphore & this, bool );
     144$thread * V (semaphore & this, bool );
    145145
    146146//----------
    … …  
    156156static inline size_t on_wait  ( single_acquisition_lock & this ) { return on_wait ( (blocking_lock &)this ); }
    157157static inline void   on_wakeup( single_acquisition_lock & this, size_t v ) { on_wakeup ( (blocking_lock &)this, v ); }
    158 static inline void   on_notify( single_acquisition_lock & this, struct thread$ * t ) { on_notify( (blocking_lock &)this, t ); }
     158static inline void   on_notify( single_acquisition_lock & this, struct $thread * t ) { on_notify( (blocking_lock &)this, t ); }
    159159
    160160//----------
    … …  
    170170static inline size_t on_wait  ( owner_lock & this ) { return on_wait ( (blocking_lock &)this ); }
    171171static inline void   on_wakeup( owner_lock & this, size_t v ) { on_wakeup ( (blocking_lock &)this, v ); }
    172 static inline void   on_notify( owner_lock & this, struct thread$ * t ) { on_notify( (blocking_lock &)this, t ); }
     172static inline void   on_notify( owner_lock & this, struct $thread * t ) { on_notify( (blocking_lock &)this, t ); }
    173173
    174174struct fast_lock {
    175         thread$ * volatile owner;
     175        $thread * volatile owner;
    176176        ThreadBenaphore sem;
    177177};
    … …  
    179179static inline void ?{}(fast_lock & this) { this.owner = 0p; }
    180180
    181 static inline bool $try_lock(fast_lock & this, thread$ * thrd) {
    182     thread$ * exp = 0p;
     181static inline bool $try_lock(fast_lock & this, $thread * thrd) {
     182    $thread * exp = 0p;
    183183    return __atomic_compare_exchange_n(&this.owner, &exp, thrd, false, __ATOMIC_SEQ_CST, __ATOMIC_RELAXED);
    184184}
    … …  
    186186static inline void lock( fast_lock & this ) __attribute__((artificial));
    187187static inline void lock( fast_lock & this ) {
    188         thread$ * thrd = active_thread();
     188        $thread * thrd = active_thread();
    189189        /* paranoid */verify(thrd != this.owner);
    190190
    … …  
    197197static inline bool try_lock( fast_lock & this ) __attribute__((artificial));
    198198static inline bool try_lock ( fast_lock & this ) {
    199         thread$ * thrd = active_thread();
     199        $thread * thrd = active_thread();
    200200        /* paranoid */ verify(thrd != this.owner);
    201201        return $try_lock(this, thrd);
    202202}
    203203
    204 static inline thread$ * unlock( fast_lock & this ) __attribute__((artificial));
    205 static inline thread$ * unlock( fast_lock & this ) {
     204static inline $thread * unlock( fast_lock & this ) __attribute__((artificial));
     205static inline $thread * unlock( fast_lock & this ) {
    206206        /* paranoid */ verify(active_thread() == this.owner);
    207207
    … …  
    216216static inline size_t on_wait( fast_lock & this ) { unlock(this); return 0; }
    217217static inline void on_wakeup( fast_lock & this, size_t ) { lock(this); }
    218 static inline void on_notify( fast_lock &, struct thread$ * t ) { unpark(t); }
     218static inline void on_notify( fast_lock &, struct $thread * t ) { unpark(t); }
    219219
    220220struct mcs_node {
    … …  
    248248
    249249        // Current thread owning the lock
    250         struct thread$ * owner;
     250        struct $thread * owner;
    251251
    252252        // List of blocked threads
    253         dlist( thread$ ) blocked_threads;
     253        dlist( $thread ) blocked_threads;
    254254
    255255        // Used for comparing and exchanging
    … …  
    341341        // block until signalled
    342342        while (block(this)) if(try_lock_contention(this)) return true;
    343 
    344         // this should never be reached as block(this) always returns true
    345         return false;
    346 }
    347 
    348 static inline bool lock_improved(linear_backoff_then_block_lock & this) with(this) {
    349         // if owner just return
    350         if (active_thread() == owner) return true;
    351         size_t compare_val = 0;
    352         int spin = spin_start;
    353         // linear backoff
    354         for( ;; ) {
    355                 compare_val = 0;
    356                 if (internal_try_lock(this, compare_val)) return true;
    357                 if (2 == compare_val) break;
    358                 for (int i = 0; i < spin; i++) Pause();
    359                 if (spin >= spin_end) break;
    360                 spin += spin;
    361         }
    362 
    363         // linear backoff bounded by spin_count
    364         spin = spin_start;
    365         int spin_counter = 0;
    366         int yield_counter = 0;
    367         for ( ;; ) {
    368                 compare_val = 0;
    369                 if(internal_try_lock(this, compare_val)) return true;
    370                 if (2 == compare_val) break;
    371                 if(spin_counter < spin_count) {
    372                         for (int i = 0; i < spin; i++) Pause();
    373                         if (spin < spin_end) spin += spin;
    374                         else spin_counter++;
    375                 } else if (yield_counter < yield_count) {
    376                         // after linear backoff yield yield_count times
    377                         yield_counter++;
    378                         yield();
    379                 } else { break; }
    380         }
    381 
    382         if(2 != compare_val && try_lock_contention(this)) return true;
    383         // block until signalled
    384         while (block(this)) if(try_lock_contention(this)) return true;
    385 
     343       
    386344        // this should never be reached as block(this) always returns true
    387345        return false;
    … …  
    393351    if (__atomic_exchange_n(&lock_value, 0, __ATOMIC_RELEASE) == 1) return;
    394352        lock( spinlock __cfaabi_dbg_ctx2 );
    395         thread$ * t = &try_pop_front( blocked_threads );
     353        $thread * t = &try_pop_front( blocked_threads );
    396354        unlock( spinlock );
    397355        unpark( t );
    398356}
    399357
    400 static inline void on_notify(linear_backoff_then_block_lock & this, struct thread$ * t ) { unpark(t); }
     358static inline void on_notify(linear_backoff_then_block_lock & this, struct $thread * t ) { unpark(t); }
    401359static inline size_t on_wait(linear_backoff_then_block_lock & this) { unlock(this); return 0; }
    402 static inline void on_wakeup(linear_backoff_then_block_lock & this, size_t recursion ) { lock_improved(this); }
     360static inline void on_wakeup(linear_backoff_then_block_lock & this, size_t recursion ) { lock(this); }
    403361
    404362//-----------------------------------------------------------------------------
    … …  
    406364trait is_blocking_lock(L & | sized(L)) {
    407365        // For synchronization locks to use when acquiring
    408         void on_notify( L &, struct thread$ * );
     366        void on_notify( L &, struct $thread * );
    409367
    410368        // For synchronization locks to use when releasing
    … …  
    440398                int count;
    441399        };
    442 
     400       
    443401
    444402        void  ?{}( condition_variable(L) & this );
Note: See TracChangeset for help on using the changeset viewer.