Лекция 8-9. Алгоритм банкира 


Мы поможем в написании ваших работ!



ЗНАЕТЕ ЛИ ВЫ?

Лекция 8-9. Алгоритм банкира



Лекция 8-9. Алгоритм банкира

План занятия:

1. Безопасное состояние системы.

2. Модифицированный вариант графа распределения ресурсов для стратегии избежания тупиков.

3. Принципы алгоритма банкира.

4. Структуры данных для алгоритма банкира.

5. Алгоритм проверки состояния системы на безопасность.

6. Алгоритм запроса ресурсов для процесса Pi.

7. Пример использования алгоритма банкира.

8. Методы обнаружения тупиков.

9. Граф wait-for.

10. Обнаружение тупиков для случая ресурсов с множественными экземплярами.

11. Алгоритм обнаружения тупиков.

12. Пример применения алгоритма обнаружения тупиков.

13. Использование алгоритма обнаружения тупиков.

14. Восстановление после тупика.

15. Комбинированный подход к обработке тупиков

Принципы алгоритма банкира

Алгоритм банкира для безопасного распределения ресурсов операционной системой (с избежанием тупиков) был предложен Э. Дейкстрой и впервые реализован в операционной системе THE в конце 1960-х гг. Происхождение названия связано с тем, что поведение алгоритма напоминает осторожную стратегию банкира при проведении банковских операций. Принципы алгоритма банкира следующие.

· Каждый процесс должен априорно обозначить свои потребности в ресурсах по максимуму.

· Когда процесс запрашивает ресурс, ему, возможно придется подождать (выделение ресурсов по запросу не всегда может произойти немедленно).

· Когда процесс получает требуемые ресурсы, он должен их вернуть системе за ограниченный период времени.

Структуры данных для алгоритма банкира

Пусть в системе имеется n процессов и m типов ресурсов.

Вектор Available длины m содержит информацию о доступных ресурсах. Если Avaliable[j] = k,то в системе в данный момент доступно k единиц ресурса j.

Матрица Max (n * m) отображает максимальные потребности процессов в ресурсах. Если Max [i, j] = k,то процесс i может запросить, самое большее, k единиц ресурса j.

Матрица Allocation (n * m) отображает фактическое выделение системой ресурсов. Если Allocation [i, j] = k,то процессу i в данный момент выделено системой k единиц ресурса j.

Матрица Need (n * m) отображает оставшиеся потребности процессов в ресурсах. Если Need [i, j] = k,то процессу i могут потребоваться еще k единиц ресурса j для завершения работы.

Имеет место следующее соотношение между элементами матриц:

Need [i, j] = Max [i, j] – Allocation [i, j].

Алгоритм запроса ресурсов для процесса Pi – основная часть алгоритма банкира

Для основного алгоритма введем вектор Requesti (длины m) – вектор запросов для процесса Pi. Если Requesti [j] = k,то процесс Pi запрашивает k экземпляров ресурса Rj.

Шаг 1. Если Requesti <= Need[i], перейти к шагу 2.

Иначе – сгенерировать исключительную ситуацию

(процесс превысил свои максимальные потребности).

Шаг 2. Если Requesti <= Available, перейти к шагу 3.

Иначе процесс должен ждать, так как ресурс недоступен.

Шаг 3. Спланировать выделение ресурса процессу Pi, модифицируя состояние системы следующим образом:

Available = Available - Requesti

Allocation = Allocation + Requesti

Need [i] = Need [i] - Requesti

Вызвать алгоритм проверки безопасности полученного состояния.

Если состояние безопасно, выделить ресурс процессу Pi. Выход.

Если состояние небезопасно, восстановить предыдущее состояние;

процесс должен ждать.

Пример использования алгоритма банкира

Пусть имеется 5 процессов – P0, …, P4, и 3 типа ресурсов – ресурс A (10 экземпляров), ресурс B (5 экземпляров) и ресурс C (7 экземпляров). Пусть состояние системы в момент T0 следующее:

  Allocation Max Available
  A B C A B C A B C
P0                  
P1                  
P2                  
P3                  
P4                  
                     

Вычислим матрицу потребностей Need = Max – Allocation:

  Need
  A B C
P0      
P1      
P2      
P3      
P4      

