On 6/18/2024 11:54 AM, Andrea Parri wrote:
This follows from rmw \subset po. However, this might not be immediately
clear for the reader so having it explicit is a good idea.
Sure. How about as follows:
diff --git a/tools/memory-model/Documentation/herd-representation.txt b/tools/memory-model/Documentation/herd-representation.txt
index 2fe270e902635..8255a2ff62e5f 100644
--- a/tools/memory-model/Documentation/herd-representation.txt
+++ b/tools/memory-model/Documentation/herd-representation.txt
@@ -14,7 +14,7 @@
# SRCU, a Sleepable-Read-Copy-Update event
#
# po, a Program-Order link
-# rmw, a Read-Modify-Write link
+# rmw, a Read-Modify-Write link; every rmw link is a po link
#
# By convention, a blank entry/representation means "same as the preceding entry".
#
I can respin the patch shortly to add something along these lines and
the collected tags.
Andrea
Sounds good to me.
Hernan
