Received: by 2002:a25:868d:0:0:0:0:0 with SMTP id z13csp2048109ybk; Mon, 11 May 2020 10:36:02 -0700 (PDT) X-Google-Smtp-Source: APiQypLeRiN6V1Vjg9mQ1vfcgtV/GDTf5iZUdJY6pwWX7J/6HwKl7jK2s7A88u+nSIkUCbJk5Hdn X-Received: by 2002:a50:cd57:: with SMTP id d23mr9972932edj.181.1589218561851; Mon, 11 May 2020 10:36:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1589218561; cv=none; d=google.com; s=arc-20160816; b=op0X8qeYrBVVCbY4ImfuGVGX13Wk/yLfMvCMx0Cxmk9rhZsa92mUJSc5eOjE/KWQzS sPnPmL+aBufy+vIIUVwyCAEsMTxMOWrOFWfa/+RFY0xGUwp9TNgKeY7sIYqM/2/ZsbHP 3v0BBCaShjgXL2FxBugWPFq64iq+sX9hV+ggq7UN1SJMrl0I9/n+ZiFXrrIhazAslcyF 3moKnRB+C15RJ4q3amdVJJQooULYoUlWjfwZ936b6NvvPYKSrj+kjlmr8IkAlfWmwfT2 by7sdBnVX+mu3JL02imiy7xY3MWqjI6kOPcE2xUGfrVxUYj35kJLzPahRVBnK66Hiv1V a5rA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:reply-to:message-id :subject:cc:to:from:date:dkim-signature; bh=rvMlTKV1c2MIzYpqp20rdwXtGBfE+iNmUk7+NnLd+yY=; b=cqcUZFnwkbr5rbmKbMm8J7B5Acyf2JE9e+8OKoNQLSPRquD+MdVcGn6OC6Sfsj3jwX 7jbr7a4vxqel9SMkmffeRS9d5QtkJ7xbdj6zPXYNtN5PrQbbyX/s876eOkj5f2HozLDk 11b7j3vTyREexvIOiAss692vB676K1LT2Y9nGrlzIUWhkdA/luzW/jpWKeCL1illKVvd MO53QqskmisH5HJ9A0GaO22nIqpAtxPo7mbbw2nH8uXAcMyCPM+SYXd4AIEQ7DZSVgTs 9SWMtpboDUcBC2HNAcjqoRGWALuo9KrIDVPDglkGBAvxM4aT0Xbobnq4prU/0RbahPdP A4mg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=mG73zVbt; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id rl2si2437026ejb.232.2020.05.11.10.35.38; Mon, 11 May 2020 10:36:01 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=mG73zVbt; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1730981AbgEKRdu (ORCPT + 99 others); Mon, 11 May 2020 13:33:50 -0400 Received: from mail.kernel.org ([198.145.29.99]:53302 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1730215AbgEKRdt (ORCPT ); Mon, 11 May 2020 13:33:49 -0400 Received: from paulmck-ThinkPad-P72.home (50-39-105-78.bvtn.or.frontiernet.net [50.39.105.78]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 88FF720720; Mon, 11 May 2020 17:33:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1589218428; bh=Ld6u2nKxuEazMixoxWTsfhtvmt3aD0PMzwYEqn6CJss=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=mG73zVbtKXMszUw6bgydX3SAhe6duep6quJlk89CI/+Xm4uui6ulk3x0p1k9hh/XK xINIg8UyDwXkmNTjQ/P3XK6FHDXZ2Fm1rPUgDKJem0n7GDRW4o58WQOlTn98smyWe/ m7D4uoPSjMcawu4bN0Sih6wI1ebqXc56D6SMHzJE= Received: by paulmck-ThinkPad-P72.home (Postfix, from userid 1000) id 6AE44352271C; Mon, 11 May 2020 10:33:48 -0700 (PDT) Date: Mon, 11 May 2020 10:33:48 -0700 From: "Paul E. McKenney" To: Akira Yokosawa Cc: "Joel Fernandes (Google)" , Boqun Feng , linux-kernel@vger.kernel.org, vpillai@digitalocean.com, Jonathan Corbet , Alan Stern , Andrea Parri , Will Deacon , Peter Zijlstra , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , Daniel Lustig , linux-doc@vger.kernel.org Subject: Re: [PATCH 0/3] tools/memory-model, Documentation/litmus-test: Sort out location of litmus test and README Message-ID: <20200511173348.GX2869@paulmck-ThinkPad-P72> Reply-To: paulmck@kernel.org References: <20200323015735.236279-1-joel@joelfernandes.org> <7809dbfa-7a76-8663-799a-908c4ead8d30@gmail.com> <21e1ba24-22d0-8083-770c-53d320ba5420@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <21e1ba24-22d0-8083-770c-53d320ba5420@gmail.com> User-Agent: Mutt/1.9.4 (2018-02-28) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, May 10, 2020 at 04:21:02PM +0900, Akira Yokosawa wrote: > On Sat, 9 May 2020 12:43:30 +0900, Akira Yokosawa wrote: > > Hi Joel, > > > > Sorry for the late response but I've noticed some glitches. > > > > On Sun, 22 Mar 2020 21:57:32 -0400, Joel Fernandes (Google) wrote: > >> Move MP+onceassign+derefonce to the new Documentation/litmus-tests/rcu/ > >> directory. > > > > MP+onceassign+derefonce.litmus is called out in > > tools/memory-model/Documentation/recipes.txt as a representative example > > of RCU related litmus test. > > > > So I think it should be kept under tools/memory-model/litmus-tests. > > > > Further RCU-related litmus tests can be added under Documentation/litmus-tests/. > > > > IIUC, this change is not picked up by tip tree yet. So we have time to respin > > the series targeting v5.9. > > > >> > >> More RCU-related litmus tests would be added here. > >> > >> Signed-off-by: Joel Fernandes (Google) > >> > >> --- > >> Cc: vpillai@digitalocean.com > >> > >> Documentation/litmus-tests/README | 9 +++++++++ > > > > Please note that later patches to add atomic litmus tests under > > Documentation/litmus-tests/ by Boqun put README as > > Documentation/litums-tests/atomic/README. > > > > This patch's location of RCU's README as Documentation/litmus-tests/README > > looks asymmetric to me. > > > > I'm OK with either merging atomic's README with the top-level one or > > moving RCU's README to under Documentation/litmus-tests/rcu. > > > > Joel, Boqum, can you sort out the location of README? > > So something like this? > > Patch 1/3 is an independent typo fix in recipes.txt. > Patch 2/3 reverts the MP+onceassign+derefonce relocation. > Patch 3/3 merges atomic's README into the top-level one. > > This is relative to -rcu's lkmm branch. > > Thoughts? Looks plausible to me, and thank you for reviewing this. Joel, thoughts? Thanx, Paul > Thanks, Akira > -- > Akira Yokosawa (3): > tools/memory-model: Fix reference to litmus test in recipes.txt > Revert "Documentation: LKMM: Move MP+onceassign+derefonce to new > litmus-tests/rcu/" > Documentation/litmus-tests: Merge atomic's README into top-level one > > Documentation/litmus-tests/README | 22 ++++++++++++++++--- > Documentation/litmus-tests/atomic/README | 16 -------------- > tools/memory-model/Documentation/recipes.txt | 2 +- > .../MP+onceassign+derefonce.litmus | 0 > tools/memory-model/litmus-tests/README | 3 +++ > 5 files changed, 23 insertions(+), 20 deletions(-) > delete mode 100644 Documentation/litmus-tests/atomic/README > rename {Documentation/litmus-tests/rcu => tools/memory-model/litmus-tests}/MP+onceassign+derefonce.litmus (100%) > > -- > 2.17.1 > >