From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753556AbdKNEw1 (ORCPT ); Mon, 13 Nov 2017 23:52:27 -0500 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:42396 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1753108AbdKNEw0 (ORCPT ); Mon, 13 Nov 2017 23:52:26 -0500 Date: Mon, 13 Nov 2017 20:52:20 -0800 From: "Paul E. McKenney" To: Alan Stern Cc: Andrea Parri , Will Deacon , peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, Jade Alglave , Luc Maranget , Kernel development list , elena.reshetova@intel.com Subject: Re: Prototype patch for Linux-kernel memory model Reply-To: paulmck@linux.vnet.ibm.com References: <20171113184031.GA26302@linux.vnet.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 17111404-0052-0000-0000-00000281D1AC X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008064; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000240; SDB=6.00945575; UDB=6.00477220; IPR=6.00725871; BA=6.00005689; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00018004; XFM=3.00000015; UTC=2017-11-14 04:52:24 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17111404-0053-0000-0000-0000529DFD69 Message-Id: <20171114045220.GM3624@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-11-14_03:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1711140065 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org 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 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. ] I updated these, recategorizing the "Uncategorized stuff" and removing the note from litmus-tests/README -- we don't seem to use R in recipes anyway. > In the files defining the memory model, we should replace the GPL > boilerplate with SPDX headers. We can! I pushed both commits. Thanx, Paul