Changeset b6de35e for libcfa/src/concurrency

Timestamp:

Nov 7, 2025, 8:28:03 AM (4 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

0048327

Parents:

f5856ecd

Message:

change name is_empty to empty for monitor conditions

Location:

libcfa/src/concurrency

Files:

• future.hfa (modified) (2 diffs)
• monitor.cfa (modified) (3 diffs)
• monitor.hfa (modified) (2 diffs)

libcfa/src/concurrency/future.hfa

@@ -10 +10 @@
 // Created On       : Wed Jan 06 17:33:18 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Apr 23 22:41:10 2025
-// Update Count     : 22
+// Last Modified On : Tue Nov  4 22:04:42 2025
+// Update Count     : 23
 //
 
@@ -298 +298 @@
                 void reset(multi_future(T) & mutex this) {
                         if ( this.has_first != false ) abort("Attempting to reset a multi_future with at least one blocked threads");
-                        if ( !is_empty(this.blocked) ) abort("Attempting to reset a multi_future with multiple blocked threads");
+                        if ( ! empty( this.blocked ) ) abort("Attempting to reset a multi_future with multiple blocked threads");
                         reset( (future_t&)*(future_t*)((uintptr_t)&this + sizeof(monitor$)) );
                 }

libcfa/src/concurrency/monitor.cfa

@@ -10 +10 @@
 // Created On       : Thd Feb 23 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Apr 25 07:20:22 2025
-// Update Count     : 80
+// Last Modified On : Tue Nov  4 22:03:41 2025
+// Update Count     : 82
 //
 
@@ -494 +494 @@
 
 bool signal( condition & this ) libcfa_public {
-        if ( is_empty( this ) ) { return false; }
+        if ( empty( this ) ) { return false; }
 
         //Check that everything is as expected
@@ -581 +581 @@
 // Access the user_info of the thread waiting at the front of the queue
 uintptr_t front( condition & this ) libcfa_public {
-        verifyf( ! is_empty(this),
+        verifyf( ! empty( this ),
                 "Attempt to access user data on an empty condition.\n"
                 "Possible cause is not checking if the condition is empty before reading stored data."

libcfa/src/concurrency/monitor.hfa

@@ -10 +10 @@
 // Created On       : Thd Feb 23 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb  2 11:29:21 2023
-// Update Count     : 12
+// Last Modified On : Tue Nov  4 21:56:17 2025
+// Update Count     : 16
 //
 
@@ -146 +146 @@
 }
 
-              void wait        ( condition & this, uintptr_t user_info = 0 );
-static inline bool is_empty    ( condition & this ) { return this.blocked.head == 1p; }
-              bool signal      ( condition & this );
-              bool signal_block( condition & this );
-static inline bool signal_all  ( condition & this ) { bool ret = false; while(!is_empty(this)) { ret = signal(this) || ret; } return ret; }
-         uintptr_t front       ( condition & this );
+void wait( condition & this, uintptr_t user_info = 0 );
+static inline bool empty( condition & this ) { return this.blocked.head == 1p; }
+bool signal ( condition & this );
+bool signal_block( condition & this );
+static inline bool signal_all( condition & this ) {
+        bool ret = false;
+        while ( !empty( this ) ) {
+                ret = signal(this) || ret;
+        }
+        return ret;
+}
+uintptr_t front( condition & this );
 
 //-----------------------------------------------------------------------------