From 17adc24d677d35b4c40403459d358fb6537cc268 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Thu, 1 Aug 2024 20:14:24 +0200 Subject: [PATCH] Add location order to the definition of from-reads Signed-off-by: Hernan Ponce de Leon --- appendices/memorymodel.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/appendices/memorymodel.adoc b/appendices/memorymodel.adoc index c26cd4021b..1a3584b407 100644 --- a/appendices/memorymodel.adoc +++ b/appendices/memorymodel.adoc @@ -1016,8 +1016,8 @@ value written by the first operation. _From-reads_ is a relation between operations, where the first operation is a read, the second operation is a write, and the first operation reads a value written earlier than the second operation in the second operation's -scoped modification order (or the first operation reads from the initial -value, and the second operation is any write to the same locations). +scoped modification order or location order (or the first operation reads from +the initial value, and the second operation is any write to the same locations). Then the implementation must: guarantee that no cycles exist in the union of the following relations: