Предотвращение возникновения тупика
Необходимые условия
тупика
|
Свободных ресурсов нет, их |
• |
никто не сможет освободить, |
следовательно, запросы не |
|
• |
могут быть удовлетворены – |
• |
тупик… |
|
неперераспределяемости ресурсов;
•условие циклического ожидания.
31
Выделение |
Процесс |
Запрос |
1 |
1 |
1 |
|
Ресурс 1 |
0 |
0 |
Ресурс 2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
Процесс |
||
Запрос |
Выделение |
||
2 |
|||
|
|
Предотвращение возникновения тупика
Необходимые условия
тупика – можно ли от них «отказаться»?
•условие взаимоисключения;
•условие ожидания ресурсов;
•условие
неперераспределяемости ресурсов;
•условие циклического ожидания.
32
Выделение |
Процесс |
Запрос |
1 |
1 |
1 |
|
Ресурс 1 |
1 |
3 |
Ресурс 2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
||
|
|
Процесс |
|||
Запрос |
Выделение |
||||
2 |
|||||
|
|
|
|
||
|
|
|
|
||
|
Вариант 2: свободные |
|
|
||
|
|
ресурсы есть |
|
||
|
|
|
|
|
|
Предотвращение возникновения тупика
Необходимые условия
тупика – можно ли от них «отказаться»?
•условие взаимоисключения;
•условие ожидания ресурсов;
•условие
неперераспределяемости ресурсов;
•условие циклического ожидания.
33
Выделение |
Процесс |
Запрос |
1 |
1 |
1 |
|
Ресурс 1 |
0 |
3 |
Ресурс 2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
Процесс |
||
Выделение |
Выделение |
||
2 |
|||
|
|
Предотвращение возникновения тупика
Необходимые условия
тупика – можно ли от них «отказаться»?
•условие
Ресурсы выделены,
•условие процессы продолжают
•условие выполнение – тупика
нет…
ресурсов;
•условие циклического ожидания.
34
Выделение |
Процесс |
Выделение |
1 |
1 |
1 |
|
Ресурс 1 |
0 |
2 |
Ресурс 2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
Процесс |
||
Выделение |
Выделение |
||
2 |
|||
|
|
Предотвращение возникновения тупика
Необходимые условия
тупика – можно ли от них «отказаться»?
•условие взаимоисключения;
•условие ожидания ресурсов;
•условие
неперераспределяемости ресурсов;
•условие циклического ожидания.
35
Циклическое ожидание может быть предотвращено.
Для этого необходимо упорядочить запросы на ресурсы: все процессы
должны выполнять запросы в одном и том же порядке.
Этот порядок устанавливается при проектировании системы: все ресурсы разбиваются на классы и запрашиваются в порядке возрастания номеров классов; ресурсы из классов с меньшими или теми же номерами, что и у полученных ранее ресурсов, могут быть запрошены только после освобождения ресурсов с большими или теми же номерами классов.
Предотвращение возникновения тупика
Необходимые условия
тупика – можно ли от них «отказаться»?
•условие взаимоисключения;
•условие ожидания ресурсов;
•условие
неперераспределяемости ресурсов;
•условие циклического ожидания.
Плата за такое решение задачи –
снижение степени параллелизма выполнения процессов, необходимость
запрашивать ресурсы «заранее», что снижает эффективность их использования
36
Предотвращение возникновения тупика
Возможно предотвратить тупик, разрушив любое из необходимых условий, кроме первого (необходимости монополизации ресурсов).
Решение о том, какой метод использовать, принимается при проектировании системы.
37
Задачи, связанные с решением проблемы тупика
Задачи, связанные с проблемой тупика:
•предотвращение тупиков;
•обход тупиков;
•распознавание тупиков;
•вывод системы из тупика и восстановление её работоспособности.
38
Решение остальных задач возможно не во всех системах.
Кроме того, требуются значительные накладные расходы на реализацию сложных алгоритмов анализа системы и прогнозирования её поведения.
Следовательно, необходимо
предотвращать возможность возникновения тупиков, принимая
решение о конкретных методах на этапе проектирования конкретной системы в зависимости от требований к ней (к её производительности и пр.) и условий эксплуатации, используемых для разработки средств…
Использованные источники:
1.Шоу А. Логическое проектирование операционных систем. М.: Мир.
2. .
39