You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: spec.html
+1-1
Original file line number
Diff line number
Diff line change
@@ -49738,7 +49738,7 @@ <h1>Data Races</h1>
49738
49738
49739
49739
<emu-clause id="sec-data-race-freedom">
49740
49740
<h1>Data Race Freedom</h1>
49741
-
<p>An execution _execution_ is <dfn>data race free</dfn> if there are no two Shared Data Block events in SharedDataBlockEventSet(_execution_) that are in a data race.</p>
49741
+
<p>An execution _execution_ is <dfn>data race free</dfn> if there are no two events in SharedDataBlockEventSet(_execution_) that are in a data race.</p>
49742
49742
<p>A program is data race free if all its executions are data race free.</p>
49743
49743
<p>The memory model guarantees sequential consistency of all events for data race free programs.</p>
0 commit comments