Changeset 00675ed4

Timestamp:

Mar 27, 2026, 8:18:19 AM (4 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

81ab5eb

Parents:

4226eed

Message:

1st attempt at harmonizing isOp functions, e.g., isEmpty, to C/C++ form empty

Location:

libcfa/src

Files:

• collections/list.hfa (modified) (2 diffs)
• concurrency/locks.cfa (modified) (9 diffs)

libcfa/src/collections/list.hfa

@@ -10 +10 @@
 // Created On       : Wed Apr 22 18:00:00 2020
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Mar 24 11:25:34 2026
-// Update Count     : 98
+// Last Modified On : Fri Mar 27 08:02:56 2026
+// Update Count     : 99
 //
 
@@ -200 +200 @@
         }
 
-        bool isEmpty( dlist( tE, tLinks ) & list ) {
+        bool empty( dlist( tE, tLinks ) & list ) {
                 tE * firstPtr = list.next;
                 if ( ORIGIN_TAG_QUERY(( size_t)firstPtr) ) firstPtr = 0p;
                 return firstPtr == 0p;
+        }
+
+        bool isEmpty( dlist( tE, tLinks ) & list ) {
+                return empty( list );
         }
 

libcfa/src/concurrency/locks.cfa

@@ -347 +347 @@
         bool notify_one( cond_lock(L) & this ) with( this ) {
                 lock( lock __cfaabi_dbg_ctx2 );
-                bool ret = ! isEmpty( blocked_threads );
+                bool ret = ! empty( blocked_threads );
                 process_popped(this, remove_first( blocked_threads ));
                 unlock( lock );
@@ -355 +355 @@
         bool notify_all( cond_lock(L) & this ) with(this) {
                 lock( lock __cfaabi_dbg_ctx2 );
-                bool ret = ! isEmpty( blocked_threads );
-                while( ! isEmpty( blocked_threads ) ) {
+                bool ret = ! empty( blocked_threads );
+                while( ! empty( blocked_threads ) ) {
                         process_popped(this, remove_first( blocked_threads ));
                 }
@@ -364 +364 @@
 
         uintptr_t front( cond_lock(L) & this ) with(this) {
-                return isEmpty( blocked_threads ) ? NULL : first( blocked_threads ).info;
+                return empty( blocked_threads ) ? NULL : first( blocked_threads ).info;
         }
 
         bool empty( cond_lock(L) & this ) with(this) {
                 lock( lock __cfaabi_dbg_ctx2 );
-                bool ret = isEmpty( blocked_threads );
+                bool ret = empty( blocked_threads );
                 unlock( lock );
                 return ret;
@@ -455 +455 @@
 
         bool notify_one( fast_cond_var(L) & this ) with(this) {
-                bool ret = ! isEmpty( blocked_threads );
+                bool ret = ! empty( blocked_threads );
                 if ( ret ) {
                         info_thread(L) & popped = remove_first( blocked_threads );
@@ -463 +463 @@
         }
         bool notify_all( fast_cond_var(L) & this ) with(this) {
-                bool ret = ! isEmpty( blocked_threads );
-                while( ! isEmpty( blocked_threads ) ) {
+                bool ret = ! empty( blocked_threads );
+                while( ! empty( blocked_threads ) ) {
                         info_thread(L) & popped = remove_first( blocked_threads );
                         on_notify(*popped.lock, popped.t);
@@ -471 +471 @@
         }
 
-        uintptr_t front( fast_cond_var(L) & this ) with(this) { return isEmpty( blocked_threads ) ? NULL : first( blocked_threads ).info; }
-        bool empty ( fast_cond_var(L) & this ) with(this) { return isEmpty( blocked_threads ); }
+        uintptr_t front( fast_cond_var(L) & this ) with(this) { return empty( blocked_threads ) ? NULL : first( blocked_threads ).info; }
+        bool empty ( fast_cond_var(L) & this ) with(this) { return empty( blocked_threads ); }
 
         void wait( fast_cond_var(L) & this, L & l ) {
@@ -503 +503 @@
         bool notify_one( pthread_cond_var(L) & this ) with(this) { 
                 lock( lock __cfaabi_dbg_ctx2 );
-                bool ret = ! isEmpty( blocked_threads );
+                bool ret = ! empty( blocked_threads );
                 if ( ret ) {
                         info_thread(L) & popped = remove_first( blocked_threads );
@@ -515 +515 @@
         bool notify_all( pthread_cond_var(L) & this ) with(this) { 
                 lock( lock __cfaabi_dbg_ctx2 );
-                bool ret = ! isEmpty( blocked_threads );
-                while( ! isEmpty( blocked_threads ) ) {
+                bool ret = ! empty( blocked_threads );
+                while( ! empty( blocked_threads ) ) {
                         info_thread(L) & popped = remove_first( blocked_threads );
                         popped.signalled = true;
@@ -525 +525 @@
         }
 
-        uintptr_t front( pthread_cond_var(L) & this ) with(this) { return isEmpty( blocked_threads ) ? NULL : first( blocked_threads ).info; }
-        bool empty ( pthread_cond_var(L) & this ) with(this) { return isEmpty( blocked_threads ); }
+        uintptr_t front( pthread_cond_var(L) & this ) with(this) { return empty( blocked_threads ) ? NULL : first( blocked_threads ).info; }
+        bool empty ( pthread_cond_var(L) & this ) with(this) { return empty( blocked_threads ); }
 
         static void queue_info_thread_timeout( pthread_cond_var(L) & this, info_thread(L) & info, Duration t, Alarm_Callback callback ) with(this) {