Use unfair semaphores