Re: Prototype patch for Linux-kernel memory model

On Sat, Dec 23, 2017 at 11:44:18AM +0530, afzal mohammed wrote: > Hi, > > On Fri, Dec 22, 2017 at 09:41:32AM +0530, afzal mohammed wrote: > > On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > > > > Have you installed and run the herd tool? Doing so would allow you > > > to

Re: Prototype patch for Linux-kernel memory model

On Sat, Dec 23, 2017 at 11:44:18AM +0530, afzal mohammed wrote: > Hi, > > On Fri, Dec 22, 2017 at 09:41:32AM +0530, afzal mohammed wrote: > > On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > > > > Have you installed and run the herd tool? Doing so would allow you > > > to

Re: Prototype patch for Linux-kernel memory model

Hi, On Fri, Dec 22, 2017 at 09:41:32AM +0530, afzal mohammed wrote: > On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > > Have you installed and run the herd tool? Doing so would allow you > > to experiment with changes to the litmus tests. > > Yes, i installed herd tool and

Re: Prototype patch for Linux-kernel memory model

Hi, On Fri, Dec 22, 2017 at 09:41:32AM +0530, afzal mohammed wrote: > On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > > Have you installed and run the herd tool? Doing so would allow you > > to experiment with changes to the litmus tests. > > Yes, i installed herd tool and

Re: Prototype patch for Linux-kernel memory model

Hi, On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > On Thu, Dec 21, 2017 at 09:00:55AM +0530, afzal mohammed wrote: > > Since it is now mentioned that r1 can have final value of 0, though it > > is understood, it might make things crystal clear and for the sake of > >

Re: Prototype patch for Linux-kernel memory model

Hi, On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote: > On Thu, Dec 21, 2017 at 09:00:55AM +0530, afzal mohammed wrote: > > Since it is now mentioned that r1 can have final value of 0, though it > > is understood, it might make things crystal clear and for the sake of > >

Re: Prototype patch for Linux-kernel memory model

On Thu, Dec 21, 2017 at 09:00:55AM +0530, afzal mohammed wrote: > Hi, > > On Wed, Dec 20, 2017 at 08:45:38AM -0800, Paul E. McKenney wrote: > > On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > > > > > +It is tempting to assume that CPU0()'s store to x is globally ordered > > > >

Re: Prototype patch for Linux-kernel memory model

On Thu, Dec 21, 2017 at 09:00:55AM +0530, afzal mohammed wrote: > Hi, > > On Wed, Dec 20, 2017 at 08:45:38AM -0800, Paul E. McKenney wrote: > > On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > > > > > +It is tempting to assume that CPU0()'s store to x is globally ordered > > > >

Re: Prototype patch for Linux-kernel memory model

