How can an interrupt forever-lock a simple synchronization primitive? Surely the situation has to be more complicated than that. Like several semaphores deadlocking due to a state mutation by an interrupt.