use the locked check for aborts for consistency