Вход

Оптимальное управление вычислениями в распределенных вычислительных системах на основе графа потоков данных

Дипломная работа по компьютерным сетям
Дата добавления: 30 ноября 2002
Язык диплома: Русский
Word, rtf, 2.1 Мб (архив zip, 156 кб)
Диплом можно скачать бесплатно
Скачать



Ульяновский Государственный Университет



Факультет механико-математический

Кафедра математической кибернетики и информатики






Работа допущена к защите


Зав. кафедрой Семушин И.В.

(Ф.И.О.)

(подпись)

(дата)



Д И П Л О М Н А Я Р А Б О Т А



Оптимальное управление вычислениями в распределенных ____

___вычислительных системах на основе графа потоков данных_____

(название темы)


Прикладная математика. 01.02.

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



Проект выполнил студент ПМ-52 Никифоров Ю.В.

группа подпись Ф.И.О.


Руководитель ассистент Дулов Е.В.

должность подпись Ф.И.О.


Рецензент Шиняев С.А.

подпись Ф.И.О.









У Л Ь Я Н О В С К

2000


Введение


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

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

Производительность наиболее быстрых компьютеров растёт экспоненциально с 1945 до наших дней, в среднем в 10 раз каждые пять лет. Нет сомнений, что этот рост будет продолжаться. Однако, для обеспечения этого роста архитектура компьютеров радикально меняется – от последовательной к параллельной.

Важной тенденцией, меняющей лицо компьютеров, является огромное возрастание возможностей компьютерных сетей. Лишь недавно, высокоскоростные сети работали на скорости 10 Mbit в секунду; в конце 90-х пропускная способность в 100 и 1000 Mbit в секунду стала обычным делом. Значительно возрасла и их надёжность. Эти достижения позволяют разрабатывать приложения, использующие процессоры на множестве удалённых компьютеров. Эта область параллельных вычислений называется распределённые вычисления. Основной задачей разработки программ, которые могут работать на множестве компьютеров одновременно, всё таки является задача параллельных вычислений. В этом отношении, два разных слова, параллельный и распределённый, сходятся.

Данный короткий обзор тенденций развития приложений, архитектуры и сетей наводит на мысль, что параллелизм охватывает не только суперкомпьютеры, но и рабочие станции, персональные компьютеры и сети. Поставщики традиционных коммерческих суперкомпьютеров (SMP, MPP, параллельных векторных) достаточно быстро улучшают производительность, надежность и простоту использования своих продуктов. Однако у этих компьютеров есть один большой недостаток - цена, подчас недоступная для многих образовательных и научно-исследовательских организаций. Однако потребность в вычислительных ресурсах у этих организаций велика. Следует иметь в виду, что производительность персональных компьютеров на базе процессоров Intel в последние годы также значительно выросла. Такие компьютеры стали создавать серьезную конкуренцию рабочим станциям на базе RISC, особенно по показателю цена/производительность. Одновременно стала приобретать все большую популярность многозадачнаые ОС Windows 95, NT.

Возникла идея создавать параллельные вычислительные системы (кластеры) из общедоступных компьютеров на базе Intel и недорогих Ethernet-сетей. Оказалось, что на многих классах задач и при достаточном числе узлов такие системы дают производительность, сравнимую с суперкомпьютерной.

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

Модель параллельного компьютера состоит из некоторого числа вычислительных машин фон Ньюмана. Модель машины фон Ньюмана включает в себя центральный процессор (Central Processing Unit), соединённый с блоком памяти. Процессор выполняет программу, которая представляет собой последовательность операций чтения/записи над памяти. Эта простая модель обосновалась довольно прочно в течение последних 45 лет. Все вычислительные машины соединены сетью.


Каждая машина выполняет свою собственную программу, которая может обращаться к локальной памяти, посылать и принимать данные по межмашинной сети. Понятие локальности – третье фундаментальное требование к параллельной программе, в дополнение к параллелизму и масштабируемости. Его важность зависит от отношения цены удалённого доступа к цене локального даступа к данным. Это отношение варьируется от 10:1 до 1000:1 в зависимости от относительной производительности локального компьютера, сети, и механизма, используемого для передачи и приёма данных через сеть. Эта идеализированная модель достаточно хорошо согласуется с реальной архитектурой параллельного компьютера, в качестве которой выбрана локальная сеть компьютеров. Локальная сеть характеризуется высокой ценой удалённого доступа. Ethernet и ATM являются наиболее распространёнными сетевыми технологиями на сегодняшний день. Для сети Fast Ethernet 100Mbits отношение времён удалённого и локального доступа в некоторых случаях приближается к 10:1, что почти не сказывается на эффективности параллельных алгоритмов. Что касается ЭВМ с многозадачной операционной системой, то она также подходит под модель фон Ньюмана, т.к. центральный процессор просто работает в режиме разделения времени. В работе приводится соответствующая математическая интерпретация данного факта.

