Skip to content

Commit

Permalink
Editorial: Fix typo "_eventRecords_" -> "_eventsRecord_"
Browse files Browse the repository at this point in the history
(From PR #1692)
  • Loading branch information
jmdyck committed Oct 5, 2019
1 parent 1cc3655 commit 94c8255
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 @@ -37306,7 +37306,7 @@ <h1>EnterCriticalSection ( _WL_ )</h1>
1. Let _enterEvent_ be a new Synchronize event.
1. Append _enterEvent_ to _entererEventList_.
1. Let _leaveEvent_ be the Synchronize event in _WL_.
1. Append (_leaveEvent_, _enterEvent_) to _eventRecords_.[[AgentSynchronizesWith]].
1. Append (_leaveEvent_, _enterEvent_) to _eventsRecord_.[[AgentSynchronizesWith]].
</emu-alg>
<p>EnterCriticalSection has <dfn>contention</dfn> when an agent attempting to enter the critical section must wait for another agent to leave it. When there is no contention, FIFO order of EnterCriticalSection calls is observable. When there is contention, an implementation may choose an arbitrary order but may not cause an agent to wait indefinitely.</p>
</emu-clause>
Expand Down

0 comments on commit 94c8255

Please sign in to comment.