[lkml]   [2006]   [Jan]   [4]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: Recursion bug in -rt
    I've got a more complete patch for deadlock detection for robust

    The patch is at

    This patch handles pthread_mutex deadlocks in two ways:

    1) POSIX states that non-recursive pthread_mutexes hang if locked twice.
    This patch hangs the deadlocking thread on a waitqueue. It releases
    all other kernel locks, like the mmap_sem and robust_sem before waiting
    on the waitqueue so as not to hang the kernel.

    2) pthread_mutexes that are only robust, not PRIO_INHERIT, do not
    hang. They have a new error code returned to them, -EWOULDDEADLOCK.
    Since there is no POSIX specification for robust pthread_mutexes yet,
    returning EWOULDDEADLOCK to a robust mutex is more in the spirit
    of robustness. For robust pthread_mutexes we clean up if the holding
    thread dies and we return EWOULDDEADLOCK to inform the
    application that it is trying to deadlock itself.

    The patch handles both simple and circular deadlocks. This is
    something I've been wanting to do for a while, export deadlock
    detection to all flavors of kernels. The patch provides the correct
    deadlock behavior while not hanging the system.

    It's also easier to see if a POSIX compliant app has deadlocked itself.
    the 'ps' command will show that the wait channel of a deadlocked
    application is waiting at 'futex_deadlock'.

    Let me know if it passes all your tests.


    On Dec 20, 2005, at 7:50 AM, Dinakar Guniguntala wrote:

    > On Tue, Dec 20, 2005 at 02:19:56PM +0100, Ingo Molnar wrote:
    >> hm, i'm looking at -rf4 - these changes look fishy:
    >> - _raw_spin_lock(&lock_owner(lock)->task->pi_lock);
    >> + if (current != lock_owner(lock)->task)
    >> + _raw_spin_lock(&lock_owner(lock)->task->pi_lock);
    >> why is this done?
    > Ingo, this is to prevent a kernel hang due to application error.
    > Basically when an application does a pthread_mutex_lock twice on a
    > _nonrecursive_ mutex with robust/PI attributes the whole system hangs.
    > Ofcourse the application clearly should not be doing anything like
    > that, but it should not end up hanging the system either
    > -Dinakar

    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2006-01-05 03:17    [W:0.023 / U:3.304 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site