Условия возникновения тупиков

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

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

Большинство методов связано с предотвращением одного из условий возникновения взаимоблокировки.

Система, предоставляя ресурс в распоряжение процесса, должна принять решение, безопасно это или нет. Возникает вопрос: есть ли такой алгоритм, который помогает всегда избегать тупиков и делать правильный выбор. Ответ – да, мы можем избегать тупиков, но только если определенная информация известна заранее.

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

Алгоритм банкира

Можно избежать  взаимоблокировки, если распределять  ресурсы, придерживаясь определенных правил. Среди такого рода алгоритмов наиболее известен алгоритм банкира, предложенный Дейкстрой, который базируется на так называемых безопасных  или  надежных  состояниях (safe state). 

Безопасное состояние– это такое состояние, для которого имеется по крайней мере одна последовательность событий, которая не приведет к взаимоблокировке.

Модель алгоритма основана на действиях банкира, который, имея в наличии капитал, выдает кредиты.

Суть алгоритма в следующем.

1. Предположим, что у системы в наличии n устройств, например лент.

2. ОС принимает запрос от пользовательского процесса, если его максимальная потребность не превышает n.

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

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

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

Пример: надежного состояния для системы с 3 пользователями и 11 устройствами, где 9 устройств задействовано, а 2 имеется в резерве. Пусть текущая ситуация такова:

Рис. Пример надежного состояния для системы с 3 пользователями и 11 устройствами.

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

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

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

1. Создать список, элементами которого являются процессы с их ресурсами и заявками.

2. Если список пуст, - установить флаг безопасной ситуации и перейти к п. 7.

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

4. Если такой процесс не найден, - установить флаг опасной ситуации и перейти к п.7.

5. Удалить найденный процесс из списка и передать те ресурсы, которыми он обладал в системный резерв.

6. Перейти к п.2.

7. Закончить проверку.

Достоинство: при его использовании нет необходимости в перераспределении  ресурсов  и откате процессов назад.

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

• Число пользователей и число ресурсов фиксировано.

• Число работающих пользователей должно оставаться постоянным.

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

• Д.б. заранее указаны максимальные требования процессов кресурсам. Чаще всего данная информация отсутствует.

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

Алгоритм Габермана. Другая алгоритмическая реализация стратегии с предварительными заявками известна как алгоритм Габермана.

Если в системе имеется r ресурсов одного класса, то ОС создает массив S из r целых чисел.

В ходе начальных установок в массив записывается убывающая последовательность чисел от r до 1.

Если процесс, имеющий заявку на claim ресурсов и уже получивший hold ресурсов, запрашивает еще один ресурс, то (функция HabervanGet) все элементы массива S с номерами от 0 до claim-hold-1 включительно уменьшаются на 1.

Индикатором опасного состояния является отрицательное значение любого элемента массива S.

Этот алгоритм иллюстрируется следующим программным листингом:

/* Алгоритм Габермана */

static int S[r];

/* Начальные установки */

void HabervanInit(void) {

int i;

for (i=0; i<r; S[i++]=0);

}

/* Выделение ресурса */

int HabermanGet(int claim, int hold) {

int i;

for (i=0; i<claim-hold; i++)

if (!S[i]) return -1; /* отказ */

for (i=0; i<claim-hold; S[i++]--);

return 0; /* подтверждение */

}

/* Освобождение ресурса */

void HabermanRelease(int claim, int hold) {

int i;

for (i=0; i<=claim-hold; S[i++]++);

}

На Риc показана работа алгоритма

Пример

пусть у ОС имеется всего 12 ресурсов одного класса и на текущий момент выполняются три процесса - P1, P2 и P3, их заявки составляют 12, 4 и 8 ресурсов соответственно.

На текущий момент времени процессу P1 выделено 4 ресурса, процессу P2 - 2, процессу P3 - 4

В резерве ОС остаются, таким образом, 2 ресурса.

Ситуация является безопасной.

ОС может выделить оставшиеся два ресурса процессу P2, и этот процесс, полностью получив по своей заявке, может завершится, тогда системный резерв увеличится до 4 ресурсов. Этот резерв ОС отдаст процессу P3, он, завершившись, передаст в резерв ОС 8 ресурсов, которых будет достаточно для удовлетворения заявки процесса P1. Ситуация станет опасной, если ОС выделит ресурс какому-либо другому процессу, кроме P2 - см. В этой ситуации ОС за счет своего резерва не может полностью удовлетворить ни одну заявку.

