Received-SPF: pass (google.com: domain of linux-kernel+bounces-192332-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) client-ip=2604:1380:4601:e00::3;
Message-ID: <dbcecf28-98e8-4f7e-957b-e73a4d811051@huaweicloud.com>
Date: Tue, 28 May 2024 14:49:38 +0200
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [RFC][PATCH 4/4] tools/memory-model: Distinguish between
 syntactic and semantic tags
To: Alan Stern <stern@rowland.harvard.edu>
Cc: paulmck@kernel.org, parri.andrea@gmail.com, will@kernel.org,
 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, dlustig@nvidia.com, joel@joelfernandes.org,
 urezki@gmail.com, quic_neeraju@quicinc.com, frederic@kernel.org,
 linux-kernel@vger.kernel.org
References: <20240527152253.195956-1-jonas.oberhauser@huaweicloud.com>
 <20240527152253.195956-5-jonas.oberhauser@huaweicloud.com>
 <5ce0c8a3-bd9c-475a-9427-7edef47a90f2@rowland.harvard.edu>
From: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
In-Reply-To: <5ce0c8a3-bd9c-475a-9427-7edef47a90f2@rowland.harvard.edu>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

>> +let Mb = MB \ FailedRMW
>> >>   (* Compute marked and plain memory accesses *)
>> -let Marked = (~M) | IW | Once | Release | Acquire | domain(rmw) | range(rmw) |
>> +let Marked = (~M) | IW | ONCE | RELEASE | ACQUIRE | MB | domain(rmw) | range(rmw) |
> 
> The new MB term isn't needed, because MB tags on memory accesses are
> filtered out unless the access also belongs to domain(rmw) | range(rmw).
> 
> Alan


Thanks for all the notes.
I think on this one is needed though under the assumption that herd7 
would no longer know internally to replace the MB with ONCE in case
of failure.


best wishes,

   jonas