Основу математической модели параллельного алгоритма составляет граф потоков данных (ГПД). В потоковой модели параллельная программа представляется набором вычислительных узлов-подзадач (далее задач), которые имеют фиксированное количество информационных входов и выходов. Узлы выполняют одни и те же операции с разной поступающей на входы информацией, и выдают результаты на свои выходы, также в виде числовой информации. Эти входы и выходы называются, соответственно, входными и выходными портами. Таким образом, вычислительные узлы строго периодичны. Узлы соединены между собой каналами передачи информации, выходные порты со входными. В реальной системе узлы представляются программами, а каналы – потоками байтов данных.


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

Данная модель характеризуется следующими свойствами:

  1. Параллельное вычисление состоит из одного или более одновременно исполняющихся задач (процессов), число которых постоянно в течение времени выполнения программы.

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

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

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

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

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

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

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

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

Модульность. В модульном программировании, различные компоненты программы разрабатываются поотдельности, как независимые модули, затем они собъединяются для получения полной программы. Взаимодействия между модулями ограничены хорошо продуманными интерфейсами. Т.о. модульность уменьшает сложность программ и облегчает повторное использование отлаженного кода. Задача является естественным строительным блоком. Задача инкапсулирует данные и код, который работает с этими данными; порты, через которые она посылает и принимает данные, составляют её интерфейс. Более того, в качестве модуля можно использовать более сложную структуру, реализующую какой-то алгоритм, и который имеет свой интерфейс. Определённое сходство существует и с объектно-ориентированной парадигмой программирования.

Детерминизм. Алгоритм или программа детерминирована, когда выполнение с определёнными входными данными всегда приводит к одним и тем же результатам. Попарные взаимодейтсвия в модели задача/канал позволяет относительно легко гарантировать детерминизм. Каждый канал соединяет только одного отправителя и одного принимающего, и принимающая задача блокируется пока не закончится операция приёма. Эти условия ослабляются тем, что в один и тот же входной порт могут передаваться данный по разным каналам, т.е. от разных посылающих задач, но при этом формат данных должен быть один и тот же. Операция посылки данных в порт также может блокироваться, если принимающая задача, на другом конце канала, не успевает принимать и обрабатывать данные.

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

Передача сообщений. В иностранной литературе её называют Message Passing Interface (MPI). Возможно, сегодня это самая популярная модель параллельного программирования. Как и в модели задача/канал, MPI программы состоят из множества задач, каждая из которых инкапсулирует локальные данные. Каждая задача имеет своё уникальное имя, и модет посылать и принимать сообщения от другой задачи путём указания её имени. В этом отношении, MPI просто вариация модели задача/канал – вместо операции "послать в канал", используется операция "послать задаче X". MPI не препядствует динамическому созданию задач, выполнению нескольких задач на одном процессоре или выполнение разных программ одними и теми же задачами. Но на практике большинство MPI систем создают фиксированное количество задач при запуске программы, и не позволяют создание и уничтожение задач во время выполнения программы. Эти системы реализуют модель типа "одна программа много данных" (Single Program Multiple Data), так как каждая задача выполняет одни и те же действия над разными поступающими данными. Это сильно перекликается с потоковой моделью параллельного программирования.

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

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

Далее приводится несколько типичных примеров параллельных алгоритмов. Все они описываются в терминах модели потоков данных.


Конечные разности.

Рассматривается одномерная конечноразностная задача, в которой имеем вектор X(0) размерности N и должны вычислить вектор X(T), где

