On Tue, Feb 25, 2025 at 01:28:08PM +0900, Akira Yokosawa wrote: > On Thu, 20 Feb 2025 08:14:03 -0800, Paul E. McKenney wrote: > > From: Jonas Oberhauser <jonas.oberhauser@xxxxxxxxxxxxxxx> > > > > Not all annotated accesses provide the semantics their syntactic tags > > would imply. For example, an 'acquire tag on a write does not imply that > > the write is finally in the Acquire set and provides acquire ordering. > > > > To distinguish in those cases between the syntactic tags and actual > > sets, we capitalize the former, so 'ACQUIRE tags may be present on both > > reads and writes, but only reads will appear in the Acquire set. > > > > For tags where the two concepts are the same we do not use specific > > capitalization to make this distinction. > > > > Reported-by: Boqun Feng <boqun.feng@xxxxxxxxx> > > Signed-off-by: Jonas Oberhauser <jonas.oberhauser@xxxxxxxxxxxxxxx> > > Reviewed-by: Boqun Feng <boqun.feng@xxxxxxxxx> > > Tested-by: Boqun Feng <boqun.feng@xxxxxxxxx> > > Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxx> > > Tested-by: Akira Yokosawa <akiyks@xxxxxxxxx> # herdtools7.7.58 I applied your tag to this commit and the previous one, and also your suggested Co-developed-by tags, thank you very much! Thanx, Paul > > --- > > .../Documentation/herd-representation.txt | 44 ++-- > > tools/memory-model/linux-kernel.bell | 22 +- > > tools/memory-model/linux-kernel.def | 198 +++++++++--------- > > 3 files changed, 132 insertions(+), 132 deletions(-) >
