> 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
