Лекция: Моделирование взаимоблокировок
Моделирование тупиков с помощью графов.
Условные обозначения
На такой модели очень хорошо проверить возникает ли взаимоблокировка. Если есть цикл, значит, есть и взаимоблокировка.
Рассмотрим простой пример:
три процесса A, B, C
три ресурса R, S, T
Последовательное выполнение процессов, взаимоблокировка не возникает
Рассмотрим циклический алгоритм:
три процесса A, B, C
три ресурса R, S, T
Возникает взаимоблокировка
Рассмотрим тот же самый случай, но допустим, что система, зная о предстоящей взаимоблокировке, заблокирует процессB.
Взаимоблокировка не возникает.
еще рефераты
Еще работы по информатике