После классификации ресурсов можно перейти к обнаружению тупиков. Для этого определим граф распределения ресурсов процесса. Это такой ориентированный граф, вершины которого обозначают потоки, а дуга, изображенная на рис. 24.1, интерпретируется следующим образом:
- в случае повторно используемых ресурсов: поток Т2 запрашивает ресурс R, занятый потоком Т1
- в случае потребляемых ресурсов: поток Т2 использует ресурс R, произведенный потоком Т1.

Рис. 24.1. Дуга графа распределения ресурсов процесса

Сначала рассмотрим процесс, в котором потоки используют только повторно используемые ресурсы. В этом случае поток такого процесса находится в тупике, если он бесконечно долго ждет ресурс, захваченный другим потоком. Критерием для обнаружения тупика в случае повторно используемых ресурсов является следующая теорема:
Процесс, потоки которого используют только повторно используемые ресурсы, находится в тупике тогда и только тогда, когда граф распределения ресурсов этого процесса содержит цикл.