Skip to content

Commit

Permalink
Add location order to the definition of from-reads (#2402)
Browse files Browse the repository at this point in the history
Signed-off-by: Hernan Ponce de Leon <[email protected]>
  • Loading branch information
hernanponcedeleon authored Oct 10, 2024
1 parent 03f2654 commit 2ff3b67
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions appendices/memorymodel.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 2ff3b67

Please sign in to comment.