Skip to content

Commit

Permalink
Editorial: disambiguate NotifyWaiter calls
Browse files Browse the repository at this point in the history
Extracted from #2547 (comment)

Co-authored-by: Michael Ficarra <mficarra@shapesecurity.com>
  • Loading branch information
ljharb and michaelficarra committed Feb 17, 2022
1 parent 1c7ae4b commit caf7ff8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -41581,9 +41581,9 @@ <h1>
1. Assert: _W_ is equivalent to AgentSignifier().
1. Assert: _W_ is on the list of waiters in _WL_.
1. Assert: AgentCanSuspend() is *true*.
1. Perform LeaveCriticalSection(_WL_) and suspend _W_ for up to _timeout_ milliseconds, performing the combined operation in such a way that a notification that arrives after the critical section is exited but before the suspension takes effect is not lost. _W_ can notify either because the timeout expired or because it was notified explicitly by another agent calling NotifyWaiter(_WL_, _W_), and not for any other reasons at all.
1. Perform LeaveCriticalSection(_WL_) and suspend _W_ for up to _timeout_ milliseconds, performing the combined operation in such a way that a notification that arrives after the critical section is exited but before the suspension takes effect is not lost. _W_ can notify either because the timeout expired or because it was notified explicitly by another agent calling NotifyWaiter with arguments _WL_ and _W_, and not for any other reasons at all.
1. Perform EnterCriticalSection(_WL_).
1. If _W_ was notified explicitly by another agent calling NotifyWaiter(_WL_, _W_), return *true*.
1. If _W_ was notified explicitly by another agent calling NotifyWaiter with arguments _WL_ and _W_, return *true*.
1. Return *false*.
</emu-alg>
</emu-clause>
Expand Down

0 comments on commit caf7ff8

Please sign in to comment.