Нетрудно видеть, что система – в безопасном состоянии. Последовательность процессов <P1, P3, P4, P2, P0> удовлетворяет критерию безопасности. Проверку предоставляем студенту.

В продолжение примера, предположим, что процесс P1 сделал запрос (1 0 2). Проверяем, что Request <= Available: <(1 0 2) <= (3 3 2) = true.

Удовлетворяем запрос.

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

  Allocation Max Available
  A B C A B C A B C
P0                  
P1                  
P2                  
P3                  
P4                  
                     

Исполнение алгоритма безопасности показывает, что последовательность процессов <P1, P3, P4, P0, P2> удовлетворяет критерию безопасности. Предоставляем студенту проверку корректности данных преобразований и предлагаем ответить на следующие дополнительные вопросы:

· может ли быть удовлетворен запрос (3 3 0) для процесса P4?

· может ли быть удовлетворен запрос (0 2 0) для процесса P0?

Методы обнаружения тупиков

Альтернативным подходом к решению проблемы тупиков является обнаружение тупиков. При таком подходе система может позволить себе войти в состояние тупика. После этого применяется алгоритм обнаружения тупиков. После обнаружения тупика применяется схема восстановления после тупика.

Граф wait-for

В дополнение к графу распределения ресурсов, введем более простой по струтуре граф wait-for: вершины в нем соответствуют процессам, и дуга проводится из вершины Pi в вершину Pj, если процесс Pi ожидает процесса Pj. Если каждый тип ресурса в системе существует в единственном экземпляре, то очевидно, что цикл в данном графе означает тупик. Система для обнаружения тупиков должна периодически проверять отсутствие циклов в графе wait-for. Как известно, алгоритм обнаружения цикла в графе требует O(n2) операций, где n – число вершин в графе.

На рис.3 приведен пример графа распределения ресурсов и соответствующего ему графа wait-for для системы с тупиком.

Рис. 3. Граф распределения ресурсов и граф wait-for.

Восстановление после тупика

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

Важный вопрос – в каком порядке необходимо прекращать процессы? Существуют различные подходы:

· В порядке приоритетов процессов;

· В зависимости от того, насколько долго процесс уже выполняется и сколько времени осталось до его завершения;

· В зависимости от объема ресурсов, которые удерживал процесс;

· В зависимости от объема ресурсов, требуемого для завершения процесса;

· В зависимости от того, сколько всего процессов требуется прекратить;

· В зависимости от того, является ли процесс интерактивным или пакетным.

После выбора процесса-"жертвы" с минимальной стоимостью (по одному из приведенных критериев), система прекращает выбранный процесс (процессы), освобождает их ресурсы и выполняет перераспределение ресурсов. Система выполняет " откат " к какому-либо предыдущему безопасному состоянию.

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

Краткие итоги

Безопасное состояние системы – такое состояние, перевод системы в которое не приведет к созданию тупиков. Система в безопасном состоянии, если существует безопасная последовательность их всех процессов в системе. Безопасная последовательность – последовательность исполнения процессов, при которой каждый процесс использует только свободные ресурсы, либо ресурсы, освобождаемые процессом с меньшим номером после его завершения.

Таким образом, если система в безопасном состоянии, тупиков нет. Если система в небезопасном состоянии, тупики возможны. Избежание тупиков – стратегия, обеспечивающая, чтобы система никогда не могла прийти в небезопасное состояние.

Добавим к графу распределения ресурсов (лекция 13) новый вид дуг – дуги потребности. Она ведет из вершины-процесса в вершину- ресурс, обозначается пунктиром и означает, что процесс может потребовать данный ресурс. Дуга потребности преобразуется в дугу присваивания, когда система фактически выделяет данный ресурс процессу. При освобождении ресурса дуга присваивания преобразуется обратно в дугу потребности.

Алгоритм банкира (Э. Дейкстра) – алгоритм распределения ресурсов операционной системой, обеспечивающий избежание тупиков. Его условия и принципы: возможны множественные экземпляры ресурсов; каждый процесс должен априорно обозначить свои максимальные потребности в ресурсах; при запросе ресурса возможно ожидание процесса; после получения ресурсов процесс должен вернуть их за ограниченный период времени. Для работы алгоритма используются вектор доступности ресурсов каждого вида, матрица максимальных потребностей процессов, матрица фактического выделения системой ресурсов процессам, матрица оставшихся потребностей процессов в ресурсах.

