added the semaphore getter