Т.о. мы должны периодически обновлять каждый элемент X, так чтобы на t+1 шаге обновление происходило только после того, как над соседними элементами выполнится шаг t. ГПД данного алгоритма состоит из N задач, по одной на каждый элемент X. i -тая задача получает значение Xi(0) и вычисляет, за T шагов, значения Xi(1) , Xi(2), … Xi(T). Значит, на шаге t, она должна получить значения Xi-1(t) и Xi+1(t) от задач i-1 и i+1. Каждая задача i, за исключением 0-й и N-1-й, имеет по паре разнонаправленных левых (left) и правых (right) портов, как показано на рисунке, и на каждой итерации t выполняет следующие действия:

  1. посылает данные Xi(t) в свои левый и правые выходные порты;

  2. принимает от своих Xi-1(t) и Xi+1(t) левого и правого соседа;

  3. использует полученные значения для вычисления Xi(t+1).

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


Попарные взаимодействия.

В данном примере используется похожая структура ГПД как в примере с конечными разностями, но требуется более сложный алгоритм обмена данных. Многие задачи требуют вычисление всех N(N-1) попарных взаимодействий I (Xi, Xj) между N векторами Xo,X1,…XN-1. В случае, когда взаимодействия симметричны,

I (Xi, Xj) =  I (Xi, Xj), и требуется вычислить только N(N-1) / 2 взаимодействий. Например, в молекулярной динамике требуется вычислить суммарный вектор сил воздействующих на атом Xi, определённый как:


F(Xi, Xj) означает взаимное притяжение или отталкивание между атомами Xi и Xj; в данном случае, F (Xi, Xj) = - F (Xi, Xj), взаимодействия симметричны.

Простой параллельный алгоритм для общей задачи попарных взаимодействий состоит из N задач. Задача i получает значение Xi и вычисляет набор { I (Xi, Xj) | i  j }. Сначала можно подумать, так как задача требует информацию от каждой другой задачи, для этого должно быть создано N(N-1) каналов. Однако, более экономичная структура ГПД использует только N каналов. Они соединяют все задачи в однонаправленное кольцо, так что каждая задача имеет по одному входному и выходному порту. Каждая задача сначала инициализирует буфер (для хранения локальной переменной) и аккуммулятор, в котором будет содержаться результат вычислений. Затем задача периодически:

  1. посылает значение из буфера в свой выходной порт;

  2. принимает значение из входного порта и записывает его в буфер;

  3. вычисляет функцию взаимодействия между принятым и локальным значением;

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


Этот цикл посылки-приёма-вычисления повторяется N-1 раз, осуществляя перемещение по кольцу всех N значений Xi. Каждая задача видит их всех и способна вычислить все

N-1 взаимодействия. Алгоритм выполняет N-1 операцию на каждую задачу.

Если взаимодействия симметричны, то можно уменьшить в два раза количество вычислений и обменов данных путём улучшения структуры ГПД. Предположим для простоты, что N четно. Добавляется дополнительные N каналов, соединяющих каждую задачу с задачей, расположенной через [N / 2] по кольцу. Каждый раз, когда вычисляется I (Xi, Xj) между локальным Xi и принятым Xj, вычисленное значение не только суммируется в аккумуляторе для Xi, но и в другом аккумуляторе, который является противоположным с Xj. После [N / 2] итераций аккумуляторы, ассоциированные со своими противоположными значениями, возвратятся в свои начальные задачи через новые каналы и обхединятся с локальными аккумуляторами. Следовательно, каждое симметричное взаимодействие вычислится только раз: либо как

I (Xi, Xj) на вершине содержащей Xi, либо I (Xj, Xi) на вершине содержащей Xj.


Параметрическое исследование


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


Если время выполнения одинаково и процессоры идентичны, то достаточно разпределить задачи по ровну на каждый процессор. В другой ситуации, можно выбрать структуру ГПД показанную на рисунке. Задачи I (входная) и O (выходная) должны считывать и записывать входной и выходной файл, соответственно. Каждая рабочая задача W периодически запрашивает значения параметров от задачи I, вычисляет используя их, а затем отсылает результаты задаче O. Так как время выполнения варьируется, входная и выходная задачи не могут расчитвать на правильный порядок поступления сообщений от рабочих задач. Используется соединение типа много-к-одному. Возможный в этом случае недетерминизм влияет всего лишь на порядок записи результатов в выходной файл, но не на сами вычисляемые результаты.

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


В данной работе

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

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

Для работы алгоритмов оптимизации необходимо количественно определить понятие перегрузки в ПВП. Перегрузки определяются с помощью изменерния среднего трафика (потока), проходящего по каналам обмена данных. Точнее говоря, ма предполагаем, что статистика потоков во всех каналах-дугах ГПД меняется только из-за изменения распределения задач по процессорам (конфигурации).

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


