Received: by 10.223.185.116 with SMTP id b49csp667253wrg; Wed, 21 Feb 2018 05:06:20 -0800 (PST) X-Google-Smtp-Source: AH8x226CyJZHuD1+4xOAEkdCLcSBVko8GlW7f4VFKnGGb6iqBavVUnzlAIM8RCjAzlXUx5bxq0j0 X-Received: by 10.99.135.65 with SMTP id i62mr2680936pge.331.1519218380119; Wed, 21 Feb 2018 05:06:20 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1519218380; cv=none; d=google.com; s=arc-20160816; b=WgUwEIxl8B06VR6R8w+vCzFgAQBdPiffn8qXUHFERPSASJJ3xBvdyc+P7C+dWJ4urW PCPZmmDbv8MwzP+s4SWo0Nh+bdjLdEoQvh25o6wo8vw4vr5K4EaHXUqhDusqNjLUnT34 BYHLaOqmL9NoN0q9RIZE7wCKOT0GLzK0lISIu9KUo6vi0+ik4FOBEtXhfCoDyGo81bPA jr2chSS5KkE2NnMwtSa/2YC+7vyTSUjNN0w+VMBQE3MV0fZJB5fSxtWjFZ6SYio8sQuR FoOFvWt7pLVFExx7MS86oDqzSKqvusH7ER7AwFJJfjk9ZXjY8rWu7SjYVrXmQzRHW55A wgew== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-disposition :content-transfer-encoding:mime-version:robot-unsubscribe:robot-id :git-commit-id:subject:to:references:in-reply-to:reply-to:cc :message-id:from:date:arc-authentication-results; bh=eordJ1c6sdAJrrP9QWpuiqH91nHbxLJd5PKhtS8BUOA=; b=FE2s3U39UvkozBKw1dALdWfhBCpG4X7kfwD/1jh+LWzQ8wCVrAN+onYMlZ1ErhqgFk r+Q8NjgYaPng/wlF686mMkxZvy9ucJKyhWs43Jo6ovrcGS9JsrA1KQPrIVnikZjIxsBp R6VrjfnVD+LJhWa67bE57DvjE8XXC4kBWwGoqWtwG97KQcv12/LMtPbArAkcqd6iUP8d HAtOArvHQo0wiaAn7oiRZrr1OyOFGc/iA2Zz0w2FftvOL7e1YYpeEIYvp7wVxe4oHqY4 eFy5SgSdn4PWWtUJ9fvW6xyFufkz9XK7sSGLthXHEBfc5wHpxbm5OuXGvKODsj4bvyiJ Sc0w== 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 Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id 89-v6si7390244pld.729.2018.02.21.05.06.02; Wed, 21 Feb 2018 05:06:20 -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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753510AbeBUKmC (ORCPT + 99 others); Wed, 21 Feb 2018 05:42:02 -0500 Received: from terminus.zytor.com ([198.137.202.136]:36231 "EHLO terminus.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753145AbeBUKlr (ORCPT ); Wed, 21 Feb 2018 05:41:47 -0500 Received: from terminus.zytor.com (localhost [127.0.0.1]) by terminus.zytor.com (8.15.2/8.15.2) with ESMTP id w1LAfOYq001973; Wed, 21 Feb 2018 02:41:24 -0800 Received: (from tipbot@localhost) by terminus.zytor.com (8.15.2/8.15.2/Submit) id w1LAfNFJ001970; Wed, 21 Feb 2018 02:41:23 -0800 Date: Wed, 21 Feb 2018 02:41:23 -0800 X-Authentication-Warning: terminus.zytor.com: tipbot set sender to tipbot@zytor.com using -f From: "tip-bot for Paul E. McKenney" Message-ID: Cc: torvalds@linux-foundation.org, linux-kernel@vger.kernel.org, hpa@zytor.com, tglx@linutronix.de, paulmck@linux.vnet.ibm.com, mingo@kernel.org, peterz@infradead.org Reply-To: linux-kernel@vger.kernel.org, torvalds@linux-foundation.org, tglx@linutronix.de, hpa@zytor.com, peterz@infradead.org, paulmck@linux.vnet.ibm.com, mingo@kernel.org In-Reply-To: <1519169112-20593-5-git-send-email-paulmck@linux.vnet.ibm.com> References: <1519169112-20593-5-git-send-email-paulmck@linux.vnet.ibm.com> To: linux-tip-commits@vger.kernel.org Subject: [tip:locking/core] README: Fix a couple of punctuation errors Git-Commit-ID: 62155147048f6c811b82cbb53bee246aee083774 X-Mailer: tip-git-log-daemon Robot-ID: Robot-Unsubscribe: Contact to get blacklisted from these emails MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline X-Spam-Status: No, score=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00 autolearn=ham autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on terminus.zytor.com Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Commit-ID: 62155147048f6c811b82cbb53bee246aee083774 Gitweb: https://git.kernel.org/tip/62155147048f6c811b82cbb53bee246aee083774 Author: Paul E. McKenney AuthorDate: Tue, 20 Feb 2018 15:25:05 -0800 Committer: Ingo Molnar CommitDate: Wed, 21 Feb 2018 09:58:14 +0100 README: Fix a couple of punctuation errors Signed-off-by: Paul E. McKenney Acked-by: Peter Zijlstra Cc: Linus Torvalds Cc: Thomas Gleixner Cc: akiyks@gmail.com Cc: boqun.feng@gmail.com Cc: dhowells@redhat.com Cc: j.alglave@ucl.ac.uk Cc: linux-arch@vger.kernel.org Cc: luc.maranget@inria.fr Cc: nborisov@suse.com Cc: npiggin@gmail.com Cc: parri.andrea@gmail.com Cc: stern@rowland.harvard.edu Cc: will.deacon@arm.com Link: http://lkml.kernel.org/r/1519169112-20593-5-git-send-email-paulmck@linux.vnet.ibm.com Signed-off-by: Ingo Molnar --- tools/memory-model/litmus-tests/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/memory-model/litmus-tests/README b/tools/memory-model/litmus-tests/README index 9a3bb59..dca7d823 100644 --- a/tools/memory-model/litmus-tests/README +++ b/tools/memory-model/litmus-tests/README @@ -23,14 +23,14 @@ IRIW+mbonceonces+OnceOnce.litmus between each pairs of reads. In other words, is smp_mb() sufficient to cause two different reading processes to agree on the order of a pair of writes, where each write is to a different - variable by a different process. + variable by a different process? IRIW+poonceonces+OnceOnce.litmus Test of independent reads from independent writes with nothing between each pairs of reads. In other words, is anything at all needed to cause two different reading processes to agree on the order of a pair of writes, where each write is to a different - variable by a different process. + variable by a different process? ISA2+poonceonces.litmus As below, but with store-release replaced with WRITE_ONCE()