Received: by 10.223.185.116 with SMTP id b49csp40281wrg; Tue, 20 Feb 2018 15:28:15 -0800 (PST) X-Google-Smtp-Source: AH8x2244T/EkEU0Zd7YqWyfjpeawrbgfKdBKTLrfs3GG2JReIn9nMxmljJN7NhxUyBfSCVoetJUD X-Received: by 2002:a17:902:62:: with SMTP id 89-v6mr1199989pla.178.1519169294895; Tue, 20 Feb 2018 15:28:14 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1519169294; cv=none; d=google.com; s=arc-20160816; b=dQErzS4RdHsPIlDv/jnDB3SfZqTsORqwfHfNQIfGTL0iYkEmb5g5gl/1nTuZpzjayw U/uXYhbs8W9+P6DltvKcNa4I0K2MOSG9KpFk+nxQyQ8jzfsstGvhgBMcjZFQOJa9d7Y1 tKBh1rb+Ru249AN2J6rdrrs45AfaO+m9RT4xZAj0Kl+/RP7+wiKE05CYIc91oBAVYaNO dhCoKjWqrKEOZOMQ8Co0zSTKUlYGcjmu90qQ1G/mLl1z/gHKJS19kEsxzcuZrvZNne9J Do72h5omSElI04I81mA9VpY5uICc6o2x44DJM62X0rTjgyBiajw2hWlzO1QzLjvFTSb1 mCWg== 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=0GdQJP2gtOWNv1PcJxDsHP3MlkqFilmvcMp1fqXBw44=; b=DpJGM5e/hADY6sh867dwOK6kiheLEUeenpsiXYZCEPTfjDX9b73/rmBKZa87RZ+n+5 7FgTlL00BD8PO0dTjwLpJda9sPeOagMJ5Y3gixJbkpPorWSDny2/Tbw4FRyDQCOqR6Vv WlsW1ke3ixBuSEfHF9BCvSbqTBaXUILPrMeIpoQerDnfTYU9YJXV2Pye0rGiwSO4n7QW xifK6fdLaE0i85V7oPRKzv0bJJLND8gs8saR9OvAHHjcXtAHK4Hz/fJwRJ2DZzmoEzE6 1nRfmybiGCVnlqt2rWtCZTk0mumeN5adeyBfrEr3p3G/O3d/e1wzDHzDKy4JJSEBDPnF UB1Q== 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 q5si121030pgn.122.2018.02.20.15.28.00; Tue, 20 Feb 2018 15:28:14 -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 S1752190AbeBTX0n (ORCPT + 99 others); Tue, 20 Feb 2018 18:26:43 -0500 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:45008 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751930AbeBTXZE (ORCPT ); Tue, 20 Feb 2018 18:25:04 -0500 Received: from pps.filterd (m0098413.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1KNNdwO040642 for ; Tue, 20 Feb 2018 18:25:04 -0500 Received: from e11.ny.us.ibm.com (e11.ny.us.ibm.com [129.33.205.201]) by mx0b-001b2d01.pphosted.com with ESMTP id 2g8vh7hjc1-1 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=NOT) for ; Tue, 20 Feb 2018 18:25: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 ; Tue, 20 Feb 2018 18:25:03 -0500 Received: from b01cxnp23032.gho.pok.ibm.com (9.57.198.27) by e11.ny.us.ibm.com (146.89.104.198) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Tue, 20 Feb 2018 18:24:59 -0500 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp23032.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w1KNOw4543253982; 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 20FFFB2065; Tue, 20 Feb 2018 19:27:17 -0500 (EST) Received: from paulmck-ThinkPad-W541 (unknown [9.85.154.79]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id D78A8B2058; Tue, 20 Feb 2018 19:27:16 -0500 (EST) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 3B2E916C869A; 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 09/12] tools/memory-model: Add required herd7 version to README file Date: Tue, 20 Feb 2018 15:25:09 -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-2213-0000-0000-000002730528 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.00992685; UDB=6.00504342; 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-2214-0000-0000-0000592F0722 Message-Id: <1519169112-20593-9-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 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-1802200276 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools produce inaccurate results, often with no obvious error messages. This commit therefore adds the required herd7 version to the LKMM README file. Longer term, it would be good if .cat files could specify the required version in a manner allowing herd7 to produce clear diagnostics. Suggested-by: Akira Yokosawa Signed-off-by: Paul E. McKenney --- tools/memory-model/README | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/memory-model/README b/tools/memory-model/README index 91414a49fac5..ea950c566ffd 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -20,7 +20,8 @@ that litmus test to be exercised within the Linux kernel. REQUIREMENTS ============ -The "herd7" and "klitmus7" tools must be downloaded separately: +Version 7.48 of the "herd7" and "klitmus7" tools must be downloaded +separately: https://github.com/herd/herdtools7 -- 2.5.2