Received: by 10.223.176.5 with SMTP id f5csp735767wra; Fri, 9 Feb 2018 06:26:05 -0800 (PST) X-Google-Smtp-Source: AH8x225sge1lSM0YaMdfESEh2Rtw/eIGeMmJhkwjDMm7EM7Ewy4KWoRwZRpB0vjpWb2w4ESs/Jh9 X-Received: by 10.99.181.13 with SMTP id y13mr2512477pge.196.1518186365103; Fri, 09 Feb 2018 06:26:05 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1518186365; cv=none; d=google.com; s=arc-20160816; b=RAYxC/32UPlgOkbsm5amTVK7EhLcnRM0RYPfDGtu4KUnZVnZ4xROoAhoghVcoyha5U MDV4BfyGQO88Pjw6X5moWiNFO4eEKINpRcv460ys7shTyvIMwPQT3+i1LVh4H1RJk4VL DxXy95R1CzeOe8gDXzRskBQ45IK0ceu4P2Qnm2tlJyT152Pn6sCBoxVbRH30AYvm+gz3 MSOOjYZQrQNe//H7+4tOoYYkLg2cbmOLobT6wTQCPjTethDpPQeTIPt61/OqPwk4PQAU Fe6PnrWZ56Du1GpkkanY5Ti5U2V2hcAqXI+rIFnUsyPv2hrfwKN5J7fhkuqFiditc2i1 kF6Q== 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=i7Mvv4ada/SrUWuPNCv8WDI2UX+09kHG9mGHtjHXemw6om3U9qtRg6dqcaYozFD7Gi TumGztd5liy4vjGqduHb/oI5qM2gx6FpZpwZL8q5ITVz2Ng6s5y7Kq+/lquto/+PjrTw aLdY4BU/L4eZjmxUzes/EVsCpbLegylsc0nQsKx4bGqZPV8YqImge7HitaTji18wVsnA ty8by+fuTgdOuObbqzGuFKj7SSAP4f9/TkWFyTF76X00EeVor77XdN6vFCVcyGHB4sNy RvZnE0n67iNDXb/xaRCpFYgb7af7Ow6dHN1Sr8tg3F7M9LcGh1Ho+VMj2ZAXAFgeyBsE ryWA== 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 94-v6si1607311plf.451.2018.02.09.06.25.51; Fri, 09 Feb 2018 06:26:05 -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 S1752630AbeBIOYR (ORCPT + 99 others); Fri, 9 Feb 2018 09:24:17 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:47644 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752306AbeBIOWE (ORCPT ); Fri, 9 Feb 2018 09:22:04 -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 w19ELkxv048723 for ; Fri, 9 Feb 2018 09:22:03 -0500 Received: from e11.ny.us.ibm.com (e11.ny.us.ibm.com [129.33.205.201]) by mx0a-001b2d01.pphosted.com with ESMTP id 2g1c3mv10t-1 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=NOT) for ; Fri, 09 Feb 2018 09:22:03 -0500 Received: from localhost by e11.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Fri, 9 Feb 2018 09:22:01 -0500 Received: from b01cxnp22035.gho.pok.ibm.com (9.57.198.25) by e11.ny.us.ibm.com (146.89.104.198) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Fri, 9 Feb 2018 09:21:57 -0500 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp22035.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w19ELuR648562232; Fri, 9 Feb 2018 14:21:56 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 7C8F1B2058; Fri, 9 Feb 2018 09:18:51 -0500 (EST) Received: from paulmck-ThinkPad-W541 (unknown [9.80.219.97]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id 610D1B2060; Fri, 9 Feb 2018 09:18:50 -0500 (EST) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 30F1216C3F23; Fri, 9 Feb 2018 06:20:33 -0800 (PST) From: "Paul E. McKenney" To: linux-kernel@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, "Paul E. McKenney" Subject: [PATCH RFC tip/lkmm 05/10] README: Fix a couple of punctuation errors Date: Fri, 9 Feb 2018 06:20:26 -0800 X-Mailer: git-send-email 2.5.2 In-Reply-To: <20180209141832.GA17505@linux.vnet.ibm.com> References: <20180209141832.GA17505@linux.vnet.ibm.com> X-TM-AS-GCONF: 00 x-cbid: 18020914-2213-0000-0000-0000026A442B X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008504; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000250; SDB=6.00987227; UDB=6.00501083; IPR=6.00766586; BA=6.00005821; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00019457; XFM=3.00000015; UTC=2018-02-09 14:21:59 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18020914-2214-0000-0000-0000590E295F Message-Id: <1518186031-17997-5-git-send-email-paulmck@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-02-09_07:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=1 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-1802090184 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