Tuxedo에서 사용되는 semaphore