tree d38bf69edfe63ee3d5bc33e44fa3b6ecc551457a
parent fd674f058ee3e2a46fd13e97679963874c7e8c17
author Jonas Oberhauser <jonas.oberhauser@huaweicloud.com> 1727693830 +0200
committer Paul E. McKenney <paulmck@kernel.org> 1730146512 -0700

tools/memory-model: Distinguish between syntactic and semantic tags

Not all tags that are always there syntactically also provide semantic
membership in the corresponding set. 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@gmail.com>
Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>