Okay, making semaphores non-FIFO... maybe that is the problem?