Changeset 2e9b59b for libcfa/src/concurrency/locks.hfa

Timestamp:

Apr 19, 2022, 3:00:04 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

5b84a321

Parents:

ba897d21 (diff), bb7c77d (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:

added benchmark and evaluations chapter to thesis

File:

• libcfa/src/concurrency/locks.hfa (modified) (3 diffs)

libcfa/src/concurrency/locks.hfa

@@ -164 +164 @@
 }
 
-static inline bool lock(linear_backoff_then_block_lock & this) with(this) {
+static inline void lock(linear_backoff_then_block_lock & this) with(this) {
         // if owner just return
-        if (active_thread() == owner) return true;
+        if (active_thread() == owner) return;
         size_t compare_val = 0;
         int spin = spin_start;
@@ -172 +172 @@
         for( ;; ) {
                 compare_val = 0;
-                if (internal_try_lock(this, compare_val)) return true;
+                if (internal_try_lock(this, compare_val)) return;
                 if (2 == compare_val) break;
                 for (int i = 0; i < spin; i++) Pause();
@@ -179 +179 @@
         }
 
-        if(2 != compare_val && try_lock_contention(this)) return true;
+        if(2 != compare_val && try_lock_contention(this)) return;
         // block until signalled
-        while (block(this)) if(try_lock_contention(this)) return true;
-
-        // this should never be reached as block(this) always returns true
-        return false;
+        while (block(this)) if(try_lock_contention(this)) return;
 }