CC BY
34
Наука к Образование
МГТУ им. Н.Э. Баумана
Сетевое научное издание
Наука и Образование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2015. № 08. С. 184-194.
ISSN 1994-0408
Б01: 10.7463/0815.0793623
Представлена в редакцию: Исправлена:
© МГТУ им. Н.Э. Баумана
УДК 519.21
Разрешение конфликтов в компьютерных системах
1 *
Можаров Г. П. '
21.07.2015 10.08.2015
mojaroY_g@mail.:ru
1МГТУ им. Н.Э. Баумана, Москва, Россия
Тупиковые ситуации, возникающие в сети при передаче данных препятствует поступлению пакетов данных в узлы назначения. Поэтому проблема разрешения тупиковых ситуаций является одной из важнейших при проектировании передачи данных (особенно с буферизацией) в компьютерных сетях. Существуют два традиционных подхода к разрешению тупиковых ситуаций: проектируются сети и схемы, которые исключают возникновение тупиковых ситуаций; разработка распределённого алгоритма, который обнаруживает тупиковую ситуацию и затем выводит сеть из этой ситуации при помощи некоторого разрешающего распределённого алгоритма. Предложенный подход базируется на том, чтобы предоставлять неделимые ресурсы процессам так, чтобы минимизировать потери из-за конфликтов. Исследуются многокритериальная задача предоставления неделимых ресурсов процессам, причём принцип оптимальности выражается известным бинарным отношением на множестве средних век-торов штрафов за конфликты по каждому из ресурсов. Показано, что совместное использование аппарата теории выбора и классического аппарата позволяет расширить известные постановки задач за счёт использования более общих принципов оптимальности; приводятся примеры решения многокритериальных задач оптимального управления раз-решения конфликтов в компьютерных системах. Получены количественные оценки выигрыша при выбранной оптимальной стратегии разрешения конфликтов в многопроцессорных компьютерных системах.
Ключевые слова: компьютерная система, конфликты в компьютерных системах, многокритериальные задачи, оптимальная стратегия, тупики, предотвращения тупиковых ситуаций
Введение
Конфликтной ситуацией в компьютерных системах (КС) называется явление, возникающее при мультидоступе процессов к общим ресурсам, когда ни один из процессов, вовлеченных в эту ситуацию, не может продолжаться из-за ожидания определенных ресурсов, захваченных другими процессами, которые, в свою очередь,
находятся в аналогичном положении. Конфликтная ситуация имеет и иное название -тупик, что достаточно чётко отражается на состоянии КС.
Поиск практически применимых алгоритмов разрешения тупиковых ситуаций имеет большое прикладное значение для обеспечения информационной безопасности вычислительного процесса и в этой связи представленная статья посвящена решению важной и актуальной задаче.
Серьёзность ситуации зависит от типов процессов, находящихся в тупике, от типов используемых ресурсов, числа процессов и многих других факторов. Конфликты сопряжены с задержками процессов и снижают производительность КС. При этом, несмотря на относительную простоту данного явления, тупиковые ситуации ещё недостаточно изучены, а известные методы «борьбы» с тупиками не всегда эффективны, и, следовательно, требуют определённых исследований [1].
Например, недостаток метода предотвращения тупиковых ситуаций, используемого во многих современных операционных системах и основанного на предварительном планировании необходимых процессу ресурсов, очевиден - время ожидания может оказаться чрезмерно большим. Метод предотвращения с прерыванием работы процесса и освобождением его ресурсов очень специфичен и мало эффективен, когда имеется множество разнотипных ресурсов, запрашиваемых динамически. Недостаток еще одного метода, предотвращающего тупики путём упорядочения ресурсов, заключается в ограничении возможных последовательностей запросов на ресурсы [1-4].
Иной способ «борьбы» с тупиками - недопущение тупиковых ситуаций. Предполагается прогнозирование появления тупиковых ситуаций в будущем. Известные методы [1,2,4,5], основанные на определении и недопущении состояний, при которых могут возникать тупики. При этом используется предварительная информация о том, какие ресурсы может запросить процесс во время выполнения. Прежде чем выделить свободный ресурс процессу, осуществляется проверка на условие «безопасности» состояния. Состояние является «безопасным», если выделение ресурса процессу не может привести к появлению тупиковых ситуаций в будущем. Иначе состояние считается «опасным», и выделение ресурса откладывается. Один из вариантов данного метода предложен в [1]. Очевидный недостаток недопущения тупиковых ситуаций заключается в необходимости иметь априорную информацию о будущих потребностях в ресурсах, а это не всегда возможно.
Один из способов «борьбы» с тупиковыми ситуациями при отсутствии априорной информации о потребностях процесса в ресурсах - обнаружение тупиков. Обнаружение тупиковых ситуаций (еще не приводящее к их разрешению) - это периодическое использование алгоритма, который проверяет текущее распределение ресурсов с целью
указания того, существует ли тупиковая ситуация, и если существует, то какие процессы в нее вовлечены [3,5,6].
Цель работы состоит в том, чтобы разработать методы и алгоритмы, позволяющие минимизировать потери из-за тупиковых ситуаций в КС за счёт использования оптимальной стратегии разрешения конфликтов. Предлагаемый подход особенно эффективен для устранения тупиков в управляющих КС, набор программ которых фиксирован.
Математическое описание многокритериальной задачи нахождения
оптимальных стратегий
При решении задач на КС несколько процессов могут одновременно потребовать одного и того же ресурса (процессора, канала, таблицы), который предоставляется только одному из них. Или, например, в процессе функционирования современных многопроцессорных КС могут возникать очереди запросов на выделение свободной памяти. Они образуются из-за конфликтов при обращении к общим данным (списку свободной памяти и т.д.), а также при реализации механизмов перераспределения и реорганизации памяти. Такие ситуации называются конфликтами, а ресурсы -неделимым.
Пусть имеется к типов ресурсов. В общем случае каждый тип I характеризуется объёмом ресурсов к . Под КС будем понимать множество процессов Р = |р, р2, ..., рт|, которые могут одновременно функционировать в КС и множество ресурсов Я = , г2, ..., гп|, которые процессы могут запрашивать и использовать.
Выделим основные типы неделимых ресурсов КС: информационные (Я), программные (Я2), аппаратные (Я3). Примером ресурса типа Я является таблица распределения памяти в операционной системе, таблица распределения внешних устройств; примером ресурса Я2 - нереентерабельные программы: симплекс-метод,
вычисление логарифма; аппаратные типа Я3 - диск, канал ввода-вывода, устройство печати.
Конфликты могут возникать многократно. Внутри каждого процесса можно выделить критические участки, где ему необходим неделимый ресурс. В каждый момент времени не более чем один процесс может использовать неделимый ресурс; при этом остальные процессы, претендующие на этот ресурс, временно блокируются и должны ждать, пока он не освободится [7,8,9].
Таким образом, задача состоит в том, чтобы предоставлять неделимые ресурсы процессам так, чтобы минимизировать потери из-за конфликтов. Порядок предоставления неделимых ресурсов процессам назовём стратегией £ разрешения конфликтов [1,2].
Одним из возможных методов математического описания задачи разрешения конфликтов в многопроцессорной КС может являться применение марковских случайных
процессов. Пусть г -й процесс в КС (/ = 1, п) имеет т+1 состояний Л0 (у = 0, т) (здесь
у = 1, т — номер неделимого ресурса). В отсутствие других процессов поведение г-го процесса (г = 1, п) опишем цепью Маркова с вероятностями переходов
р'д( (q = 0, т, X = 0, т). Состояние Л'0 не соответствует ни одному из критических
участков г -го процесса; состояние Л0 (у = 0, т) соответствует у-му критическому
участку. Множество процессов, находящихся в состоянии, соответствующем критическому участку относительно одного и того же неделимого ресурса, назовём группой конфликтующих процессов.
Пусть М — множество состояний г -го процесса. Состояние всей совокупности процессов в любой момент времени представляет собой точку множества М = М1 •... • Мп. Рассмотрим подмножество К] с М :
К ={, е М (30 * фг = Л , О где у е{1, ..., т|. Подмножество Kj задаёт те состояния из М, в которых по крайней
мере два процесса претендуют на у -й ресурс. Введём величину
/ \ [1, * е Ку,
х(з, КуЫ у (1)
и рассмотрим вектор
х=(х(5, К), ..., Х(5, Кт)), Х=(х(5, К), ..., Х(5, Кт)),
определяющий штрафы в состоянии 5 е М за конфликты по каждому из неделимых ресурсов. Штраф равен времени ожидания каждого из ресурсов.
Зададим бинарное отношение Я на множестве средних векторов штрафов за конфликты по каждому из ресурсов за время функционирования КС (или векторов средних штрафов за единицу времени, если время функционирования КС бесконечно). Задача разрешения конфликтов состоит в нахождении Я -оптимальной стратегии.
Установим соответствие между рассматриваемой задачей и задачей поиска Я -оптимальных стратегий управления цепью Маркова. Построим цепь Маркова. Примем М за множество состояний цепи. Состояния ^ е М являются векторами: ^ = ^^, . ., , где
^ е|1, ..., т} - состояние 1-го процесса в данный момент времени t; ^ = У означает, что
г -му процессу в момент t требуется у -й ресурс. Пусть п = 2, ^ ^) = у и 52 ^) = у. Тогда У -й ресурс может быть предоставлен только одному из процессов. Процессу, которому У -й ресурс в момент t не был предоставлен, тот же ресурс требуется и в (^ + 1) -й момент. Поэтому переход из состояния (г, у^ в состояние ^у , у^, где у ^ у , у ^ у , невозможен. Таким образом, переходные вероятности зависят от того, какому процессу предоставлен у -й ресурс. Если предоставить ресурс 1-му процессу, то состояние ^у, у^ перейдёт в
состояние ^у, у^ с вероятностью р1, или в состояние ^у, у^ с вероятностью
1 р\, = р\. Если предоставить ресурс 2-му процессу, то ^у, у^ перейдёт в ^у, у ^ с
у
вероятностью р2,. Аналогично определяются переходные вероятности в общем случае п процессов (п > 2).
В данном случае удобнее говорить о минимизации штрафов, чем о максимизации доходов. Эквивалентность задач при этом очевидна. Вектор штрафа не зависит от принятого решения, а зависит только от состояния ^ : г/ = г; компоненты т -мерного вектора г определяются по формуле (1). Задача состоит в том, чтобы найти Я -
оптимальную стратегию для такой цепи. Таким образом, требуемое соответствие установлено. Это позволяет сводить исходную задачу к однокритериальной [3,9-11].
Пример решения задачи минимизации потерь процессорного времени
из-за конфликтов
Рассмотрим следующие неделимые ресурсы: р1 - канал ввода-вывода; р2 - общая таблица; р3 - устройство печати.
Пусть ресурсы р и р3 важнее, чем ресурс р2. Зададим критерии ^, г2 и гъ, оценки по которым являются средними временами ожидания каждого ресурса. Зададим на множестве всех возможных векторов времён ожидания t = , %2, Хз) иерархическое отношение Т, учитывающее указанную неравноценность. Критерии ^ и ц важнее, чем t2 ; критерии ^ и Ц считаются равноценными. Логическая форма отношения Т имеет вид
/123 (Р1, 02, Рз ) = Р1Р3 , /12 (Р1, Р2 )=Pl,
/х3 (Р1, Рз ) = Р1Р3 , /23 (02, Рз ) = Рз, / (Рг ) = Ро (0 =Г3) .
Мажорирующая последовательность (га^(Т) имеет вид ^г'"1, г"2, г3а^ = ^10, 20, 30^.
Стратегия, минимизирующая среднее время ожидания ресурса ^, является Г-оптималь-ной [5,6,10].
Найдём количественную оценку выигрыша в частном случае задачи нахождения оптимальной стратегии разрешения конфликтов. Пусть процессы в КС слабо связаны. При этом
р0у =ву (о = 1, п, у = 1, т), р)к = 0 (у ф к, у ф 0, к ф 0), р1]] е(0, 1) (о = 1, п, ] = 1, т) .
Итак, пусть Я — любое рациональное отношение. Существует е > 0 такое, что при любых е'. <8 (0 = 1, п, у = 1, т) для конечного и для бесконечного времени:
а) Я -оптимальная стратегия единственна;
б) ресурс предоставляется процессу, имеющему меньшую вероятность р' остаться в состоянии Л° среди всех процессов данной группы.
Рассмотрим однокритериальный вариант задачи со слабосвязанными процессами.
Сравним среднее число конфликтов при данной стратегии со средним числом конфликтов при равновероятном выборе процесса, которому предоставляется ресурс. Значения параметров:
п = 2, т = 2, р\ = 0,9, р\ = 0,75, р\ = 0,7, р22 = 0,95;
при этом значения е[ меняются от 0,035 с шагом 0,04, значения 82 — от 0,04 с шагом 0,06, значения е2 — от 0,035 с шагом 0,03 и значения е2 — от 0,025 с шагом 0,04. В таблице. приведены результаты расчётов. Строка соответствует фиксированному начальному состоянию (запись 12 означает, что первый процесс находится в состоянии Л1, а второй — в состоянии Ланалогичный смысл имеют обозначения 00, 01 и т.д.).
Столбец соответствует времени функционирования КС Т (числу шагов); на пересечении строки и столбца записано в верхней части клетки среднее число конфликтов при оптимальной стратегии, а в нижней — при стратегии, предоставляющей ресурс равновероятно тому или иному процессу. Таблица разбита на части, каждая из которых соответствует фиксированным значениям е' (г', у = 1, 2) .
Расчеты количественной оценки выигрыша в задаче нахождения оптимальной стратегии разрешения конфликтов (в приведенном примере) свидетельствуют об адекватности математического моделирования задачи разрешения конфликтов в многопроцессорной КС цепью Маркова.
Таблица. Результаты расчётов количественной оценки выигрыша в задаче нахождения оптимальной
стратегии разрешения конфликтов
Начальное состояние Число шагов
5 1 0 20 25 30
е| = 0,035; е'2 = 0,04; е? = 0,035; е2 = 0,25
00 0,04 0,043 0,193 0,229 0,662 0,871 0,929 1,256 1,207 1,663
01 0,134 0,150 0,327 0,404 0,783 1,041 1,043 1,414 1,315 1,809
11 2,832 3,405 3,559 4,736 4,226 5,911 4,507 6,334 4,788 6,743
12 0,038 0,040 0,247 0,290 0,897 1,188 1,239 1,693 1,574 2,197
22 3,119 3,750 4,170 5,657 5,215 7,660 6,610 8,338 5,974 8,933
е[ = 0,075; е1 = 0,1; е2 = 0,065; е2 = 0,065
00 0,170 0,183 0,700 0,832 2,060 2,675 2,781 3,690 3,514 4,730
01 0,296 0,329 0,820 0,994 2,115 2,753 2,819 3,737 3,540 4,754
11 2,888 3,444 3,823 4,982 5,140 6,959 5,815 7,902 6,516 8,877
12 0,085 0,090 0,524 0,612 1,881 2,424 2,624 3,467 3,375 4,535
22 3,213 3,809 4,644 6,031 6,571 9,054 7,399 10,307 8,194 11,440
е[ = 0,115; е1 = 0,160; е2 = 0,095; е2 = 0,105
00 0,345 0,374 1,237 1,467 3,274 4,200 4,310 5,633 5,350 7,081
01 0,457 0,506 1,293 1,555 3,250 4,175 4,269 5,575 5,298 7,000
11 2,937 3,481 4,060 5,208 5,894 7,827 6,858 9,145 7,855 10,507
12 0,129 0,136 0,747 0,867 2,606 3,299 3,625 4,694 4,660 6,129
22 3,298 3,862 5,005 6,324 7,515 10,025 8,624 11,646 9,705 13,255
е[ = 0,155; е1 = 0,220; е2 = 0,25; е2 = 0,145
00 0,535 0,582 1,713 2,027 4,214 5,357 5,457 7,061 6,698 8,771
01 0,608 0,673 1,702 2,035 4,129 5,256 5,357 6,929 6,589 8,617
11 2,984 3,517 4,263 5,404 6,473 8,493 7,634 10,065 8,828 11,683
12 0,168 0,178 0,927 1,070 3,141 4,929 4,349 5,559 5,576 7,137
22 3,373 3,911 5,284 6,554 8,184 10,720 9,486 12,586 10,760 14,372
Заключение
Разработана и предложена эффективная стратегия управления информационными процессами в многопроцессорных КС, обнаруживающая и запрещающая тупиковые ситуации в компьютерных системах.
Отличительной особенностью предлагаемых эффективных методов и алгоритмов ликвидации тупиков является возможность использования их при разработке и эксплуатации многопроцессорных КС, работающих в реальном масштабе времени. Приведенный пример подтверждает работоспособность, эффективность и перспективность предлагаемых метода и алгоритма разрешения тупиковых ситуаций в многопроцессорных КС.
Предложенные метод и алгоритм обеспечивает уменьшение среднего числа конфликтов в КС на 30-40%.
Список литературы
1. Андреев А.М., Можаров Г.П., Сюзев В.В. Многопроцессорные вычислительные системы: теоретический анализ, математические модели и применение. М.: Изд-во МГТУ им. Н.Э. Баумана, 2011. 334 с.
2. Королёв В.Ю., Бенинг В.Е., Шоргин С.Я. Математические основы теории риска. 2-е изд., перераб. и доп. М.: ФИЗМАТЛИТ, 2011. 620 с.
3. Ногин В.Д. Принятие решений при многих критериях. СПб.: Изд-во «ЮТАС», 2007. 104 с.
4. Подиновский В.В., Ногин В.Д. Парето-оптимальные решения многокритериальных задач. 2-е изд. испр. и доп. М.: ФИЗМАТЛИТ, 2007. 256 с.
5. Ногин В.Д. Введение в оптимальное управление. СПб.: Изд-во «ЮТАС», 2008. 92 с.
6. Райгородский А.М. Вероятность и алгебра в комбинаторике. М.: МЦНМО, 2011. 48 с.
7. Райгородский А.М. Теория вероятностей и комбинаторная геометрия // Математика в задачах: сб. ст. М.: МЦНМО, 2009. С. 381-384.
8. Ширяев А.Н. Вероятностно-статистические методы в теории принятия решений. М.: ФМОП, МЦНМО, 2011. 144 с.
9. Eggemann N., Noble S.D. The clustering coefficient of a scale-free random graph // Discrete Applied Mathematics. 2011. Vol. 159, no. 3. P. 953-965. DOI: 10.1016/j.dam.2011.02.003
10. Kolountzakis M.N., Miller G.L., Peng R., Tsourakakis Ch.E. Efficient Triangle Counting in Large Graphs via Degree-Based Vertex Partitioning // Internet Mathematics. 2011. Vol. 8, no. 1. P. 161-185.
11. Peskir G., Shiryaev A. Optimal stopping and free-boundary problems. Basel: Birkhauser, 2006. 500 p.
Science and Education of the Bauman MSTU, 2015, no. 08, pp. 184-194.
DOI: 10.7463/0815.0793623
Received: Revised:
21.07.2015 10.08.2015
Science^Education
of the Bauman MSTU
I SS N 1994-0408 © Bauman Moscow State Technical Unversity
Conflict Resolution in Computer Systems G.P. Mojarov1 *
moi arov_g@mail ju
:Bauman Moscow State Technical University, Moscow, Russia
Keywords: computer system, conflicts in computer systems, multicriterion problems, optimum
strategy, deadlocks, prevention of impasses
A conflict situation in computer systems CS) is the phenomenon arising when the processes have multi-access to the shared resources and none of the involved processes can proceed because of their waiting for the certain resources locked by the other processes which, in turn, are in a similar position. The conflict situation is also called a deadlock that has quite clear impact on the CS state.
To find the reduced to practice algorithms to resolve the impasses is of significant applied importance for ensuring information security of computing process and thereupon the presented article is aimed at solving a relevant problem.
The gravity of situation depends on the types of processes in a deadlock, types of used resources, number of processes, and a lot of other factors.
A disadvantage of the method for preventing the impasses used in many modern operating systems and based on the preliminary planning resources required for the process is obvious -waiting time can be overlong. The preventing method with the process interruption and deallocation of its resources is very specific and a little effective, when there is a set of the polytyp-ic resources requested dynamically. The drawback of another method, to prevent a deadlock by ordering resources, consists in restriction of possible sequences of resource requests.
A different way of "struggle" against deadlocks is a prevention of impasses. In the future a prediction of appearing impasses is supposed. There are known methods [1,4,5] to define and prevent conditions under which deadlocks may occur. Thus the preliminary information on what resources a running process can request is used. Before allocating a free resource to the process, a test for a state "safety" condition is provided. The state is "safe" if in the future impasses cannot occur as a result of resource allocation to the process. Otherwise the state is considered to be " hazardous ", and resource allocation is postponed. The obvious shortcoming in preventing impasses is a need to have a priori information on the future demand for resources, and it is not always possible.
One of ways to "struggle" against impasses when there is no a priori information on the process demand for resources is to detect deadlocks. Detection of impasses (without leading to
their resolution yet) is a periodical use of the algorithm which checks current distribution of resources to reveal whether there is an impasse and if it exists what processes are involved in it.
The work objective is to develop methods and algorithms allowing us to minimize losses because of impasses in CS using the optimum strategy of conflict resolution. The offered approach is especially effective to eliminate deadlocks in management (control) computer systems having a fixed set of programmes.
The article offers a developed efficient strategy of the information processes management in multiprocessing CS, which detects and prevents impasses. The strategy is based on allocation of indivisible resources to computing processes so that losses caused by conflicts are minimized. The article studies a multi-criterion problem of indivisible resources allocation to the processes, with the optimality principle expressed by the known binary relation over set of average vectors of penalties for conflicts in each of resources. It is shown that sharing a decision theory tool and a classical one allows more efficient problem solution to eliminate deadlock. The feature of suggesting effective methods and algorithms to eliminate deadlocks is that they can be used in CS development and operation in real time. The article-given example shows that the proposed method and algorithm for the impasse resolution in multiprocessing CS are capable and promising.
The offered method and algorithm provide reducing the average number of CS conflicts by 30-40 %.
References
1. Andreev A.M., Mozharov G.P., Syuzev V.V. Mnogoprotsessornye vychislitel'nye sistemy: teoreticheskii analiz, matematicheskie modeli i primenenie [Multiprocessor computer systems: theoretical analysis, mathematical models and application]. Moscow, Bauman MSTU Publ., 2011. 334 p. (in Russian).
2. Korolev V.Yu., Bening V.E., Shorgin S.Ya. Matematicheskie osnovy teorii riska [Mathematical foundations of risk theory]. Moscow, Fizmatlit Publ., 2011. 620 p. (in Russian).
3. Nogin V.D. Prinyatie reshenii pri mnogikh kriteriyakh [Mathematical foundations of risk theory]. St. Petersburg, YuTAS Publ., 2007. 104 p. (in Russian).
4. Podinovskii V.V., Nogin V.D. Pareto-optimal'nye resheniya mnogokriterial'nykh zadach [Pareto-optimal solutions of multicriteria problems]. Moscow, Fizmatlit Publ., 2007. 256 p. (in Russian).
5. Nogin V.D. Vvedenie v optimal'noe upravlenie [Introduction to optimal control]. St. Petersburg, YuTAS Publ., 2008. 92 p. (in Russian).
6. Raigorodskii A.M. Veroyatnost' i algebra v kombinatorike [Probability and algebra in combinatorics]. Moscow, MTsNMO Publ., 2011. 48 p. (in Russian).
7. Raigorodskii A.M. Probability theory and combinatorial geometry. Matematika v zadachakh: sb. st. [Mathematics in problems: collected articles]. Moscow, MTsNMO Publ., 2009, pp. 381-384. (in Russian).
8. Shiryaev A.N. Veroyatnostno-statisticheskie metody v teoriiprinyatiya reshenii [Probabilistic and statistical methods in decision making theory]. Moscow, FMOP Publ., MTsNMO Publ., 2011. 144 p. (in Russian).
9. Eggemann N., Noble S.D. The clustering coefficient of a scale-free random graph. Discrete Applied Mathematics, 2011, vol. 159, no. 3, pp. 953-965. DOI: 10.1016/j.dam.2011.02.003
10. Kolountzakis M.N., Miller G.L., Peng R., Tsourakakis Ch.E. Efficient Triangle Counting in Large Graphs via Degree-Based Vertex Partitioning. Internet Mathematics, 2011, vol. 8, no. 1, pp. 161-185.
11. Peskir G., Shiryaev A. Optimal stopping and free-boundary problems. Basel, Birkhäuser, 2006. 500 p.
