Re: [PATCH] tools/memory-model: Document herd7 (internal) representation

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>
Subject: Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
From: Andrea Parri <parri.andrea@xxxxxxxxx>
Date: Fri, 24 May 2024 18:00:43 +0200
Cc: will@xxxxxxxxxx, peterz@xxxxxxxxxxxxx, boqun.feng@xxxxxxxxx, npiggin@xxxxxxxxx, dhowells@xxxxxxxxxx, j.alglave@xxxxxxxxx, luc.maranget@xxxxxxxx, paulmck@xxxxxxxxxx, akiyks@xxxxxxxxx, dlustig@xxxxxxxxxx, joel@xxxxxxxxxxxxxxxxx, linux-kernel@xxxxxxxxxxxxxxx, linux-arch@xxxxxxxxxxxxxxx, hernan.poncedeleon@xxxxxxxxxxxxxxx, jonas.oberhauser@xxxxxxxxxxxxxxx
In-reply-to: <1c6d4146-86f8-4fd5-a23e-a95ba2464c9e@rowland.harvard.edu>
References: <20240524151356.236071-1-parri.andrea@gmail.com> <1c6d4146-86f8-4fd5-a23e-a95ba2464c9e@rowland.harvard.edu>

> What's the difference between R and R*, or between W and W*?

AFAIU, herd7 uses such notation, "*", to denote a load or a store which
is also in RMW.

  Andrea

Follow-Ups:
- Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Hernan Ponce de Leon

References:
- [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Andrea Parri
- Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Alan Stern

Prev by Date: Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
Next by Date: Re: LKMM: Making RMW barriers explicit
Previous by thread: Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
Next by thread: Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
Index(es):
- Date
- Thread

[Index of Archives] [Linux Kernel] [Kernel Newbies] [x86 Platform Driver] [Netdev] [Linux Wireless] [Netfilter] [Bugtraq] [Linux Filesystems] [Yosemite Discussion] [MIPS Linux] [ARM Linux] [Linux Security] [Linux RAID] [Samba] [Device Mapper]