Постановка задачи

  1. Модель вычислительной среды

Задан набор идентичных процессоров:

P = { P1, P2, … PN }

Между любыми процессорами Pi и Pj (i  j) существует общий канал связи. Если объем передаваемых данных в единицу времени между Pi и Pj равен fij, тогда ограничение на пропускную способность сети выражается как:

, где fij – максимальная пропускная способность сети.


  1. Модель вычислительной задачи

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

Задача z имеет наборы входных и выходных портов, посредством которых она получает входные данные и выдает результаты своей работы, соответственно. Задача может не иметь входных портов, когда она является стартовой. При этом она должна иметь хотя бы один выходной порт. Но обратное неверно – признак стартовой задачи может иметь и задача с входными портами. А если задача не имеет выходных портов, то она является завершающей или замыкающей. При этом она должна иметь хотя бы один входной порт. Стартовые задачи обычно осуществляют загрузку входных данных из файлов или запрашивая их у пользователя, либо самостоятельно генерируя их. Замыкающие задачи, как правило сохраняют результаты работы параллельного алгоритма в файл или выводят их на экран. Но, вообще, содержание задач не играет большой роли в данной модели, – это предоставляется решать программисту параллельного алгоритма. Роль генераторов данных и интерпретации результатов может выполнять любая из задач. В программе обязательно должна быть хотя бы одна стартовая задача, но может совсем не быть замыкающих. Параллельный алгоритм завершается, если завершены все задачи, помеченые признаком стартовая. С другой стороны завершить выполнение параллельного алгоритма можно прерыванием выполнения всех задач.

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

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


Рассмотрим математические соотношения для модели простой вычислительной задачи – с единственным входным и выходным портом. Пусть входные порции данных поступают в моменты времени { ti } и имеют объем в байтах { Mi }, i = 0, 1, 2, …. Время обработки i -той порции данных i. Последовательность { i } представляет собой интервалы поступления входных данных. Заметим, что

(2.1)



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

(2.2)


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


Процесс обмена по каналу данных характеризуется скоростью обмена или потоком F, который определяется следующими соотношениями:

(2.3)



(2.4)




, где Fi – мгновенный поток в момент времени ti, F – средний поток на интервале [t0, tk);


(2.5)


(2.6)



, где Fmax – средний максимальный поток, который может обрабатывать задача при текущем времени обработки i.

Эффективность работы задачи при заданном входном потоке определяется отношением чистого времени вычислений ко всему времени работы:

(2.7)



где  – чистое время вычислений,  – интервал работы задачи; таким образом, ( - ) – время простоя задачи,

(2.8)



где e – эффективность работы задачи на интервале времени [t0, tk).

Существует прямо-пропорциональная зависимость между входным и выходным потоками задачи. Это следует из характера обработки данных – на каждую порцию входных данных вычисляется порция выходных, определенного размера. Если Ni – размер i-той порции выходных данных, тогда:

(2.9)




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

(2.10)



Коэффициент s является постоянным для данной задачи, при фиксированных размерах входных и выходных порций данных, т.е. Mi=Mj и Ni=Nj для ij.


Как видно из (2.2) период поступления данных не может превышать периода их обработки, поэтому входной поток F ограничен максимальным потоком Fmax. Из пропорциональности выходного потока входному следует, что и выходной ограничен:


где F (с чертой) – задаваемый входной поток, F - реальный входной поток.

При взаимодействии двух задач соединенных каналом обмена данных, величина выходного потока первой задачи строго равна величине входного потока второй задачи:


Таким образом, при увеличении F1in, если F2in достиг максимума F2max, то F1in не может далее увеличиваться (см. рисунок). А коэффициент обработки по входу z1 и выходу z2 равен произведению коэффициентов s1 и s2 первой и второй задачи, соответственно:




  1. Модель графа потоков данных параллельного алгоритма (ГПД)

Граф потоков данных алгоритма является ориентированнным графом, в котором вершины представляют вычислительные задачи, а дуги – каналы обмена данных:

G(V, U) ГПД параллельного алгоритма,

V = { v1, v2, … vM } множество вершин-задач,

U = { ujikl } множество дуг-каналов обмена данных,

где

ujikl – канал между задачами vk и vl, соединяющий выходной порт j задачи vk со входным портом i задачи vl.

