Changeset 34d194c for libcfa/src/heap.cfa

Timestamp:

Jul 5, 2026, 11:13:26 PM (4 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

97c75bf

Parents:

3859adb

git-author:

Peter A. Buhr <pabuhr@…> (07/05/26 23:05:57)

git-committer:

Peter A. Buhr <pabuhr@…> (07/05/26 23:13:26)

Message:

move libcfa/src/concurrency/atomic.hfa to libcfa/src/bits/atomic.hfa, and update all the atomic operations

File:

• libcfa/src/heap.cfa (modified) (7 diffs)

libcfa/src/heap.cfa

@@ -10 +10 @@
 // Created On       : Tue Dec 19 21:58:35 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu May 15 16:47:35 2025
-// Update Count     : 1647
+// Last Modified On : Sat Jul  4 16:17:06 2026
+// Update Count     : 1658
 //
 
@@ -25 +25 @@
 
 #include "heap.hfa"
-#include "bits/align.hfa"                                                               // libAlign
-#include "bits/defs.hfa"                                                                // likely, unlikely
+#include "bits/align.hfa"                                                               // libAlign, Pause, likely, unlikely
 #include "concurrency/kernel/fwd.hfa"                                   // disable_interrupts, enable_interrupts
 #include "startup.hfa"                                                                  // STARTUP_PRIORITY_MEMORY
@@ -129 +128 @@
 } // Bsearchl
 
-
-// pause to prevent excess processor bus usage
-#if defined( __i386 ) || defined( __x86_64 )
-        #define Pause() __asm__ __volatile__ ( "pause" : : : )
-#elif defined(__ARM_ARCH)
-        #define Pause() __asm__ __volatile__ ( "YIELD" : : : )
-#else
-        #error unsupported architecture
-#endif
-
 typedef volatile uintptr_t SpinLock_t;
 
@@ -146 +135 @@
 
         for ( unsigned int i = 1;; i += 1 ) {
-          if ( slock == 0 && __atomic_test_and_set( &slock, __ATOMIC_ACQUIRE ) == 0 ) break; // Fence
+          if ( slock == 0 && AtomicTas( slock ) == 0 ) break; // Fence
                 for ( volatile unsigned int s = 0; s < spin; s += 1 ) Pause(); // exponential spin
                 spin += spin;                                                                   // powers of 2
@@ -155 +144 @@
 
 static inline __attribute__((always_inline)) void unlock( volatile SpinLock_t & slock ) {
-        __atomic_clear( &slock, __ATOMIC_RELEASE );                     // Fence
+        AtomicClr( slock );                                                                     // Fence
 } // spin_unlock
 
@@ -1003 +992 @@
                                 unlock( freeHead->returnLock );
                                 #else
-                                block = __atomic_exchange_n( &freeHead->returnList, 0p, __ATOMIC_SEQ_CST );
+                                block = AtomicFas( freeHead->returnList, 0p );
                                 #endif // RETURNSPIN
 
@@ -1168 +1157 @@
                         header->kind.real.next = freeHead->returnList; // link new node to top node
                         // CAS resets header->kind.real.next = freeHead->returnList on failure
-                        while ( ! __atomic_compare_exchange_n( &freeHead->returnList, &header->kind.real.next, (Heap.Storage *)header,
-                                                                                                   false, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST ) );
+                        while ( ! AtomicCasv( freeHead->returnList, header->kind.real.next, (Heap.Storage *)header );
 
                         #ifdef __STATISTICS__