boundedsemaphore