Server: fixed semaphores