Oh, I see: the spinlock is for logging the deadlocks of other mutices, not for magically remediating deadlocks.