| commit | c97046520ac556e23f77bdffb3e18c23ce8828e4 | [log] [tgz] |
|---|---|---|
| author | Boqun Feng <boqun.feng@gmail.com> | Thu Nov 30 20:52:32 2017 +0800 |
| committer | Boqun Feng <boqun.feng@gmail.com> | Tue Feb 20 16:04:29 2018 +0800 |
| tree | f6d66061015e242ca7126761ba8a23b934a16c14 | |
| parent | 1ecfb1e318afd747a630bf97551f00e7967ebd0d [diff] |
lockdep: Documention for recursive read lock detection reasoning As now we support recursive read lock deadlock detection, add related explanation in the Documentation/lockdep/lockdep-desgin.txt: * Definition of recursive read locks, non-recursive locks, strong dependency path and notions of -(**)->. * Lockdep's assumption. * Informal proof of recursive read lock deadlock detection. Signed-off-by: Boqun Feng <boqun.feng@gmail.com>