Changeset 3e20fd48 in mainline

Timestamp:

2010-10-19T18:47:03Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

7f122e3

Parents:

668f8cbf

Message:

Record the ownership tracking info for fibril mutexes.

File:

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

uspace/lib/c/generic/fibril_synch.c

@@ -58 +58 @@
 void fibril_mutex_initialize(fibril_mutex_t *fm)
 {
+        fm->oi.owned_by = NULL;
         fm->counter = 1;
         list_initialize(&fm->waiters);
@@ -75 +76 @@
                 fibril_switch(FIBRIL_TO_MANAGER);
         } else {
+                fm->oi.owned_by = (fibril_t *) fibril_get_id();
                 futex_up(&async_futex);
         }
@@ -86 +88 @@
         if (fm->counter > 0) {
                 fm->counter--;
+                fm->oi.owned_by = (fibril_t *) fibril_get_id();
                 locked = true;
         }
@@ -105 +108 @@
                 wdp->active = true;
                 wdp->wu_event.inlist = false;
+                fm->oi.owned_by = (fibril_t *) wdp->fid;
                 list_remove(&wdp->wu_event.link);
                 fibril_add_ready(wdp->fid);
                 optimize_execution_power();
+        } else {
+                fm->oi.owned_by = NULL;
         }
 }
@@ -120 +126 @@
 void fibril_rwlock_initialize(fibril_rwlock_t *frw)
 {
+        frw->oi.owned_by = NULL;
         frw->writers = 0;
         frw->readers = 0;