Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-09-04 Thread Alan Stern
On Thu, Sep 03, 2020 at 04:45:07PM -0700, Paul E. McKenney wrote: > The hope was to have a good version of them completed some weeks ago, > but life intervened. > > My current thought is to move these three patches out of my queue for > v5.10 to try again in v5.11: > > 0b8c06b75ea1 ("tools/memor

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-09-03 Thread Paul E. McKenney
On Tue, Sep 01, 2020 at 04:11:10PM -0400, Alan Stern wrote: > On Tue, Sep 01, 2020 at 10:04:21AM -0700, Paul E. McKenney wrote: > > On Mon, Aug 31, 2020 at 09:45:04PM -0400, Alan Stern wrote: > > > > The question is, what are you trying to accomplish in this section? Are > > > you trying to demo

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-09-01 Thread Alan Stern
On Tue, Sep 01, 2020 at 10:04:21AM -0700, Paul E. McKenney wrote: > On Mon, Aug 31, 2020 at 09:45:04PM -0400, Alan Stern wrote: > > The question is, what are you trying to accomplish in this section? Are > > you trying to demonstrate that it isn't safe to allow arbitrary code to > > leak into a

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-09-01 Thread Paul E. McKenney
On Mon, Aug 31, 2020 at 09:45:04PM -0400, Alan Stern wrote: > On Mon, Aug 31, 2020 at 02:47:38PM -0700, Paul E. McKenney wrote: > > On Mon, Aug 31, 2020 at 04:17:01PM -0400, Alan Stern wrote: > > > > Is this discussion perhaps overkill? > > > > > > Let's put it this way: Suppose we have the follo

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-08-31 Thread Alan Stern
On Mon, Aug 31, 2020 at 02:47:38PM -0700, Paul E. McKenney wrote: > On Mon, Aug 31, 2020 at 04:17:01PM -0400, Alan Stern wrote: > > Is this discussion perhaps overkill? > > > > Let's put it this way: Suppose we have the following code: > > > > P0(int *x, int *lck) > > { > > s

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-08-31 Thread Paul E. McKenney
On Mon, Aug 31, 2020 at 04:17:01PM -0400, Alan Stern wrote: > On Mon, Aug 31, 2020 at 11:20:37AM -0700, paul...@kernel.org wrote: > > +No Roach-Motel Locking! > > +--- > > + > > +This example requires familiarity with the herd7 "filter" clause, so > > +please read up on that top

Re: [PATCH kcsan 9/9] tools/memory-model: Document locking corner cases

2020-08-31 Thread Alan Stern
On Mon, Aug 31, 2020 at 11:20:37AM -0700, paul...@kernel.org wrote: > +No Roach-Motel Locking! > +--- > + > +This example requires familiarity with the herd7 "filter" clause, so > +please read up on that topic in litmus-tests.txt. > + > +It is tempting to allow memory-reference