[lkml]   [2008]   [Aug]   [4]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [PATCH] workaround minor lockdep bug triggered by mm_take_all_locks
     > The point is that this is a runtime evaluation of lock orders, if
    > runtime isn't the lucky one that reproduces the deadlock, it'll find
    > nothing at all.

    I think the point you miss is that lockdep can report a potential
    deadlock, even if the deadlock does not actually occur. For example
    suppose there is an AB-BA deadlock somewhere. For this to actually
    trigger, we have to have one CPU running the AB code path at exactly the
    moment another CPU runs the BA code path, with the right timing so one
    CPU holds A and tries to grab B while the other CPU already holds B.

    With lockdep, we just have to have the AB code path run once at any
    point, and then the BA code path run at any later time (even days after
    the AB code path has released all the locks). And then we get a
    warning dump that explains the exact potential deadlock.

    - R.

     \ /
      Last update: 2008-08-05 04:09    [W:0.020 / U:6.740 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site