Changeset 2284d20

Timestamp:

Sep 2, 2022, 4:29:08 PM (20 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

69698d2

Parents:

680137a

Message:

Added some verifys to make sure atomic_acquire isn't used outside the kernel.

File:

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

libcfa/src/concurrency/kernel/private.hfa

@@ -161 +161 @@
 // Blocking acquire
 static inline void __atomic_acquire(volatile bool * ll) {
+        /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify(ll);
+
         while( __builtin_expect(__atomic_exchange_n(ll, (bool)true, __ATOMIC_SEQ_CST), false) ) {
                 while(__atomic_load_n(ll, (int)__ATOMIC_RELAXED))
@@ -166 +169 @@
         }
         /* paranoid */ verify(*ll);
+        /* paranoid */ verify( ! __preemption_enabled() );
 }
 
 // Non-Blocking acquire
 static inline bool __atomic_try_acquire(volatile bool * ll) {
+        /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify(ll);
+
         return !__atomic_exchange_n(ll, (bool)true, __ATOMIC_SEQ_CST);
 }
@@ -175 +182 @@
 // Release
 static inline void __atomic_unlock(volatile bool * ll) {
+        /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify(ll);
         /* paranoid */ verify(*ll);
         __atomic_store_n(ll, (bool)false, __ATOMIC_RELEASE);