Clarify that synchronizing on a semaphore decrements its counter (#3292)

This commit is contained in:
97jaz 2020-07-09 13:45:05 -04:00 committed by GitHub
parent 7dda76b7ce
commit 276e3ff7d6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,7 +19,8 @@ thread is eventually unblocked.
In addition to its use with semaphore-specific procedures, a semaphore
can be used as a @tech{synchronizable event} (see @secref["sync"]).
A semaphore is @tech{ready for synchronization} when
@racket[semaphore-wait] would not block; @resultItself{semaphore}.
@racket[semaphore-wait] would not block. Upon synchronization, the
semaphore's counter is decremented, and @resultItself{semaphore}.
@defproc[(semaphore? [v any/c]) boolean?]{