semaphore debugging