Fix a deadlock bug in MCS-PDR locks