Date: Tue, 23 Nov 2004 21:21:50 -0600 From: Mark Gooderum <mark@verniernetworks.com> To: freebsd-stable@freebsd.org Subject: propagate_priority KASSERT Message-ID: <41A3FE4E.30007@verniernetworks.com>
next in thread | raw e-mail | index | archive | help
We're currently tripping accross the following KASSERT in
subr_turnstile.c (in 5.3.0 RELEASE):
/*
* XXX: The owner of a turnstile can be stale if it is the
* first thread to grab a slock of a sx lock. In that case
* it is possible for us to be at SSLEEP or some other
* weird state. We should probably just return if the state
* isn't SRUN or SLOCK.
*/
KASSERT(!TD_IS_SLEEPING(td),
("sleeping thread %p (pid %d) owns non-sleepable lock %p",
td, td->td_proc->p_pid, ts))
This is in propagate_priority().
However, propagate_priority() is only called in one place, by
turnstile_wait(), and turnstile_wait() in turn is only called by
_mtx_lock_sleep() which in turn is only used for sleep mutexes.
TD_IS_SLEEPING() really means the SLEEPING inhibitor is set which in
turn seems to mean that thread is in fact on a sleepq - which is used
for various wait channels and timeouts.
So I'm just trying to understand why it's a 100% assertion for any
holder of the turnstile for a sleep mutex sleeping.
Thanks,
--
Mark Gooderum
Vernier Networks, Inc.
mark@verniernetworks.com
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?41A3FE4E.30007>