On occasion it is convenient to interpret a call s.put() as being completed
only when it changes the state of the semaphore. Under this interpretation,
given the two calls
s.put() s.put()
the second call would not be considered complete (assuming there were no
intervening calls to s.get() by another computation), and the first call
might not be considered complete either, depending on s's state.
In general, however, we'll consider the call s.put() to be complete
independent of s's state.
This page last modified on 23 June 2003.