Методы обхода тупиков. Алгоритм банкира

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

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

Среди такого рода алгоритмов наиболее известен алгоритм бан­кира, предложенный Дейкстрой, который базируется на безопасных (надёжных) состояниях. Безопасное состояние — это такое состояние, для которого имеется по крайней мере одна последовательность событий, которая не приведёт к тупику.

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

Текущее состояние системы называется надёжным, если ОС мо­жет обеспечить всем процессам их завершение (выделить необходи­мые ресурсы) в течение конечного времени. В соответствии с алгоритмом банкира выделение устройств воз­можно, только если состояние системы остаётся надёжным. Термин ненадёжное состояние не предполагает, что обязательно возникнут тупики. Он лишь говорит о том, что в случае неблагопри­ятной последовательности событий система может зайти в тупик.

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

1) Число процессов и число ресурсов должно быть фиксировано.

2) Число работающих процессов не должно не увеличиваться. И не должно появляться новых процессов.

3) Алгоритм требует, чтобы клиенты гарантированно возвраща­ли ресурсы.

4) Должны быть заранее указаны максимальные требования про­цессов к ресурсам.

Кроме того, во многих случаях гарантия завершения любого про­цесса в течение конечного времени является недостаточной. Требу­ется более точная и предсказуемая оценка времени завершения.

Дата добавления: 2015-07-20