Skip to content

Commit

Permalink
Editorial: Replace auto-linked "{read,write} events" with explicitly …
Browse files Browse the repository at this point in the history
…linked "{reads,writes}"
  • Loading branch information
gibson042 committed Aug 22, 2024
1 parent 9c8d921 commit a3b78dd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -49686,7 +49686,7 @@ <h1>Sequentially Consistent Atomics</h1>
<li>
<p>For each WriteSharedMemory or ReadModifyWriteSharedMemory event _W_ in SharedDataBlockEventSet(_execution_), if _W_.[[Order]] is ~seq-cst~, then it is not the case that there is an infinite number of ReadSharedMemory or ReadModifyWriteSharedMemory events in SharedDataBlockEventSet(_execution_) with equal memory range that is memory-order before _W_.</p>
<emu-note>
<p>This clause together with the forward progress guarantee on agents ensure the liveness condition that ~seq-cst~ write events become visible to ~seq-cst~ read events with equal memory range in finite time.</p>
<p>This clause together with the forward progress guarantee on agents ensure the liveness condition that ~seq-cst~ <emu-xref href="#sec-memory-model-fundamentals">writes</emu-xref> become visible to ~seq-cst~ <emu-xref href="#sec-memory-model-fundamentals">reads</emu-xref> with equal memory range in finite time.</p>
</emu-note>
</li>
</ul>
Expand Down

0 comments on commit a3b78dd

Please sign in to comment.