Задача vk имеет mk входных портов под номерами {0,1,…mk-1} и nk выходных -{0,1,…nk-1}.

Должны быть согласованы размеры передаваемых и принимаемых данных для каждого канала обмена. Т.е. для ujikl U, размер порции данных, исходящих из порта vkj, должны в точности равняться размерам входных данных в порт vli.

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


  1. Характеристики параллельных вычислительных процессов (ПВП)

Любая вычислительная система состоит из набора, так называемых, функциональных устройств (ФУ) – это могут быть процессоры, каналы связи, память, накопители и т.п. – все, что участвует или влияет на процесс работы параллельного алгоритма. Для ФУ можно определить величину загруженности p на определенном интервале времени T, как отношение стоимости выполненной ФУ работы к максимальной стоимости работы, которая может быть выполнена данным ФУ за время T. Стоимость работы может измеряться, например, в количестве арифметических операций, времени и т.п. Каждое ФУ характеризуется номинальной производительностью  (далее производительность), равной максимальной стоимости работы за единицу времени.


Утверждение. Пусть в системе имеется N функциональных устройств {ФУ1, ФУ2, … ФУN} с номинальными производительностями {1, 2, … N}, соответственно. Тогда загруженность всей системы p выражается через загруженности pi ФУ, входящих в систему, как

(4.1)


где

j – номинальная производительность системы.


Доказательство.

Пусть за время T ФУi выполнило работу стоимостью i. Максимальная стоимость работы, которую может выполнить ФУi за T, равна i T. Вся система реально выполнила i, а максимально может - i T. Следовательно:



ч.т.д.


Следствие 1. Если система состоит из ФУ одинаковой производительности, то её загруженность равна среднему арифметическому загруженностей ФУ.


Следствие 2. Чтобы выполнить работу заданной стоимости за минимальное время необходимо обеспечить максимальную загруженность ФУ наибольшей производительности.

Доказательство.


ч.т.д.


Важной характеристикой параллельного алгоритма является коэффициент ускорения (далее ускорение):

(4.2)



где T – время выполнения алгоритма на параллельной вычислительной системе, а To – на простом, т.е. непараллельном или эталонном, ФУ. Если принять за 0 и  - производительности эталонной и параллельной вычислительных систем, соответственно, тогда:

где Rmax – максимальное ускорение, которое можно получить на данной параллельной системе; реальное ускорение зависит от степени загруженности системы:

(4.3)



Если R  1, то параллельный алгоритм не имеет смысла выполнять на данной параллельной вычислительной системе.

Возвращаясь к модели вычислительной задачи, выведем важное неравенство, касающееся многозадачных операционных систем ЭВМ. Это неравенство характеризует загруженность процессора, если на нем работают несколько задач, а также взаимное влияние задач. Рассмотрим случай двух задач z1 и z2, на процессоре P. Пусть они работают с периодами 1 и 2, соответственно. Времена обработки данных 1 и 2 соответствуют работе каждой задачи поотдельности на данном процессоре, т.е. без влияния другой задачи. В данном случае за стоимость берётся время выполнения задачи на данном процессоре, а точнее время чистых вычислений, т.о. стоимость задач равна 1 и 2. При выполнении задач z1 и z2 одновременно на многозадачном процессоре P, стоимость выполненой работы за время T равна:

(4.4)


т.к. отношения T к i равны количеству циклов обработки за время T, при T >> 1 и 2.

Максимальная стоимость работы, которую мог бы выполнить процессор, выраженная в единицах времени, равна T. Следовательно, загруженность процессора:

(4.5)



где p1 и p2 – загруженности, вносимые каждой из задач. То же неравенство в терминах входных потоков выглядит так:

(4.6)



где 1 и 2 – входные потоки задач z1 и z2, а x1 и x2 – соответствующие максимальные потоки при работе задачи на данном процессоре в одиночестве.

Аналогично, для k задач:

(4.7)





  1. Модель параллельных вычислений на основе ГПД

    1. Распределение задач по процессорам

Каждая задача должна работать на каком-либо из процессоров. Отсюда, распределение задач по процессором определяется функцией K (конфигурацией):

(5.1)



где V = { v1, v2, … vM } – набор задач параллельного алгоритма, P = { P1, P2, … PN } – набор процессоров параллельной вычислительной системы. Таким образом мощность множества всех конфигураций K: