From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1753752AbeC1PB2 (ORCPT <rfc822;w@1wt.eu>);
        Wed, 28 Mar 2018 11:01:28 -0400
Received: from iolanthe.rowland.org ([192.131.102.54]:52118 "HELO
        iolanthe.rowland.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with SMTP id S1752876AbeC1PB0 (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Wed, 28 Mar 2018 11:01:26 -0400
Date: Wed, 28 Mar 2018 11:01:25 -0400 (EDT)
From: Alan Stern <stern@rowland.harvard.edu>
X-X-Sender: stern@iolanthe.rowland.org
To: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
cc: schwidefsky@de.ibm.com, <borntraeger@de.ibm.com>,
        <linux-kernel@vger.kernel.org>, <linux-arch@vger.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>
Subject: Re: [PATCH RFC tools/memory-model] Add s390.{cfg,cat}
In-Reply-To: <20180328134232.GA29274@linux.vnet.ibm.com>
Message-ID: <Pine.LNX.4.44L0.1803281057280.1375-100000@iolanthe.rowland.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Wed, 28 Mar 2018, Paul E. McKenney wrote:

> Hello!
> 
> The prototype patch shown below provides files required to allow herd7 to
> evaluate C-language litmus tests for the multicopy-atomic TSO ordering
> provided by s390.  This patch should be viewed with great suspicion.
> It does what I expect it to do on SB (with and without barriers),
> IRIW without barriers, and Alan's SB with read-of-write added, but my
> expectations are quite likely faulty, and my test cases are very few
> in number.
> 
> Either way, this is the easy part.  The hard part (which I am happy
> to leave to others) is making litmus7 and klitmus7 able to do tests
> on actual hardware, as well as enabling herd to handle litmus tests
> containing BAL.  ;-)
> 
> Note that CPU architectures already supported by herd might well need
> only a .cfg file that refers to herd's pre-existing support.
> 
> Thoughts?

I don't quite see the point of this.  You're not suggesting that we
have one Linux Kernel Memory Consistency Model for s390 and another
one for all the other architectures, are you?

If the idea is merely to provide a herd model for s390 then it should 
go into the DIY repository, not into the LKMM repository.

Alan