Changeset 92e7631 for libcfa/src/bits/locks.hfa

Timestamp:

Mar 27, 2020, 7:28:06 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

bb2e05e

Parents:

f0ce5f4

Message:

Fixed ready state.
Fixed race condition between halt and wake_*

File:

• libcfa/src/bits/locks.hfa (modified) (2 diffs)

libcfa/src/bits/locks.hfa

@@ -139 +139 @@
         }
 
-        static inline void post(__bin_sem_t & this) with( this ) {
-                verify(__cfaabi_dbg_in_kernel());
-
+        static inline bool post(__bin_sem_t & this) with( this ) {
                 pthread_mutex_lock(&lock);
                         bool needs_signal = !signaled;
@@ -147 +145 @@
                 pthread_mutex_unlock(&lock);
 
-                if (needs_signal)
-                        pthread_cond_signal(&cond);
+                if (needs_signal) pthread_cond_signal(&cond);
+
+                return needs_signal;
         }
 #endif