Received: by 10.223.185.116 with SMTP id b49csp38860wrg; Tue, 20 Feb 2018 15:26:17 -0800 (PST) X-Google-Smtp-Source: AH8x224R0iMV1lQzGQJIL5MjI6IqydkCk/In44mFKEbeg2mAELr4uy3vm6NSXJtI/TvUn6ubQIVC X-Received: by 10.98.63.147 with SMTP id z19mr1190706pfj.221.1519169177252; Tue, 20 Feb 2018 15:26:17 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1519169177; cv=none; d=google.com; s=arc-20160816; b=ZFv3nicVGBOLLCrlbW5a5PkcG9htMLDR3+0SLxqYFdqSjE6103herkLrf6ui9C0gTT 71g1/OWE7Jrj7wmr3Jqbv1KQ/VTE9Vu5DGkc13OPmOj0vhGFmygFog4WQzCVAb8KcHv1 A8nFIX+MZzSKMY9qtTGla2rhYvvQyO5dNLdgF23EC80VoZ4R6StCcuoHoa+xOQ2yBDCA GQ7M+sqm1T6p7M2KScVMk6DhiLz5utpq4EAqmTUf51yFPHF4Ez1Gqgc2MIboVH8Q7XIT zPRrmcqBhClG8R+gJeYmbSFIJis1Gz1L2EXlRGWdcqra5H7yYHn0HwmoLjhkibuO2CVx noSw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:references:in-reply-to:date :subject:cc:to:from:arc-authentication-results; bh=PBvg30vS5hvS3UKBwwWoNrufQgy61azenEtRg5x/NXo=; b=qh7daYDGMtWrriPTqejnQXLdAnDmsTDil1l321YxsFiz8Su04vYjMcItV0IQmEsO3V 8IcEiIGGXvD2aXsFaQ9zLXMTr+CCFa1gws3xcKjyU+JFUBqbLphXf8drXK8daBfPPkGU lvIzyPkR+AOOubyHn0hrmHorFLlrgD4AZBJ87X9HtYtmWJG2exHHiO5tGOfW2bb5/dQ7 DAbTf0/hH3fBPwpm0QwkX/OOkAVAKkFOoZYDTNp4NQj1s4nd9JCV7kaiV3NQNdOa7VbD 1Lj19dyTr8cwXz48CZOQin1pZQndDfSL325wv4750TUCqv4qwIFCEW2wthjXpzD+e2a9 dVzg== 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 a3-v6si1509722plp.76.2018.02.20.15.26.03; Tue, 20 Feb 2018 15:26: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 S1752028AbeBTXZS (ORCPT + 99 others); Tue, 20 Feb 2018 18:25:18 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:35496 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752000AbeBTXZO (ORCPT ); Tue, 20 Feb 2018 18:25:14 -0500 Received: from pps.filterd (m0098399.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1KNOAuj124975 for ; Tue, 20 Feb 2018 18:25:14 -0500 Received: from e14.ny.us.ibm.com (e14.ny.us.ibm.com [129.33.205.204]) by mx0a-001b2d01.pphosted.com with ESMTP id 2g8rqead35-1 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=NOT) for ; Tue, 20 Feb 2018 18:25:03 -0500 Received: from localhost by e14.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Tue, 20 Feb 2018 18:25:02 -0500 Received: from b01cxnp23033.gho.pok.ibm.com (9.57.198.28) by e14.ny.us.ibm.com (146.89.104.201) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Tue, 20 Feb 2018 18:24:58 -0500 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp23033.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w1KNOwt33539248; Tue, 20 Feb 2018 23:24:58 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 7FF60B2052; Tue, 20 Feb 2018 19:27:16 -0500 (EST) Received: from paulmck-ThinkPad-W541 (unknown [9.85.154.79]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id 42B5AB2058; Tue, 20 Feb 2018 19:27:16 -0500 (EST) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 25C9616C8696; Tue, 20 Feb 2018 15:25:21 -0800 (PST) From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Cc: mingo@kernel.org, stern@rowland.harvard.edu, parri.andrea@gmail.com, will.deacon@arm.com, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, nborisov@suse.com, "Paul E. McKenney" Subject: [PATCH RFC tools/lkmm 05/12] README: Fix a couple of punctuation errors Date: Tue, 20 Feb 2018 15:25:05 -0800 X-Mailer: git-send-email 2.5.2 In-Reply-To: <20180220232405.GA19274@linux.vnet.ibm.com> References: <20180220232405.GA19274@linux.vnet.ibm.com> X-TM-AS-GCONF: 00 x-cbid: 18022023-0052-0000-0000-000002BB5DD9 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008566; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000254; SDB=6.00992684; UDB=6.00504343; IPR=6.00772031; MB=3.00019661; MTD=3.00000008; XFM=3.00000015; UTC=2018-02-20 23:25:02 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18022023-0053-0000-0000-00005BC22BFC Message-Id: <1519169112-20593-5-git-send-email-paulmck@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-02-20_09:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=0 malwarescore=0 lowpriorityscore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1802200276 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Signed-off-by: Paul E. McKenney --- 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 9a3bb5949191..dca7d823ad57 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() -- 2.5.2