Signal Operation

When a task signals a semaphore, the semaphore value increases by one. A task waiting for a semaphore will then be unblocked.