Module: xenomai-jki
Branch: for-upstream
Commit: 0b422dc91ee78c1d2dca74280ce857a9c4c14748

Author: Jan Kiszka <>
Date:   Sun Sep 11 12:07:03 2011 +0200

nucleus: Remove user space triggerable bug check

The rescnt maintenance depends on the ABI convention that SCHED_OTHER
user space threads enter the kernel for resource allocation and release
unconditionally. The current logic also does not account for threads
switching from SCHED_FF/RR to SCHED_OTHER while holding locks.

So triggering a BUG on this counter becoming < 0 is a bad idea, even if
we fixed the policy switch issue.

Signed-off-by: Jan Kiszka <>


 ksrc/nucleus/synch.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/ksrc/nucleus/synch.c b/ksrc/nucleus/synch.c
index b956e46..93ba988 100644
--- a/ksrc/nucleus/synch.c
+++ b/ksrc/nucleus/synch.c
@@ -686,7 +686,6 @@ xnsynch_release_thread(struct xnsynch *synch, struct 
xnthread *lastowner)
        if (xnthread_test_state(lastowner, XNOTHER))
-       XENO_BUGON(NUCLEUS, xnthread_get_rescnt(lastowner) < 0);
        lastownerh = xnthread_handle(lastowner);
        if (use_fastlock &&

Xenomai-git mailing list

Reply via email to