Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Date:   Mon, 13 Nov 2017 15:09:11 -0500 (EST)
From:   Alan Stern <stern@rowland.harvard.edu>
To:     "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
cc:     Andrea Parri <parri.andrea@gmail.com>,
        Will Deacon <will.deacon@arm.com>, <peterz@infradead.org>,
        <boqun.feng@gmail.com>, <npiggin@gmail.com>, <dhowells@redhat.com>,
        Jade Alglave <j.alglave@ucl.ac.uk>,
        Luc Maranget <luc.maranget@inria.fr>,
        Kernel development list <linux-kernel@vger.kernel.org>,
        <elena.reshetova@intel.com>
Subject: Re: Prototype patch for Linux-kernel memory model
In-Reply-To: <20171113184031.GA26302@linux.vnet.ibm.com>
Message-ID: <Pine.LNX.4.44L0.1711131501180.1410-100000@iolanthe.rowland.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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/recipes.txt file giving known-good
> 	useful examples, along with corresponding litmus tests.
> 
> 2.	There is a Documentation/explanation.txt file giving an
> 	overview of the memory model and its workings.
> 
> 3.	There is a Documentation/references.txt file giving some
> 	background reading.
> 
> I believe that we have something that will be extremely useful and
> valuable to novices and experts alike.
> 
> Please note that this version of the memory model does not yet reflect
> the changes that make DEC Alpha no longer be a special case because
> those changes have not yet hit mainline.  The model will be updated
> once this happens.
> 
> Thoughts?

In references.txt, should we add URLs to non-paywalled PDFs?  Or should
we assume that our readers are capable of using Google to find these 
things on their own?

There are a few places where some comments should be resolved/removed
before submission:

	Documentation/references.txt line 98:
	Uncategorized stuff (any of this really needed?)

	litmus-tests/README line 92:
	[ Shouldn't we have one with smp_wmb() in the process with both
	  writes, and smp_mb() in the other process. ]

In the files defining the memory model, we should replace the GPL
boilerplate with SPDX headers.

Alan


From 1583977336012014895@xxx Mon Nov 13 18:41:43 +0000 2017
X-GM-THRID: 1583977336012014895
X-Gmail-Labels: Inbox,Category Forums,HistoricalUnread