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

[Andrea Parri]

> 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