In reply to zz8318:
Semaphore requests are taken in FIFO order, so the two processes will alternate. Which process gets the first request is a race condition. Once version of a tool might always pick the first or second process, but you should not spend on it.