diff options
| -rw-r--r-- | src/memory-model-operational.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/memory-model-operational.tex b/src/memory-model-operational.tex index 3790b2c..d0ce212 100644 --- a/src/memory-model-operational.tex +++ b/src/memory-model-operational.tex @@ -560,7 +560,8 @@ An AMO instruction instance $i$ in state {\sc Pending\_mem\_loads}({\it load\_co \item \nameref{omm:prop_store} \item \nameref{omm:complete_stores} \end{enumerate} -Action: perform the above sequence of transitions, one after the other, with no intervening transitions. +and in addition, the condition of \nameref{omm:finish}, with the exception of not requiring $i$ to be in state {\sc Plain}({\sc Done}), holds after those transitions. +Action: perform the above sequence of transitions (this does not include \nameref{omm:finish}), one after the other, with no intervening transitions. \begin{commentary} Notice that program-order-previous stores cannot be forwarded to the load of an AMO. |