Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-08 Thread Paul E. McKenney
On Thu, Oct 08, 2020 at 10:01:48AM -0400, Alan Stern wrote: > On Wed, Oct 07, 2020 at 07:50:25PM -0700, Paul E. McKenney wrote: > > There are some distractions at the moment. > > > > Please see below. If this is not exactly correct, I will use "git rm" > > and let you submit the patch as you

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-08 Thread Alan Stern
On Wed, Oct 07, 2020 at 07:50:25PM -0700, Paul E. McKenney wrote: > There are some distractions at the moment. > > Please see below. If this is not exactly correct, I will use "git rm" > and let you submit the patch as you wish. > > Thanx, Paul > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-07 Thread Paul E. McKenney
On Wed, Oct 07, 2020 at 10:25:37PM -0400, Alan Stern wrote: > On Wed, Oct 07, 2020 at 03:38:51PM -0700, Paul E. McKenney wrote: > > On Wed, Oct 07, 2020 at 03:40:50PM -0400, Alan Stern wrote: > > > On Wed, Oct 07, 2020 at 10:50:40AM -0700, Paul E. McKenney wrote: > > > > And here is the updated

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-07 Thread Alan Stern
On Wed, Oct 07, 2020 at 03:38:51PM -0700, Paul E. McKenney wrote: > On Wed, Oct 07, 2020 at 03:40:50PM -0400, Alan Stern wrote: > > On Wed, Oct 07, 2020 at 10:50:40AM -0700, Paul E. McKenney wrote: > > > And here is the updated version. > > > > > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-07 Thread Paul E. McKenney
On Wed, Oct 07, 2020 at 03:40:50PM -0400, Alan Stern wrote: > On Wed, Oct 07, 2020 at 10:50:40AM -0700, Paul E. McKenney wrote: > > And here is the updated version. > > > > Thanx, Paul > > > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-07 Thread Alan Stern
On Wed, Oct 07, 2020 at 10:50:40AM -0700, Paul E. McKenney wrote: > And here is the updated version. > > Thanx, Paul > > > > commit

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-07 Thread Paul E. McKenney
On Tue, Oct 06, 2020 at 01:05:25PM -0400, Alan Stern wrote: > On Tue, Oct 06, 2020 at 09:39:54AM -0700, Paul E. McKenney wrote: > > On Mon, Oct 05, 2020 at 03:48:34PM -0400, Alan Stern wrote: > > > On Mon, Oct 05, 2020 at 12:18:01PM -0700, Paul E. McKenney wrote: > > > > Aside from naming and

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-06 Thread Alan Stern
On Tue, Oct 06, 2020 at 09:39:54AM -0700, Paul E. McKenney wrote: > On Mon, Oct 05, 2020 at 03:48:34PM -0400, Alan Stern wrote: > > On Mon, Oct 05, 2020 at 12:18:01PM -0700, Paul E. McKenney wrote: > > > Aside from naming and comment, how about my adding the following? > > > > > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-06 Thread Paul E. McKenney
On Mon, Oct 05, 2020 at 03:48:34PM -0400, Alan Stern wrote: > On Mon, Oct 05, 2020 at 12:18:01PM -0700, Paul E. McKenney wrote: > > Aside from naming and comment, how about my adding the following? > > > > Thanx, Paul > > > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Alan Stern
On Mon, Oct 05, 2020 at 12:18:01PM -0700, Paul E. McKenney wrote: > Aside from naming and comment, how about my adding the following? > > Thanx, Paul > > > > C

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Paul E. McKenney
On Mon, Oct 05, 2020 at 02:19:49PM -0400, Alan Stern wrote: > On Mon, Oct 05, 2020 at 09:52:23AM -0700, Paul E. McKenney wrote: > > On Mon, Oct 05, 2020 at 11:53:10AM -0400, Alan Stern wrote: > > > I tested the new commit -- it does indeed fix the problem. > > > > Beat me to it, very good! ;-) >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Alan Stern
On Mon, Oct 05, 2020 at 09:52:23AM -0700, Paul E. McKenney wrote: > On Mon, Oct 05, 2020 at 11:53:10AM -0400, Alan Stern wrote: > > I tested the new commit -- it does indeed fix the problem. > > Beat me to it, very good! ;-) > > But were you using the crypto-control-data litmus test? I was

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Paul E. McKenney
On Mon, Oct 05, 2020 at 11:53:10AM -0400, Alan Stern wrote: > On Mon, Oct 05, 2020 at 05:15:57PM +0200, Luc Maranget wrote: > > > On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: > > > > > P1(int *x, int *y) > > > > > { > > > > > WRITE_ONCE(*x, READ_ONCE(*y)); > > > > > > > >

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Paul E. McKenney
On Mon, Oct 05, 2020 at 05:15:57PM +0200, Luc Maranget wrote: > > On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: > > > Hi Alan, > > > > > > Just a minor nit in the litmus test. > > > > > > On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote: > > > > To expand on my statement

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Alan Stern
On Mon, Oct 05, 2020 at 05:15:57PM +0200, Luc Maranget wrote: > > On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: > > > > P1(int *x, int *y) > > > > { > > > > WRITE_ONCE(*x, READ_ONCE(*y)); > > > > > > Looks like this one-liner doesn't provide data-dependency of y -> x on

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-05 Thread Luc Maranget
> On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: > > Hi Alan, > > > > Just a minor nit in the litmus test. > > > > On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote: > > > To expand on my statement about the LKMM's weakness regarding control > > > constructs, here is a litmus

Re: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-03 Thread Akira Yokosawa
On Sat, 3 Oct 2020 13:13:38 -0400, Alan Stern wrote: > On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: >> Hi Alan, >> >> Just a minor nit in the litmus test. >> >> On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote: >>> To expand on my statement about the LKMM's weakness regarding

Bug in herd7 [Was: Re: Litmus test for question from Al Viro]

2020-10-03 Thread Alan Stern
On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote: > Hi Alan, > > Just a minor nit in the litmus test. > > On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote: > > To expand on my statement about the LKMM's weakness regarding control > > constructs, here is a litmus test to