Semaphore problem description