Changeset 92e7631 for libcfa/src/bits

Timestamp:

Mar 27, 2020, 7:28:06 PM (6 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_*

Location:

libcfa/src/bits

Files:

• containers.hfa (modified) (1 diff)
• locks.hfa (modified) (2 diffs)

libcfa/src/bits/containers.hfa

@@ -274 +274 @@
                         return this.head != 0;
                 }
+
+                void move_to_front( __dllist(T) & src, __dllist(T) & dst, T & node ) {
+                        remove    (src, node);
+                        push_front(dst, node);
+                }
         }
         #undef next

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