Hi, On Wed, Dec 20, 2017 at 08:45:38AM -0800, Paul E. McKenney wrote: > On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > > > +It is tempting to assume that CPU0()'s store to x is globally ordered > > > +before CPU1()'s store to z, but this is not the case: > > > + > > > + /* See

Re: Prototype patch for Linux-kernel memory model

Hi, On Wed, Dec 20, 2017 at 08:45:38AM -0800, Paul E. McKenney wrote: > On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > > > +It is tempting to assume that CPU0()'s store to x is globally ordered > > > +before CPU1()'s store to z, but this is not the case: > > > + > > > + /* See

Re: Prototype patch for Linux-kernel memory model

On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > Hi, > > Is this patch not destined to the HEAD of Torvalds ?, got that feeling > as this was in flight around merge window & have not yet made there. That is the goal, hopefully the next merge window, or if not, the one after

Re: Prototype patch for Linux-kernel memory model

On Wed, Dec 20, 2017 at 05:01:45PM +0530, afzal mohammed wrote: > Hi, > > Is this patch not destined to the HEAD of Torvalds ?, got that feeling > as this was in flight around merge window & have not yet made there. That is the goal, hopefully the next merge window, or if not, the one after

Re: Prototype patch for Linux-kernel memory model

Hi, Is this patch not destined to the HEAD of Torvalds ?, got that feeling as this was in flight around merge window & have not yet made there. On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > diff --git a/tools/memory-model/Documentation/recipes.txt >

Re: Prototype patch for Linux-kernel memory model

Hi, Is this patch not destined to the HEAD of Torvalds ?, got that feeling as this was in flight around merge window & have not yet made there. On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > diff --git a/tools/memory-model/Documentation/recipes.txt >

Re: Prototype patch for Linux-kernel memory model

On Tue, 19 Dec 2017, afzal mohammed wrote: > Hi, > > A trivial & late (sorry) comment, > > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > > +THE HAPPENS-BEFORE RELATION: hb > > +--- > > > +Less trivial examples of prop all involve fences.

Re: Prototype patch for Linux-kernel memory model

On Tue, 19 Dec 2017, afzal mohammed wrote: > Hi, > > A trivial & late (sorry) comment, > > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > > +THE HAPPENS-BEFORE RELATION: hb > > +--- > > > +Less trivial examples of prop all involve fences.

Re: Prototype patch for Linux-kernel memory model

Hi, A trivial & late (sorry) comment, On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > +THE HAPPENS-BEFORE RELATION: hb > +--- > +Less trivial examples of prop all involve fences. Unlike the simple > +examples above, they can require that some

Re: Prototype patch for Linux-kernel memory model

Hi, A trivial & late (sorry) comment, On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > +THE HAPPENS-BEFORE RELATION: hb > +--- > +Less trivial examples of prop all involve fences. Unlike the simple > +examples above, they can require that some

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 20, 2017 at 05:35:04PM +0100, Andrea Parri wrote: > On Fri, Nov 17, 2017 at 07:27:46PM +0800, Boqun Feng wrote: > > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > > > On Tue, Nov 14, 2017 at

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 20, 2017 at 05:35:04PM +0100, Andrea Parri wrote: > On Fri, Nov 17, 2017 at 07:27:46PM +0800, Boqun Feng wrote: > > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > > > On Tue, Nov 14, 2017 at

Re: Prototype patch for Linux-kernel memory model

On Fri, Nov 17, 2017 at 07:27:46PM +0800, Boqun Feng wrote: > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > > On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > > > > On Tue, 14 Nov 2017, Peter

Re: Prototype patch for Linux-kernel memory model

On Fri, Nov 17, 2017 at 07:27:46PM +0800, Boqun Feng wrote: > On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > > On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > > > > On Tue, 14 Nov 2017, Peter

Re: Prototype patch for Linux-kernel memory model

On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > > > On Tue, 14 Nov 2017, Peter Zijlstra wrote: > > > > > > > On Mon, Nov 13, 2017 at 10:40:31AM

Re: Prototype patch for Linux-kernel memory model

On Wed, Nov 15, 2017 at 08:37:49AM -0800, Paul E. McKenney wrote: > On Tue, Nov 14, 2017 at 09:15:05AM -0800, Paul E. McKenney wrote: > > On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > > > On Tue, 14 Nov 2017, Peter Zijlstra wrote: > > > > > > > On Mon, Nov 13, 2017 at 10:40:31AM

Re: Prototype patch for Linux-kernel memory model

On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > On Tue, 14 Nov 2017, Peter Zijlstra wrote: > > > On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > > > commit 82a1431549b4eae531e83298fd72cd0acea08540 > > > Author: Paul E. McKenney > > >

Re: Prototype patch for Linux-kernel memory model

On Tue, Nov 14, 2017 at 10:19:21AM -0500, Alan Stern wrote: > On Tue, 14 Nov 2017, Peter Zijlstra wrote: > > > On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > > > commit 82a1431549b4eae531e83298fd72cd0acea08540 > > > Author: Paul E. McKenney > > > Date: Mon Nov 13 10:30:07

Re: Prototype patch for Linux-kernel memory model

On Tue, 14 Nov 2017, Peter Zijlstra wrote: > On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > > commit 82a1431549b4eae531e83298fd72cd0acea08540 > > Author: Paul E. McKenney > > Date: Mon Nov 13 10:30:07 2017 -0800 > > > > tools: Automate

Re: Prototype patch for Linux-kernel memory model

On Tue, 14 Nov 2017, Peter Zijlstra wrote: > On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > > commit 82a1431549b4eae531e83298fd72cd0acea08540 > > Author: Paul E. McKenney > > Date: Mon Nov 13 10:30:07 2017 -0800 > > > > tools: Automate memory-barriers.txt; provide

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > commit 82a1431549b4eae531e83298fd72cd0acea08540 > Author: Paul E. McKenney > Date: Mon Nov 13 10:30:07 2017 -0800 > > tools: Automate memory-barriers.txt; provide Linux-kernel memory model >

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 13, 2017 at 10:40:31AM -0800, Paul E. McKenney wrote: > commit 82a1431549b4eae531e83298fd72cd0acea08540 > Author: Paul E. McKenney > Date: Mon Nov 13 10:30:07 2017 -0800 > > tools: Automate memory-barriers.txt; provide Linux-kernel memory model > > There is some reason

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 13, 2017 at 03:09:11PM -0500, Alan Stern wrote: > On Mon, 13 Nov 2017, Paul E. McKenney wrote: > > > Hello! > > > > Please see below for the git commit corresponding to a prototype > > patch for the Linux-kernel memory model. This addresses the feedbac

Re: Prototype patch for Linux-kernel memory model

On Mon, Nov 13, 2017 at 03:09:11PM -0500, Alan Stern wrote: > On Mon, 13 Nov 2017, Paul E. McKenney wrote: > > > Hello! > > > > Please see below for the git commit corresponding to a prototype > > patch for the Linux-kernel memory model. This addresses the feedbac

Re: Prototype patch for Linux-kernel memory model

On Mon, 13 Nov 2017, Paul E. McKenney wrote: > Hello! > > Please see below for the git commit corresponding to a prototype > patch for the Linux-kernel memory model. This addresses the feedback > we got at Linux Plumbers Conference: > > 1.There is a Documentation/re

Re: Prototype patch for Linux-kernel memory model

On Mon, 13 Nov 2017, Paul E. McKenney wrote: > Hello! > > Please see below for the git commit corresponding to a prototype > patch for the Linux-kernel memory model. This addresses the feedback > we got at Linux Plumbers Conference: > > 1.There is a Documentation/re