[RFC tip/locking/lockdep v3 06/14] lockdep: Support deadlock detection for recursive read in check_noncircular()

2017-09-25 Thread Boqun Feng
Currently, lockdep only has limit support for deadlock detection for recursive read locks. The basic idea of the detection is: Since we make __bfs() able to traverse only the strong dependency paths, so we report a circular deadlock if we could find a circle of a strong dependency path.

[RFC tip/locking/lockdep v3 06/14] lockdep: Support deadlock detection for recursive read in check_noncircular()

2017-09-25 Thread Boqun Feng
Currently, lockdep only has limit support for deadlock detection for recursive read locks. The basic idea of the detection is: Since we make __bfs() able to traverse only the strong dependency paths, so we report a circular deadlock if we could find a circle of a strong dependency path.