Received: by 10.223.176.5 with SMTP id f5csp474539wra; Fri, 2 Feb 2018 00:43:18 -0800 (PST) X-Google-Smtp-Source: AH8x224PX+nq6wCZRnw2pbM7pUsH8eaMKoRO3S3MQwJVe6SKitz8NoS8z4gEmrglFkSeuSEuiy6w X-Received: by 10.99.177.4 with SMTP id r4mr30899594pgf.245.1517560997922; Fri, 02 Feb 2018 00:43:17 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1517560997; cv=none; d=google.com; s=arc-20160816; b=s1ohSTALKNPtOj7xlHLJ2iQ80R9lCgkM2axZ4efe0y0QojEQq+cRT1dH3b+uVyV97a /D05tHnV5eRi2pTGm4qrvUmHqDfnnDQxqVtFbyM+ry0gLnPdmIkwoCR2FNRbmIs9oyo0 0tW9fxEm8KQcT8VDx62Y1V+kX2zRyGk23Ma+gh2xrID6P8X3BhnDV0QGIqS83k/eDGey DwKTS760fCgQ7sJLthbjx+vA+CnzcGmOErV0yWfX0VdAjQENUh1y1anNzgM/Tkc6Tr+9 +78IGkXCyZRKIqZz1zpl1xJWB3S/v+RfN4FEljocd+l2fJcaW6a1zst0ww+S27vx42yY sp1A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:user-agent:in-reply-to :content-disposition:mime-version:references:reply-to:subject:cc:to :from:date:arc-authentication-results; bh=buOIin78TAG0xDpZWvdGmd71sV5FWZPkksfhEQ1Z6Wk=; b=nhNpX5ONlhw3XLTdVp1YxVUxIIcWR8/CDOyyRmCuU5+buzuTI2m9qgy41+URcHJRAm riVY48TMt4Rx1JCs/7PYjLhMMMxLJFYBqRVknKtC7gZzUuOjl9JSJmR0/bSGIXqu0z/R OBLVwwJchbuLye78TWiLLyqUH5i5ktq5N72757adA+fDb1L2iwP2brYFb7qwYKbeugAl 7wR0knSRMQmuZG6PeNuBD5topM/1vbtavhoAGJHMFwsRCjW+rxIF5Gd8p8uorYsC0z4Z j1xyW50riHfExqv61nfXtiAB9KFWunp2wcB7PWE9DKpZRN/NzM4VTY0ig83moaaa5fKm p0ww== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id t1si1114190pgu.7.2018.02.02.00.43.02; Fri, 02 Feb 2018 00:43:17 -0800 (PST) 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; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751949AbeBBIlM (ORCPT + 99 others); Fri, 2 Feb 2018 03:41:12 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:46276 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751801AbeBBIky (ORCPT ); Fri, 2 Feb 2018 03:40:54 -0500 Received: from pps.filterd (m0098393.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w128e3gD120554 for ; Fri, 2 Feb 2018 03:40:54 -0500 Received: from e15.ny.us.ibm.com (e15.ny.us.ibm.com [129.33.205.205]) by mx0a-001b2d01.pphosted.com with ESMTP id 2fvm2h9sm8-1 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=NOT) for ; Fri, 02 Feb 2018 03:40:53 -0500 Received: from localhost by e15.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Fri, 2 Feb 2018 03:40:52 -0500 Received: from b01cxnp22033.gho.pok.ibm.com (9.57.198.23) by e15.ny.us.ibm.com (146.89.104.202) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Fri, 2 Feb 2018 03:40:46 -0500 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp22033.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w128eknu39714886; Fri, 2 Feb 2018 08:40:46 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id A2677B2046; Fri, 2 Feb 2018 03:37:42 -0500 (EST) Received: from paulmck-ThinkPad-W541 (unknown [9.85.207.237]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id D8B31B204E; Fri, 2 Feb 2018 03:37:41 -0500 (EST) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 5E20116C3156; Thu, 1 Feb 2018 15:14:09 -0800 (PST) Date: Thu, 1 Feb 2018 15:14:09 -0800 From: "Paul E. McKenney" To: Ingo Molnar Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, stern@rowland.harvard.edu, parri.andrea@gmail.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, boqun.feng@gmail.com, will.deacon@arm.com, peterz@infradead.org, npiggin@gmail.com, dhowells@redhat.com, elena.reshetova@intel.com, mhocko@suse.com, akiyks@gmail.com, Thomas Gleixner , Peter Zijlstra , Linus Torvalds Subject: Re: [GIT PULL tools] Linux kernel memory model Reply-To: paulmck@linux.vnet.ibm.com References: <20180125093440.GA875@linux.vnet.ibm.com> <20180129065724.ybrdsabvktq7fbqg@gmail.com> <20180129095449.GT3741@linux.vnet.ibm.com> <20180131090006.onaopgyqthppoysi@gmail.com> <20180201011728.GL3741@linux.vnet.ibm.com> <20180201065742.efww6os2qiwi2vjj@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180201065742.efww6os2qiwi2vjj@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18020208-0036-0000-0000-000002B81A44 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008461; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000248; SDB=6.00983875; UDB=6.00499022; IPR=6.00763153; BA=6.00005808; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00019331; XFM=3.00000015; UTC=2018-02-02 08:40:51 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18020208-0037-0000-0000-00004333BE26 Message-Id: <20180201231409.GU3741@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-02-02_01:,, 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=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1802020103 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Feb 01, 2018 at 07:57:42AM +0100, Ingo Molnar wrote: > > * Paul E. McKenney wrote: > > > > I believe these additional improvements (to the extent you agree with doing them!) > > > could/should be done as add-on commits on top of this existing commit. > > > > Sounds good! > > > > Would you prefer a pull request or a patch series for these? > > Patch series would be nice, for review and later application to the locking tree. Works for me! I will curate the series on branch lkmm in my -rcu tree, and send the series out non-RFC when I believe that it is ready for you. Thanx, Paul