Моделирование взаимоблокировок

Моделирование тупиков с помощью графов.

Условные обозначения

На такой модели очень хорошо проверить возникает ли взаимоблокировка. Если есть цикл, значит, есть и взаимоблокировка.

Рассмотрим простой пример:

три процесса A, B, C

три ресурса R, S, T

Последовательное выполнение процессов, взаимоблокировка не возникает

Рассмотрим циклический алгоритм:

три процесса A, B, C

три ресурса R, S, T

Возникает взаимоблокировка

Рассмотрим тот же самый случай, но допустим, что система, зная о предстоящей взаимоблокировке, заблокирует процесс B.

Взаимоблокировка не возникает.