Implement counting semaphore