Габермана для ситуации, рассмотренной нами в примере выше. В графе "Событие" таблицы на рисунке указывается идентификатор процесса, которому выделяется единица ресурса; остальная часть каждой строки представляет состояние массива S после этого выделения. Строка "итог" показывает состояние на момент, когда ресурсы распределены так, как показано на Рис.5.3.а. (Убедитесь сами, что на конечное состояние массива S не влияет последовательность, в которой ресурсы выделялись.) Три нижние строки, в которых идентификатору процесса предшествует символ '*', показывают состояние массива S для альтернативных вариантов - выделения еще одного ресурс процессу P1 или P2, или P3. Видно, что только процесс P2 может получать ресурсы, не переводя систему в опасное состояние.

К сожалению, простая реализация алгоритма Габермана возможна только для

одного класса ресурсов. При наличии в системе нескольких классов

безопасность во всех классах по отдельности не гарантирует безопасности

всей системы в целом. Так в примере про процессы A и B, использующие

принтер и ленту, ситуация является безопасной как по классу принтеров,

так и по классу лент, но в комплексе она является тупиковой.

Алгоритм "проигрывания ситуации", требует значительного объема вычислений,

но обеспечивает комплексный анализ безопасности.

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

Возможны и стратегии, обеспечивающие еще более либеральную политику, но они требуют большей предварительной информации о процессе и, как правило, - большего объема вычислений при реализации стратегии. Например, нетрудно представить себе, что если ОС заранее знает, в какой последовательности процесс будет запрашивать/освобождать ресурсы, то она может обеспечить более эффективное управление ими. Но часто ли такая последовательность может быть известна заранее? Среди авторов [8, 20, 27 и др.] нет даже единодушного мнения о том, реально ли требовать от процесса предварительной заявки. На наш взгляд, однако, такое требование в большинстве случаев реально выполнимо: для пакетных процессов потребность в ресурсах бывает известна заранее, интерактивные же процессы в многопользовательских системах запускаются только зарегистрированными пользователями, указанный при регистрации пользователя доступный ему объем ресурсов может считаться такой заявкой.

Предотвращение тупиков за счет нарушения условий возникновения тупиков

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

Нарушение условия взаимоисключения

В общем случае избежать взаимоисключений невозможно.

Доступ к некоторым ресурсам  д.б. исключительным.

Но некоторые устройства удается обобществить.

ПРИМЕР: принтер.

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

ТОЛЬКО один системный процесс, называемый сервисом или демоном принтера, отвечающий за вывод документов на печать по мере освобождения принтера, реально с ним взаимодействует.

Эта схема называется спулингом (spooling). Т.о., принтер становится разделяемым устройством, и  тупик  для него устранен.

К сожалению, не для всех устройств и не для всех данных можно организовать спулинг. Неприятным побочным следствием такой модели может быть потенциальная тупиковая ситуация из-за конкуренции за дисковое пространство для буфера спулинга. Тем не менее в той или иной форме эта идея применяется часто.

эта идея применяется часто

Нарушение условия ожидания дополнительных ресурсов(Хавендер в 1968  г.)

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

• В первой фазе процесс должен запрашивать все необходимые ему ресурсы сразу. До тех пор пока они не предоставлены, процесс не может продолжать выполнение.

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

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

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

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

Другим примером может служить механизм двухфазной локализации записей в СУБД.

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

Если такая информация есть, то можно воспользоваться алгоритмом банкира.

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

Нарушение принципа отсутствия перераспределения

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

Недостатки подхода.

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

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

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

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

Hарушение условия кругового ожидания

Трудно предложить разумную стратегию, чтобы избежать последнего условия из раздела "Условия возникновения тупиков" – циклического ожидания.

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

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

Очевидно, что практически невозможно найти порядок, который удовлетворит всех.

Один из немногих примеров упорядочивания ресурсов – создание иерархии спин-блокировок в Windows 2000. Спин-блокировка – простейший способ синхронизации .Спин-блокировка может быть захвачена и освобождена процессом. Классическая тупиковая ситуация возникает, когда процесс P1 захватывает спин-блокировку S1 и претендует на спин-блокировку S2, а процесс P2, захватывает спин-блокировку S2 и хочет дополнительно захватить спин-блокировку S1. Чтобы этого избежать, все спин-блокировки помещаются в упорядоченный список. Захват может осуществляться только в порядке, указанном в списке.

Другой способ атаки условия кругового ожидания – действовать в соответствии с правилом, согласно которому каждый процесс может иметь только один ресурс в каждый момент времени.

Если нужен второй ресурс – освободи первый. Очевидно, что для многих процессов это неприемлемо.

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