semaphore: changed naming conventions