Changeset 7c15d6f in mainline for uspace/lib/c/generic/fibril_synch.c

Timestamp:

2015-06-06T15:20:52Z (9 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

9362cc2

Parents:

1ede059

Message:

Never clear timer inside its handler.

File:

• uspace/lib/c/generic/fibril_synch.c (modified) (2 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;
@@ -608 +608 @@
         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;