Resolve a deadlock caused by not checking mutex state after calling `SCM_TICK'.