Indeed, you do have to have two tasks spinning on the lock before the NMI/IRQ delay could
possibly cause a problem. So I also hope that this effect is not a problem in practice, but
as you say, testing and experience will be required.
And ticket locks do have nice real-time properties, as they get rid of the possibility of