semaphores in controlserver