From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751593AbeA2Jy7 (ORCPT ); Mon, 29 Jan 2018 04:54:59 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:49812 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751204AbeA2Jy6 (ORCPT ); Mon, 29 Jan 2018 04:54:58 -0500 Date: Mon, 29 Jan 2018 01:54:49 -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 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> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180129065724.ybrdsabvktq7fbqg@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18012909-0056-0000-0000-000004117E66 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008447; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000248; SDB=6.00981983; UDB=6.00497897; IPR=6.00761265; BA=6.00005799; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00019267; XFM=3.00000015; UTC=2018-01-29 09:54:53 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18012909-0057-0000-0000-00000848E5CC Message-Id: <20180129095449.GT3741@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-01-29_05:,, 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-1801290133 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Jan 29, 2018 at 07:57:24AM +0100, Ingo Molnar wrote: > > hi Paul, > > * Paul E. McKenney wrote: > > > Hello, Ingo, > > > > This pull request contains a single commit that adds a memory model to > > the tools directory. This memory model can (roughly speaking) be thought > > of as an automated version of memory-barriers.txt. It is written in the > > "cat" language, which is executable by the externally provided "herd7" > > simulator, which exhaustively explores the state space of small litmus > > tests. > > > > This memory model is accompanied by extensive documentation on its use > > and its design. Two versions have been sent to LKML and feedback > > incorporated: > > > > 1. http://lkml.kernel.org/r/20171113184031.GA26302@linux.vnet.ibm.com > > 2. http://lkml.kernel.org/r/20180119035855.GA29296@linux.vnet.ibm.com > > > > This model has been presented and demoed at a number of Linux gatherings, > > including the 2016 LinuxCon EU, the 2016 Linux Plumbers Conference, > > the 2016 Linux Kernel Summit, the 2017 linux.conf.au, and the 2017 Linux > > Plumbers Conference, which featured a workshop helping a number of Linux > > kernel hackers install and use the tool. > > > > This memory model has matured to the point where it would be good to include > > it in the Linux kernel, for example, to allow it to track changes as new > > hardware and use cases are added. We expect the rate of change to be similar > > to that of Documentation/memory-barriers.txt. > > > > This memory model is available in the git repository at: > > > > git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git > > > > for you to fetch changes up to 1c27b644c0fdbc61e113b8faee14baeb8df32486: > > > > Automate memory-barriers.txt; provide Linux-kernel memory model (2018-01-24 20:53:49 -0800) > > Looks good to me, but the commit is not in the master branch of your tree, which > branch should I pull? Oops!!! The branch is lkmm-for-mingo. Please accept my apologies for the implicit maintainer treasure hunt! Thanx, Paul