АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология

Методы обнаружения тупика по наличию замкнутой цепочки запросов

Прочитайте:
  1. Cовременные методы лечения миомы матки
  2. I. Иммунология. Определение, задачи, методы. История развитии иммунологии.
  3. II) Методы исследования и симптомы поражения III, IV, VI пары ЧН
  4. II. Дополнительные методы
  5. II. Инструментальные методы диагностики
  6. II. Неизотопные методы
  7. III. Методы искусственной физико-химической детоксикации.
  8. III. Перспективные методы лечения инсулинозависимого сахарного диабета
  9. III. Экстракорпоральные методы детоксикации
  10. IV. Многомерные статистические методы

Структура графа обеспечивает простое необходимое (но не достаточное) усло­вие для тупика. Для любого графа G = <Х, Е> и вершины х е X пусть Р(х) обо­значает множество вершин, достижимых из вершины х, то есть

Р(х) = { у | (х, у) е Е } U { z | (у, z) 6 Е & у e Р(х) }.

Можно сказать, что в ориентированном графе потомством вершины х, которое мы обозначаем как Р(х), называется множество всех вершин, в которые ведут пути из х.

Тогда если существует некоторая вершина х е X: х е Р(х), то в графе G имеется цикл.

Теорема 1. Цикл в графе повторно используемых ресурсов является необходи­мым условием тупика.

Для доказательства этой теоремы (которое мы опустим, указав, что при жела­нии его можно найти в работе [45]) можно воспользоваться следующим свойст­вом ориентированных графов: если ориентированный граф не содержит цикла, то существует линейное упорядочение вершин, такое, что если существует путь от вершины i к вершине j, то i появляется перед] в этом упорядочении.

Теорема 2. Если S не является состоянием тупика и S — % —» ST, где ST есть со­стояние тупика в том и только в том случае, когда операция процесса Р| есть за­прос и pj находится в тупике в ST.

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

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

Пучок (или узел) в ориентированном графе G = <Х, Е> — это подмножество вершин Z с X, таких что V х е Z, Р(х) - Z, то есть потомством каждой вершины


из Z является само множество Z. Каждая вершина в узле достижима из каждой другой вершины этого узла, и узел есть максимальное подмножество с этим свойством. Поясним сказанное рис. 7.12.

Следует заметить, что наличие цикла — это необходимое, но не достаточное условие для узла. Так, на рис. 7.13 изображены два подграфа. Подграф а пред­ставляет собой пучок (узел), тогда как подграф б представляет собой цикл, но узлом не является. В узел должны входить дуги, но они не должны из него выхо­дить.

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

Состояние называется фиксированным, если каждый процесс, выдавший запрос, заблокирован.


Теорема 3. Если состояние системы фиксированное (все процессы, имеющие за­просы, удовлетворены), то наличие узла в соответствующем графе повторно ис­пользуемых ресурсов является достаточным условием тупика.

Доказательство. Предположим, что граф содержит узел Z. Тогда все процессы в этом узле должны быть заблокированы только по ресурсам, принадлежащим Z, так как никакие ребра не могут выходить из Z по определению. Аналогично, по той ж.е самой причине все распределенные ресурсы узла Z принадлежат процес­сам из Z. Наконец, все процессы в Z должны быть заблокированы согласно усло­вию фиксированности и определению узла. Следовательно, все процессы в узле Z должны быть в тупике.

Допустим, что каждый ресурс имеет единичную емкость (по одной единице ре­сурса), то есть |К(| = 1, (i - 1, 2,..., m). При этом ограничении наличие цикла так­же становится достаточным условием тупика.

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

Доказательство. Необходимость цикла доказывает теорема 1. Для доказательст­ва достаточности допустим, что граф содержит цикл, и рассмотрим только лишь процессы и ресурсы, принадлежащие циклу. Так как каждая вершина-процесс должна иметь входящее и исходящее ребро, она должна иметь выданный запрос на некоторый ресурс, принадлежащий циклу, и должна удерживать некоторый ресурс, принадлежащий тому же циклу. Аналогично, каждый ресурс единичной емкости в цикле должен быть захвачен некоторым процессом. Следовательно, каждый процесс в цикле блокируется на ресурсе, который может быть освобож­ден только некоторым процессом из этого цикла; поэтому процессы в цикле на­ходятся в тупике.

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


Дата добавления: 2015-01-18 | Просмотры: 613 | Нарушение авторских прав



1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |



При использовании материала ссылка на сайт medlec.org обязательна! (0.004 сек.)