Необходимые и достаточные условия тупика

Множество процессов находится в состоянии тупика, если каждый процесс ожидает наступления некоторого события, и это событие может быть вызвано только действиями другого процесса из данного множества.

Mutual Exclusion — по крайней мере, один из запрашиваемых ресурсов является неделимым (должен захватываться в эксклюзивное использование).

Hold&Wait (удержание ресурсов при ожидании) — существует процесс, владеющий некоторым ресурсом и ожидающий освобождения другого ресурса.

No Preemption — ресурсы не могут быть отобраны у процесса без его желания.

Circular Wait (циклическое ожидание) — существует такое множество поцессов {p₁,p₂,...,p_n}, в котором p₁ ждет p₂, p₂ ждет p₃,...,p_n ждет p₁.