Алгоритм безопасности определяет, является ли состояние системы безопасным, путем построения безопасной последовательности процессов. Алгоритм моделирует последовательное освобождение ресурсов процессами после их завершения.

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

Другая возможная стратегия – обнаружение тупиков: позволить системе войти в состояние тупика, применить алгоритм обнаружения тупиков и выполнить схему восстановления после тупика. Если каждый ресурс существует в единственном экземпляре, для обнаружения тупиков используется граф wait-for, в котором вершины соответствуют процессам, а дуга ведет из вершины A в вершину B, если процесс A ожидает процесса B. Сложность алгоритма обнаружения цикла в графе wait-for – O(n**2), где n – число процессов.

Если имеются множественные экземпляры ресурсов, то для обнаружения тупиков используется алгоритм, аналогичный алгоритму построения безопасной последовательности процессов. Его сложность – O (m * n**2), где m – число типов ресурсов.

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

Комбинированный подход к обработке тупиков сочетает в себе все три рассмотренных стратегии – предотвращение, избежание и обнаружение. Система подразделяет ресурсы на иерархически упорядоченные классы. Для каждого класса используется наиболее оптимальная стратегия.

Вопросы для самопроверки:

1. Что такое безопасное состояние системы?

2. Что такое безопасная последовательность процессов?

3. Есть ли в системе тупики, если система находится в безопасном состоянии?

4. Возможны ли в системе тупики, если она находится в небезопасном состоянии?

5. В чем суть стратегии избежания тупиков?

6. Что такое дуга потребности в графе распределения ресурсов?

7. В какую дугу преобразуется дуга потребности при фактическом выделении ресурса?

8. В какую дугу преобразуется дуга присваивания при освобождении ресурса?

9. Каковы основные принципы алгоритма банкира?

10. Какие структуры данных используются для алгоритма банкира?

11. В чем идея и каковы основные шаги алгоритма определения того, является ли состояние системы безопасным?

12. В чем идея и каковы основные шаги алгоритма удовлетворения запроса процесса?

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

14. В какой момент проверяется безопасность следующего состояния в алгоритме банкира?

15. В чем основные принципы стратегии обнаружения тупиков?

16. Что такое граф wait-for и как он используется для обнаружения тупиков?

17. В чем идея и каковы основные шаги алгоритма обнаружения тупиков для ресурсов с множественными экземплярами?

18. Как происходит восстановление системы после тупика?

19. По каким принципам выбирается процесс-жертва, который необходимо прекратить для ликвидации тупика?

20. Почему при многократном выборе процессов-жертв для выхода из тупиков возможно голодание процессов?

Упражнения

1. Реализуйте граф распределения ресурсов с дугами потребностей, запросов и присваиваний и операциями преобразования дуги потребностей и дугу присваивания и обратно.

2. Реализуйте алгоритм проверки безопасности состояния системы.

3. Реализуйте основной алгоритм банкира – удовлетворение запроса процесса.

4. Ответьте на вопросы в примере использования алгоритма банкира.

5. Реализуйте граф wait-for и алгоритм обнаружения циклов в нем.

6. Реализуйте алгоритм обнаружения тупиков.

Лекция 8-9. Алгоритм банкира

План занятия:

1. Безопасное состояние системы.

2. Модифицированный вариант графа распределения ресурсов для стратегии избежания тупиков.

3. Принципы алгоритма банкира.

4. Структуры данных для алгоритма банкира.

5. Алгоритм проверки состояния системы на безопасность.

6. Алгоритм запроса ресурсов для процесса Pi.

7. Пример использования алгоритма банкира.

8. Методы обнаружения тупиков.

9. Граф wait-for.

10. Обнаружение тупиков для случая ресурсов с множественными экземплярами.

11. Алгоритм обнаружения тупиков.

12. Пример применения алгоритма обнаружения тупиков.

13. Использование алгоритма обнаружения тупиков.

14. Восстановление после тупика.

15. Комбинированный подход к обработке тупиков



Поделиться:


Последнее изменение этой страницы: 2016-12-30; просмотров: 2597; Нарушение авторского права страницы; Мы поможем в написании вашей работы!

infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 54.163.14.144 (0.055 с.)