Contract Pre None. If the semaphore could be acquired by the caller, the caller gets control of the semaphore. If the semaphore was already locked, the routine returns immediately without suspending the calling thread. The semaphore should have been locked before being released. The semaphore is released and the thread at the haed of the wait queue is allowed to execute again.
Description Reset the semaphore.
Contract Pre None. The semaphore's count is set to the specified value. If processes are waiting on the semaphore, the results are undefined. The value to which the semaphore is reset. Contract Pre None.