Changeset bbe3719


Ignore:
Timestamp:
Sep 3, 2021, 9:52:04 AM (5 months ago)
Author:
caparsons <caparson@…>
Branches:
master
Children:
65502d8
Parents:
0a55a53
Message:

cleaned up some mutex stmt related code

Files:
4 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/concurrency/locks.hfa

    r0a55a53 rbbe3719  
    324324        }
    325325
    326         // linear backoff bounded by spin_count
    327         spin = spin_start;
    328         int spin_counter = 0;
    329         int yield_counter = 0;
    330         for ( ;; ) {
    331                 if(try_lock_contention(this)) return true;
    332                 if(spin_counter < spin_count) {
    333                         for (int i = 0; i < spin; i++) Pause();
    334                         if (spin < spin_end) spin += spin;
    335                         else spin_counter++;
    336                 } else if (yield_counter < yield_count) {
    337                         // after linear backoff yield yield_count times
    338                         yield_counter++;
    339                         yield();
    340                 } else { break; }
    341         }
    342 
    343         // block until signalled
    344         while (block(this)) if(try_lock_contention(this)) return true;
    345 
    346         // this should never be reached as block(this) always returns true
    347         return false;
    348 }
    349 
    350 static inline bool lock_improved(linear_backoff_then_block_lock & this) with(this) {
    351         // if owner just return
    352         if (active_thread() == owner) return true;
    353         size_t compare_val = 0;
    354         int spin = spin_start;
    355         // linear backoff
    356         for( ;; ) {
    357                 compare_val = 0;
    358                 if (internal_try_lock(this, compare_val)) return true;
    359                 if (2 == compare_val) break;
    360                 for (int i = 0; i < spin; i++) Pause();
    361                 if (spin >= spin_end) break;
    362                 spin += spin;
    363         }
    364 
    365         // linear backoff bounded by spin_count
    366         spin = spin_start;
    367         int spin_counter = 0;
    368         int yield_counter = 0;
    369         for ( ;; ) {
    370                 compare_val = 0;
    371                 if(internal_try_lock(this, compare_val)) return true;
    372                 if (2 == compare_val) break;
    373                 if(spin_counter < spin_count) {
    374                         for (int i = 0; i < spin; i++) Pause();
    375                         if (spin < spin_end) spin += spin;
    376                         else spin_counter++;
    377                 } else if (yield_counter < yield_count) {
    378                         // after linear backoff yield yield_count times
    379                         yield_counter++;
    380                         yield();
    381                 } else { break; }
    382         }
    383 
    384326        if(2 != compare_val && try_lock_contention(this)) return true;
    385327        // block until signalled
     
    402344static inline void on_notify(linear_backoff_then_block_lock & this, struct thread$ * t ) { unpark(t); }
    403345static inline size_t on_wait(linear_backoff_then_block_lock & this) { unlock(this); return 0; }
    404 static inline void on_wakeup(linear_backoff_then_block_lock & this, size_t recursion ) { lock_improved(this); }
     346static inline void on_wakeup(linear_backoff_then_block_lock & this, size_t recursion ) { lock(this); }
    405347
    406348//-----------------------------------------------------------------------------
  • libcfa/src/concurrency/mutex_stmt.hfa

    r0a55a53 rbbe3719  
    4040        }
    4141    }
    42 
    43     static inline L * __get_pointer( L & lock ) {
    44         return &lock;
    45     }
    4642}
  • src/Concurrency/Keywords.cc

    r0a55a53 rbbe3719  
    12081208                        new ListInit(
    12091209                                map_range < std::list<Initializer*> > ( args, [](Expression * var ){
    1210                                         return new SingleInit( new UntypedExpr(
    1211                                                 new NameExpr( "__get_pointer" ),
    1212                                                 { var }
    1213                                         ) );
     1210                                        return new SingleInit( new AddressExpr( var ) );
    12141211                                })
    12151212                        )
  • tests/concurrent/mutexstmt/locks.cfa

    r0a55a53 rbbe3719  
    44const unsigned int num_times = 10000;
    55
    6 owner_lock m1, m2, m3, m4, m5;
     6single_acquisition_lock m1, m2, m3, m4, m5;
    77
    88thread T_Mutex {};
     
    6565        printf("Start Test: single lock mutual exclusion\n");
    6666        {
    67                 T_Mutex t[1];
     67                T_Mutex t[10];
    6868        }
    6969        printf("End Test: single lock mutual exclusion\n");
Note: See TracChangeset for help on using the changeset viewer.