Алгоритм диагностики тупиков

Статья посвящена анализу тупикрв, т. е. ситуаций, при которых некоторые из задач, решаемых на ЭВМ в мультипрограммном режиме, из-за взаимных зависимостей не могут продолжить свое решение. Доказывается, что если представить зависимости задач системой уравнений и перемножить их левые части, то по виду полученного произведения можно определить задачи, попавшие в тупик. В терминах матрицы, построенной по этой системе уравнений, сформулирован алгоритм, позволяющий находить минимальные множества задач, завершение которых специальными средствами, или исключение из числа решаемых ликвидирует тупик в системе. Изложение иллюстрируется примерами.