semaphore instructions