Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Byungchul Park
On Wed, Jan 18, 2017 at 03:12:55PM +0100, Peter Zijlstra wrote: > On Wed, Jan 18, 2017 at 09:14:59PM +0900, byungchul.park wrote: > > > +Example 3: > > + > > + CONTEXT X CONTEXT Y > > + - - > > + mutex_lock A > > + mutex_

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Peter Zijlstra
On Wed, Jan 18, 2017 at 09:14:59PM +0900, byungchul.park wrote: > +Example 3: > + > + CONTEXT XCONTEXT Y > + -- > +mutex_lock A > + mutex_lock A > + mutex_unlock A > +wait_for_complete B /* DEADLOCK */

RE: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread byungchul.park
.com'; 'kir...@shutemov.name'; 'linux- > ker...@vger.kernel.org'; 'linux...@kvack.org'; 'iamjoonsoo....@lge.com'; > 'a...@linux-foundation.org'; 'npig...@gmail.com' > Subject: RE: [PATCH v4 15/15] lockdep: Crossrelease feature docum

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Peter Zijlstra
On Wed, Jan 18, 2017 at 08:54:28PM +0900, Byungchul Park wrote: > On Wed, Jan 18, 2017 at 12:03:17PM +0100, Peter Zijlstra wrote: > > On Wed, Jan 18, 2017 at 07:53:47PM +0900, Byungchul Park wrote: > > > On Wed, Jan 18, 2017 at 02:42:30PM +0800, Boqun Feng wrote: > > > > On Fri, Dec 09, 2016 at 02:

RE: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread byungchul.park
linux...@kvack.org; > iamjoonsoo@lge.com; a...@linux-foundation.org; npig...@gmail.com > Subject: Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation > > On Wed, Jan 18, 2017 at 08:54:28PM +0900, Byungchul Park wrote: > > On Wed, Jan 18, 2017 at 12:03:17PM +0100, Pet

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Byungchul Park
On Wed, Jan 18, 2017 at 12:03:17PM +0100, Peter Zijlstra wrote: > On Wed, Jan 18, 2017 at 07:53:47PM +0900, Byungchul Park wrote: > > On Wed, Jan 18, 2017 at 02:42:30PM +0800, Boqun Feng wrote: > > > On Fri, Dec 09, 2016 at 02:12:11PM +0900, Byungchul Park wrote: > > > [...] > > > > +Example 1: > >

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Byungchul Park
On Wed, Jan 18, 2017 at 02:42:30PM +0800, Boqun Feng wrote: > On Fri, Dec 09, 2016 at 02:12:11PM +0900, Byungchul Park wrote: > [...] > > +Example 1: > > + > > + CONTEXT X CONTEXT Y > > + - - > > + mutext_lock A > > + lock

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-18 Thread Peter Zijlstra
On Wed, Jan 18, 2017 at 07:53:47PM +0900, Byungchul Park wrote: > On Wed, Jan 18, 2017 at 02:42:30PM +0800, Boqun Feng wrote: > > On Fri, Dec 09, 2016 at 02:12:11PM +0900, Byungchul Park wrote: > > [...] > > > +Example 1: > > > + > > > + CONTEXT XCONTEXT Y > > > + -

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-17 Thread Boqun Feng
On Fri, Dec 09, 2016 at 02:12:11PM +0900, Byungchul Park wrote: [...] > +Example 1: > + > + CONTEXT XCONTEXT Y > + -- > + mutext_lock A > +lock_page B > + lock_page B > +mutext_lock A /* DEADLOCK */ s/m

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-10 Thread Byungchul Park
On Tue, Jan 10, 2017 at 09:08:50PM +0100, Peter Zijlstra wrote: > But I still feel this document is very hard to read and presents things > backwards. I admit it. I think I need to modify the document more.. I will try it. > > > +Let's take a look at more complicated example. > > + > > + TASK

Re: [PATCH v4 15/15] lockdep: Crossrelease feature documentation

2017-01-10 Thread Peter Zijlstra
First off my sincere apologies for being so horribly slow with this :/ I did spend some time thinking about this thing during the Christmas holidays, but have not yet managed to write a coherent text on it like I promised I'd do. That said; I think I now mostly understand what and why. But I st

[PATCH v4 15/15] lockdep: Crossrelease feature documentation

2016-12-08 Thread Byungchul Park
This document describes the concept of crossrelease feature, which generalizes what causes a deadlock and how can detect a deadlock. Signed-off-by: Byungchul Park --- Documentation/locking/crossrelease.txt | 1053 1 file changed, 1053 insertions(+) create mode 1