Use fair queuing for semaphores