Changeset ee1c2d9 in mainline for uspace/lib/c/generic/fibril_synch.c

Timestamp:

2015-06-13T18:30:18Z (9 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a157846

Parents:

0453261 (diff), 2f9a8e8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

mainline changes

File:

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

uspace/lib/c/generic/fibril_synch.c

@@ -461 +461 @@
                         if (rc == ETIMEOUT && timer->state == fts_active) {
                                 timer->state = fts_fired;
-                                timer->handler_running = true;
+                                timer->handler_fid = fibril_get_id();
                                 fibril_mutex_unlock(timer->lockp);
                                 timer->fun(timer->arg);
                                 fibril_mutex_lock(timer->lockp);
-                                timer->handler_running = false;
+                                timer->handler_fid = 0;
                         }
                         break;
@@ -477 +477 @@
         /* Acknowledge timer fibril has finished cleanup. */
         timer->state = fts_clean;
+        fibril_condvar_broadcast(&timer->cv);
         fibril_mutex_unlock(timer->lockp);
-        free(timer);
 
         return 0;
@@ -525 +525 @@
         timer->state = fts_cleanup;
         fibril_condvar_broadcast(&timer->cv);
+
+        /* Wait for timer fibril to terminate */
+        while (timer->state != fts_clean)
+                fibril_condvar_wait(&timer->cv, timer->lockp);
         fibril_mutex_unlock(timer->lockp);
+
+        free(timer);
 }
 
@@ -608 +614 @@
         assert(fibril_mutex_is_locked(timer->lockp));
 
-        while (timer->handler_running)
+        while (timer->handler_fid != 0) {
+                if (timer->handler_fid == fibril_get_id()) {
+                        printf("Deadlock detected.\n");
+                        stacktrace_print();
+                        printf("Fibril %zx is trying to clear timer %p from "
+                            "inside its handler %p.\n",
+                            fibril_get_id(), timer, timer->fun);
+                        abort();
+                }
+
                 fibril_condvar_wait(&timer->cv, timer->lockp);
+        }
 
         old_state = timer->state;