Алгоритм банкира для несколько видов ресурсов

Рассмотрим систему:

вектора:
E=(6342) - существующие ресурсы
P=(5322) - занятые ресурсы
A=(1020) - доступные ресурсы

Алгоритм поиска безопасного или небезопасного состояния:

Алгоритм банкира для несколько видов ресурсов

Если состояние безопасное то ресурс дать можно, если нет то нельзя.

На практике все эти алгоритмы тяжело реализовать.

Предотвращение четырех условий, необходимых для взаимоблокировок

Предотвращение условия взаимного исключения

Можно минимизировать количество процессов борющихся за ресурсы.

Например, с помощью спулинга для принтера, когда только демон принтера работает с принтером.

Предотвращение условия удержания и ожидания

Один из способов достижения этой цели, это когда процесс должен запрашивать все необходимые ресурсы до начала работы. Если хоть один ресурс недоступен, то процессу вообще ничего не предоставляется.

Предотвращение условия отсутствия принудительной выгрузки ресурса

Можно выгружать ресурсы, но могут быть проблемы с принтером.

Предотвращение условия циклического ожидания

Способы предотвращения:

o Процесс сначала должен освободить занятый ресурс, прежде чем занять новый.

o Можно пронумеровать все ресурсы (и упорядочить), и процессы должны запрашивать ресурсы только по возрастающему порядку.

 

 

Взаимоблокировка процессов

Взаимоблокировка процессов может происходить, когда несколько процессов борются за один ресурс.

Ресурсы бывают выгружаемые и невыгружаемые, аппаратные и программные.

Выгружаемый ресурс - этот ресурс безболезненно можно забрать у процесса (например: память).

Невыгружаемый ресурс - этот ресурс нельзя забрать у процесса без потери данных (например: принтер).

Проблема взаимоблокировок процессов возникает при борьбе за невыгружаемый ресурсы.

Условия необходимые для взаимоблокировки:

1. Условие взаимного исключения - в какой-то момент времени, ресурс занят только одним процессом или свободен.

2. Условие удержания и ожидания - процесс, удерживающий ресурс может запрашивать новые ресурсы.

3. Условие отсутствия принудительной выгрузки ресурса.

4. Условие циклического ожидания - должна существовать круговая последовательность из процессов, каждый, из которого ждет доступа к ресурсу, удерживаемому следующим членом последовательности.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Методы борьбы с взаимоблокировками

Четыре стратегии избегания взаимоблокировок:

1. Пренебрежением проблемой в целом (вдруг пронесет).

2. Обнаружение и устранение (взаимоблокировка происходит, но оперативно ликвидируется).

3. Динамическое избежание тупиков.

4. Предотвращение четырех условий, необходимых для взаимоблокировок.

Пренебрежением проблемой в целом (страусовый алгоритм)

Если вероятность взаимоблокировки очень мала, то ею легче пренебречь, т.к. код исключения может очень усложнить ОС и привести к большим ошибкам. Также многие взаимоблокировки тяжело обнаружить.

Этот алгоритм используется как в UNIX, так и в Windows.

Поэтому (и не только) на серверах часто устанавливают автоматическую перезагрузку (раз в сутки, как правило ночью), если возникнет взаимоблокировка, то после перезагрузки ее не будет.

Обнаружение и устранение взаимоблокировок

Система не пытается предотвратить взаимоблокировку, а пытается обнаружить ее и устранить.

⇐ Предыдущая10111213141516171819Следующая ⇒

Поделиться:

Популярное:

1. C.Для предоставления возможности сравнивать рыночные стоимости акций компаний одной отрасли
2. II этап. Обоснование системы показателей для комплексной оценки, их классификация.
3. II. Алгоритм процесса кибернетического моделирования.
4. II. ТЕМЫ ДЛЯ КОНТРОЛЬНЫХ РАБОТ
5. III. Источники для изучения Греческой церкви XVII в.
6. III. Показатели использования трудовых ресурсов
7. IV. Источники для изучения той же истории XVIII в.
8. IV. Показатели использования материальных ресурсов, оборотных производственных фондов и оборотных средств
9. IX. ЗНАЧЕНИЕ «УНИВЕРСАЛИЙ» КОСМОС, ВРЕМЯ, ПРОСТРАНСТВО И РЕАЛЬНОСТЬ ДЛЯ ПСИХОДРАМЫ
10. IX. Магическое заклинание для Дальнего путешествия
11. Teсm для проверки реальности соединения с высшим Я
12. V. Источники для изучения Греческой церкви XIX в.