From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S965840AbeBUPKz (ORCPT ); Wed, 21 Feb 2018 10:10:55 -0500 Received: from iolanthe.rowland.org ([192.131.102.54]:33046 "HELO iolanthe.rowland.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with SMTP id S1753582AbeBUPKx (ORCPT ); Wed, 21 Feb 2018 10:10:53 -0500 Date: Wed, 21 Feb 2018 10:10:52 -0500 (EST) From: Alan Stern X-X-Sender: stern@iolanthe.rowland.org To: "Paul E. McKenney" cc: linux-kernel@vger.kernel.org, , , , , , , , , , , , Subject: Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file In-Reply-To: <1519169112-20593-9-git-send-email-paulmck@linux.vnet.ibm.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, 20 Feb 2018, Paul E. McKenney wrote: > 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 The text immediately below this mentions the Docker image and gentoo package. Aren't they both seriously out of date at this point? In which case, shouldn't we remove them from the README? Alan From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from iolanthe.rowland.org ([192.131.102.54]:33044 "HELO iolanthe.rowland.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with SMTP id S1754529AbeBUPKx (ORCPT ); Wed, 21 Feb 2018 10:10:53 -0500 Date: Wed, 21 Feb 2018 10:10:52 -0500 (EST) From: Alan Stern Subject: Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file In-Reply-To: <1519169112-20593-9-git-send-email-paulmck@linux.vnet.ibm.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-arch-owner@vger.kernel.org List-ID: To: "Paul E. McKenney" Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, mingo@kernel.org, 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 On Tue, 20 Feb 2018, Paul E. McKenney wrote: > 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 The text immediately below this mentions the Docker image and gentoo package. Aren't they both seriously out of date at this point? In which case, shouldn't we remove them from the README? Alan