Changes in uspace/lib/c/generic/fibril_synch.c [c81b6f2:47b7006] in mainline

File:

• uspace/lib/c/generic/fibril_synch.c (modified) (6 diffs)

uspace/lib/c/generic/fibril_synch.c

@@ -36 +36 @@
 #include <fibril.h>
 #include <async.h>
-#include <async_priv.h>
 #include <adt/list.h>
 #include <futex.h>
@@ -44 +43 @@
 #include <stacktrace.h>
 #include <stdlib.h>
+#include "private/async.h"
 
 static void optimize_execution_power(void)
@@ -55 +55 @@
          */
         if (atomic_get(&threads_in_ipc_wait) > 0)
-                ipc_poke();
+                async_poke();
 }
 
@@ -103 +103 @@
 {
         fibril_t *f = (fibril_t *) fibril_get_id();
+
+        if (fibril_get_sercount() != 0)
+                abort();
 
         futex_down(&async_futex);
@@ -194 +197 @@
         fibril_t *f = (fibril_t *) fibril_get_id();
         
+        if (fibril_get_sercount() != 0)
+                abort();
+
         futex_down(&async_futex);
         if (frw->writers) {
@@ -219 +225 @@
         fibril_t *f = (fibril_t *) fibril_get_id();
         
+        if (fibril_get_sercount() != 0)
+                abort();
+
         futex_down(&async_futex);
         if (frw->writers || frw->readers) {