Adds one count to the semaphore, waking a thread blocked in wait_for.
signal :: (s: *Semaphore)Parameters
- s: *Semaphore
signal :: (s: *Semaphore)Adds one count to the semaphore, waking a thread blocked in wait_for.
Parameters
- s: *Semaphore
semaphore: Semaphore;
init(*semaphore);
defer destroy(*semaphore);
signal(*semaphore);
assert(wait_for(*semaphore, 0) == .SUCCESS);