Skip to content

Commit

Permalink
fixup! Editorial: Make better use of the "Shared Data Block event" term
Browse files Browse the repository at this point in the history
  • Loading branch information
gibson042 committed Aug 20, 2024
1 parent 8e2797a commit 2d7e164
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 @@ -49759,7 +49759,7 @@ <h1>Shared Memory Guidelines</h1>
<p>Any transformation of an agent-order slice that is valid in the absence of shared memory is valid in the presence of shared memory, with the following exceptions.</p>
<ul>
<li>
<p><em>Atomics are carved in stone</em>: Program transformations must not cause any Shared Data Block events having [[Order]] ~seq-cst~ to be removed from the is-agent-order-before Relation, nor to be reordered with each other or with events having [[Order]] ~unordered~.</p>
<p><em>Atomics are carved in stone</em>: Program transformations must not cause any Shared Data Block events having [[Order]] ~seq-cst~ to be removed from the is-agent-order-before Relation, nor to be reordered in an agent-order slice with respect to each other or to events having [[Order]] ~unordered~.</p>
<p>(In practice, the prohibition on reorderings forces a compiler to assume that every ~seq-cst~ operation is a synchronization and included in the final is-memory-order-before Relation, which it would usually have to assume anyway in the absence of inter-agent program analysis. It also forces the compiler to assume that every call where the callee's effects on the memory-order are unknown may contain ~seq-cst~ operations.)</p>
</li>
<li>
Expand Down

0 comments on commit 2d7e164

Please sign in to comment.