Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Paul E. McKenney
On Sun, Apr 08, 2018 at 02:32:53PM -0700, Randy Dunlap wrote: > On 04/08/2018 02:14 PM, Paul E. McKenney wrote: > > On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: > >> On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > >>> On 04/06/2018 02:07 PM, Paul E. McKenney wrote:

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Paul E. McKenney
On Sun, Apr 08, 2018 at 02:32:53PM -0700, Randy Dunlap wrote: > On 04/08/2018 02:14 PM, Paul E. McKenney wrote: > > On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: > >> On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > >>> On 04/06/2018 02:07 PM, Paul E. McKenney wrote:

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Randy Dunlap
On 04/08/2018 02:14 PM, Paul E. McKenney wrote: > On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: >> On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: >>> On 04/06/2018 02:07 PM, Paul E. McKenney wrote: On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote:

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Randy Dunlap
On 04/08/2018 02:14 PM, Paul E. McKenney wrote: > On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: >> On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: >>> On 04/06/2018 02:07 PM, Paul E. McKenney wrote: On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote:

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: > On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > > On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > > > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > > >> On 04/06/2018 12:47 PM, Andrea Parri wrote: >

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-08 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 11:58:25PM +0200, Andrea Parri wrote: > On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > > On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > > > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > > >> On 04/06/2018 12:47 PM, Andrea Parri wrote: >

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Andrea Parri
On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > >> On 04/06/2018 12:47 PM, Andrea Parri wrote: > >>> There appeared to be a certain, recurrent uncertainty concerning

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Andrea Parri
On Fri, Apr 06, 2018 at 02:08:16PM -0700, Randy Dunlap wrote: > On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > >> On 04/06/2018 12:47 PM, Andrea Parri wrote: > >>> There appeared to be a certain, recurrent uncertainty concerning

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Randy Dunlap
On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: >> On 04/06/2018 12:47 PM, Andrea Parri wrote: >>> There appeared to be a certain, recurrent uncertainty concerning the >>> semantics of spin_is_locked(), likely a consequence of the

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Randy Dunlap
On 04/06/2018 02:07 PM, Paul E. McKenney wrote: > On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: >> On 04/06/2018 12:47 PM, Andrea Parri wrote: >>> There appeared to be a certain, recurrent uncertainty concerning the >>> semantics of spin_is_locked(), likely a consequence of the

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > On 04/06/2018 12:47 PM, Andrea Parri wrote: > > There appeared to be a certain, recurrent uncertainty concerning the > > semantics of spin_is_locked(), likely a consequence of the fact that > > this semantics remains undocumented or

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 02:01:41PM -0700, Randy Dunlap wrote: > On 04/06/2018 12:47 PM, Andrea Parri wrote: > > There appeared to be a certain, recurrent uncertainty concerning the > > semantics of spin_is_locked(), likely a consequence of the fact that > > this semantics remains undocumented or

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Randy Dunlap
On 04/06/2018 12:47 PM, Andrea Parri wrote: > There appeared to be a certain, recurrent uncertainty concerning the > semantics of spin_is_locked(), likely a consequence of the fact that > this semantics remains undocumented or that it has been historically > linked to the (likewise unclear)

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Randy Dunlap
On 04/06/2018 12:47 PM, Andrea Parri wrote: > There appeared to be a certain, recurrent uncertainty concerning the > semantics of spin_is_locked(), likely a consequence of the fact that > this semantics remains undocumented or that it has been historically > linked to the (likewise unclear)

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 09:47:39PM +0200, Andrea Parri wrote: > There appeared to be a certain, recurrent uncertainty concerning the > semantics of spin_is_locked(), likely a consequence of the fact that > this semantics remains undocumented or that it has been historically > linked to the

Re: [PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Paul E. McKenney
On Fri, Apr 06, 2018 at 09:47:39PM +0200, Andrea Parri wrote: > There appeared to be a certain, recurrent uncertainty concerning the > semantics of spin_is_locked(), likely a consequence of the fact that > this semantics remains undocumented or that it has been historically > linked to the

[PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Andrea Parri
There appeared to be a certain, recurrent uncertainty concerning the semantics of spin_is_locked(), likely a consequence of the fact that this semantics remains undocumented or that it has been historically linked to the (likewise unclear) semantics of spin_unlock_wait(). A recent auditing [1] of

[PATCH v4 1/3] locking: Document the semantics of spin_is_locked()

2018-04-06 Thread Andrea Parri
There appeared to be a certain, recurrent uncertainty concerning the semantics of spin_is_locked(), likely a consequence of the fact that this semantics remains undocumented or that it has been historically linked to the (likewise unclear) semantics of spin_unlock_wait(). A recent auditing [1] of