Коффман, Элфик и Шошани сформулировали следующие четыре необходимых условия наличия тупика.
• Процессы требуют предоставления им права монопольного управления ресурсами, которые им выделяются (условие взаимоисключения)
• Процессы удерживают за собой ресурсы, уже выделенные им, ожидая в то же время выделения дополнительных ресурсов (условие ожидания ресурсов).
• Ресурсы нельзя отобрать у процессов, удерживающих их, пока эти ресурсы не будут использованы для завершения работы (условие неперераспределяемости).
• Существует кольцевая цепь процессов, в которой каждый процесс удерживает за собой один или более ресурсов, требующихся следующему процессу цепи (условие кругового ожидания).