Spin-PDR locks (preemption detection and recovery)