4. Использования двоичной системы счисления для представления информации в ЭВМ.

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

3. Структура традиционных ЭВМ

Классические (Von Neumann architecture) ЭВМ имеют следующую структуру:

АЛУ + УУ <кд........кд.....кдÆ ОЗУ,

где - ОЗУ (Оперативное Запоминающее Устройство) - память для хранения программ и данных (таблица, каждая строка которой содержит команду или данное в двоичной системе счисления).

-АЛУ (АрифметикоЛогическое Устройство, устройство, которое выполняет операции над данными: аргументы и результаты операции считываются и записываются из (в) ОЗУ.

-УУ (Устройства Управления), устройство, которое последовательно выбирает команды из ОЗУ, дешифрирует их и организует выполнение заданных операций в АЛУ.

-<кд........кд.....кдÆ последовательность команд и данных, причем данные как читаются из ОЗУ, так и туда же записываются.

Совокупность АЛУ и УУ принято называть процессором (ЦПУ, CPU). В современных микропроцессорах, микросхема процессора размещается на одном кристалле (чипе), это: УУ + АЛУ + набор регистров + кэш память. В приведенной схеме не отражены устройства ввода/вывода информации, массовая память для постоянного хранения информации.

4. Как повышают производительность компьютеров.

Рассмотримподробноследующиеспособыповышенияпроизводительность компьютеров.

1. Усложнениеинаращиваниеаппаратных средств

Существуетлишьдваспособапараллельнойобработкиданных: собственнопараллелизм и конвейерность.

Параллельная обработка.

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

Теперь допустим, что у нас есть два точно таких же устройства, которые могут работать одновременно и независимо друг от друга. Для простоты будем рассматривать идеальную ситуацию, когда нет никаких дополнительных накладных расходов, связанных с получением устройствами входных данных и сохранением результатов. Постоянно загружая каждое устройство элементами входных массивов, можно получить искомую сумму уже за 250 тактов— ускорение выполнения работы в два раза. В случае 10 подобных устройств время получения результата составит всего 50 тактов, а в общем случае система из /V устройств затратит на суммирование время около 500/N.

Кстати, пионером в параллельной обработке потоков данных был академик А.А.Самарский, выполнявший в начале 50-х годов расчеты, необходимые для моделирования ядерных взрывов. Самарский решил эту задачу, посадив несколько десятков барышень с арифмометрами за столы. Барышни передавали данные друг другу просто на словах и откладывали необходимые цифры на арифмометрах. Таким образом, в частности, была расчитана эволюция взрывной волны. Работы было много, барышни уставали, а Александр Андреевич ходил между ними и подбадривал. Это, можно сказать, и была первая параллельная система. Хотя расчеты водородной бомбы были мастерски проведены, точность их была очень низкая, потому что узлов в используемой сетке было мало, а время счета получалось слишком большим.

Конвейерная обработка.

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

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

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

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

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

Приблизительно так же будет и в общем случае. Если конвейерное устройство содержит l ступеней, а каждая ступень срабатывает за одну единицу времени, то время обработки п независимых операций этим устройством составит l+n-1 единиц. В результате для больших значений п получили ускорение почти в l раз за счет использования конвейерной обработки данных.

Казалось бы конвейерную обработку можно с успехом заменить обычным параллелизмом, для чего продублировать основное устройство столько раз, сколько ступеней конвейера предполагается выделить. В самом деле, пять устройств предыдущего примера обработают 100 пар аргументов за 100 единиц времени, что быстрее времени работы конвейерного устройства! В чем же дело? Ответ прост, увеличив в пять раз число устройств, мы значительно увеличиваем как объем аппаратуры, так и ее стоимость. Представьте себе, что на автозаводе решили убрать конвейер, сохранив темпы выпуска автомобилей. Если раньше на конвейере одновременно находилась тысяча автомобилей, то действуя по аналогии с предыдущим примером надо набрать тысячу бригад, каждая из которых (1) в состоянии полностью собрать автомобиль от начала до конца, выполнив сотни разного рода операций, и (2) сделать это за то же время, что машина прежде находилась на конвейере. Представили себестоимость такого автомобиля? Нет? Согласен, трудно, разве что Ламборгини приходит на ум, но потому и возникла конвейерная обработка...

2. Повышениеинтеллектуальностиуправлениякомпьютером

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

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

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

Исключительно интересной оказалась идея воспользоваться скрытым от пользователя параллелизмом —

параллелизмом на уровне машинных команд (Instruction-Level Parallelism). Выгод масса, и среди главных стоит назвать отсутствие у пользователя необходимости в специальном параллельном программировании, и то, что проблемы с переносимостью, вообще говоря, остаются на уровне общих проблем переносимости программ в классе последовательных машин.

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

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

VLIW-процессоры (Very Large Instruction Word) работают практически по правилам обычного компьютера. Разница лишь в том, что команда, выдаваемая процессору на каждом цикле, определяет не одну операцию, а сразу несколько. Команда VLIW-процессора состоит из набора полей, каждое из которых отвечает за свою операцию, например, за активизацию функциональных устройств, работу с памятью, операции с регистрами и т. п. Если какая-то часть процессора на данном этапе выполнения программы не востребована, то соответствующее поле командынезадействуется.

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

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

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

5. Вопросы для обсуждения.

-Структура фон Неймана устарела ?

-Является ли ЭВМ, цифровая машиной с новыми принципами физической организации аппаратных средств, например с квантовами. А как называть пневматическую дискретную вычислительную машину?

-Почему числа - степень двойки предпочтительны для измерения параметров оборудования ЭВМ. Почему нумерация строк ОЗУ начинает с нуля.

Классификация параллельных компьютеров и систем

Содержание

1.Классификация Флинна, Хокни, Шнайдера. Взаимосвязь классификаций.

2.Параллельные компьютеры с общей и распределенной памятью.

3.Параллельные компьютеры с сетевой структурой.

4.Характеристика типовых схем коммуникации в многопроцессорных вычислительных системах

5.Вопросы для обсуждения.

1. Классификация вычислительных машин. Взаимосвязь классификаций.

Все современные микропроцессоры имеют фон Нейманновскую архитектуру. Для ускорения вычислений предложено ряд параллельных архитектур вычислительных машин, для классификации которых, можно использовать нотацию М. Флинна (М.Flynn).

Классификация М. Флинна (М. Flynn). По-видимому, самой ранней и наиболее известной является классификация архитектур вычислительных систем, предложенная в 1966 году М. Флинном. Классификация базируется на понятии потока, под которым понимается последовательность команд или данных, обрабатываемая процессором. На основе числа потоков команд и потоков данных Флинн выделяет четыре класса архитектур.

SISD (Single Instruction stream/Single Data stream) — одиночный поток команд и одиночный поток данных (рис. 3.1). На рисунках, иллюстрирующих классификацию М. Флинна, использованы следующие обозначения:

ПР — это один или несколько процессорных элементов, УУ — устройство управления, ПД — память данных. К классу SISD относятся, прежде всего, классические последовательные машины или, иначе, машины фоннеймановского типа, например, PDP-11 или VAX 11/780. В таких машинах есть только один поток команд, все команды обрабатываются последовательно друг за другом и каждая команда инициирует одну скалярную операцию. Не имеет значения тот факт, что для увеличения скорости обработки команд и скорости выполнения арифметических операций может применяться конвейерная обработка: как машина CDC 6600 со скалярными функциональными устройствами, так и CDC 7600 с конвейерными попадают в этот класс.

SIMD (Single Instruction stream/Multiple Data stream) — одиночный поток команд и множественный поток данных (см. рис. 3.1). В архитектурах подобного рода сохраняется один поток команд, включающий, в отличие от предыдущего класса, векторные команды. Это позволяет выполнять одну арифметическую операцию сразу над многими данными, например, над элементами вектора. Способ выполнения векторных операций не оговаривается, поэтому обработка элементов вектора может производиться либо процессорной матрицей, как в ILLIAC IV, либо с помощью конвейера, как; например, в машине Сгау-1.

MISD (Multiple Instruction stream/Single Data stream) — множественный поток команд и одиночный поток данных (рис. 3.2). Определение подразумевает наличие в архитектуре многих процессоров, обрабатывающих один и тот же поток данных. Однако ни Флинн, ни другие специалисты в области архитектуры компьютеров до сих пор не смогли представить убедительный пример реально существующей вычислительной системы, построенной на данном принципе. Ряд исследователей относят конвейерные машины к данному классу, однако это не нашло окончательного признания в научном сообществе. Будем считать, что пока данный класс пуст.

MIMD (Multiple Instruction stream/Multiple Data stream) — множественный поток команд и множественный поток данных (см. рис. 3.2). Этот класс предполагает, что в вычислительной системе есть несколько устройств обработки команд, объединенных в единый комплекс и работающих каждое со своим потоком команд и данных.

Предложенная схема классификации вплоть до настоящего времени является самой применяемой при начальной характеристике того или иного компьютера. Если говорится, что компьютер принадлежит классу SIMD или MIMD, то сразу становится понятным базовый принцип его работы, и в некоторых случаях этого бывает достаточно. Однако видны и явные недостатки. В частности, некоторые заслуживающие внимания архитектуры, например dataflow и векторно-конвейерные машины, четко не вписываются в данную классификацию. Другой недостаток — это чрезмерная заполненность класса MIMD.

Классификация Р. Хокни (R. Hockney). P. Хокни разработал свой подход к классификации для более детальной систематизации компьютеров, попадающих в класс MIMD по систематике М. Флинна. Как отмечалось выше, класс MIMD чрезвычайно широк и объединяет целое множество различных типов архитектур. Пытаясь систематизировать архитектуры внутри этого класса, Р. Хокни получил иерархическую структуру, представленную нарис. 3.3.

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

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

Среди MIMD-машин с переключателем Хокни выделяет те, в которых вся память распределена среди процессоров как их локальная память. В этом случае общение самих процессоров реализуется с помощью сложного переключателя, составляющего значительную часть компьютера. Такие машины носят название MIMDмашин с распределенной памятью. Если память это разделяемый ресурс, доступный всем процессорам через переключатель, то MIMD-машины являются системами с общей памятью (BBN Butterfly, Cray С90). В соответствии с типом переключателей можно проводить классификацию и далее: простой переключатель, многокаскадный переключатель, общая шина и т. п. Многие современные вычислительные системы имеют как общую разделяемую память, так и распределенную локальную. Такие системы автор рассматривает как гибридные MIMD с переключателем.

При рассмотрении MIMD-машин с сетевой структурой считается, что все они имеют распределенную память, а дальнейшая классификация проводится в соответствии с топологией сети: звездообразная сеть (ЮАР), регулярные решетки разной размерности (Intel Paragon, Cray T3D), гиперкубы (NCube, Intel iPSC), сети с иерархической структурой, такой как деревья, пирамиды, кластеры (Cm*, CEDAR) и, наконец, сети, изменяющие свою конфигурацию.

2. Параллельные компьютеры с общей и распределенной памятью.

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

Первый класс — это компьютеры с общей памятью. Системы, построенные по такому принципу, называют мультипроцессорными системами или просто мультипроцессорами. В системе присутствует несколько равноправных процессоров, имеющих одинаковый доступ к единой памяти (рис). Все процессоры "разделяют" между собой общую память, отсюда еще одно название компьютеров этого класса — компьютеры с разделяемой памятью. Все процессоры работают с единым адресным пространством: если один процессор записал значение 79 в слово по адресу F000, то другой процессор, прочитав слово, расположенное по адресу F000, получит значение 79.

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

Компьютеры с общей и распределенной памятью, появились не случайно. Они отражают две основные задачи параллельных вычислений. Первая задача заключается в построении вычислительных систем с максимальной производительностью. Это легко позволяет сделать компьютеры с распределенной памятью. Уже сегодня существуют установки, объединяющие тысячи вычислительных узлов в рамках единой коммуникационной среды. Да что говорить, даже Интернет можно рассматривать как самый большой параллельный компьютер с распределенной памятью, объединяющий миллионы вычислительных узлов. Но как такие системы эффективно использовать? Как убрать большие накладные расходы, идущие на взаимодействие параллельно работающих процессоров? Как упростить разработку параллельных программ? Практически единственный способ программирования подобных систем — это использование систем обмена сообщениями, например, PVM или MPI, что не всегда просто. Отсюда возникает вторая задача — поиск методов разработки эффективного программного обеспечения для параллельных вычислительных систем. Данная задача немного проще решается для компьютеров с общей памятью. Накладные расходы на обмен данными между процессорами через общую память минимальны, а технологии программирования таких систем, как правило, проще. Проблема здесь в другом. По технологическим причинам не удается объединить большое число процессоров с единой оперативной памятью, а потому очень большую производительность на таких системах сегодня получить нельзя.

3. Параллельные компьютеры с сетевой структурой

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

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

Преимуществ у такой схемы организации параллельных компьютеров много. В частности, покупатель может достаточно точно подобрать конфигурацию в зависимости от имеющегося бюджета и своих потребностей в вычислительной мощности. Соотношение цена/производительность у систем с распределенной памятью ниже, чем у компьютеров других классов. И главное, такая схема дает возможность практически неограниченно наращивать число процессоров в системе и увеличивать ее производительность. Большое число подключаемых процессоров даже определило специальное название для систем данного класса: компьютеры с массовым параллелизмом или массивно-параллельные компьютеры. Уже сейчас в мире существуют десятки компьютеров, в составе которых работает более тысячи процессоров.

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

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

Если говорить кратко, то вычислительный кластер есть совокупность компьютеров, объединенных в рамках некоторой сети для решения одной задачи (рис. 3.16). В качестве вычислительных узлов обычно используются доступные на рынке однопроцессорные компьютеры, двухили четырех-процессорные SMP-серверы. Каждый узел работает под управлением своей копии операционной системы, в качестве которой чаще всего используются стандартные ОС: Linux, Windows NT, Solaris и т. п. Состав и мощность узлов могут меняться даже в рамках одного кластера, что дает возможность создавать неоднородные системы. Выбор конкретной коммуникационной среды определяется многими факторами: особенностями класса решаемых задач, доступным финансированием, необходимостью последующего расширения кластера и т. п. Возможно включение в конфигурацию кластера специализированных компьютеров, например, файл-сервера. Как правило, предоставляется возможность удаленного доступа на кластер через Интернет.

Ясно, что простор для творчества при проектировании кластеров огромен. Узлы могут не содержать локальных дисков, коммуникационная среда может одновременно использовать различные сетевые технологии, узлы не обязаны быть одинаковыми и т. д. Рассматривая крайние точки, кластером можно считать как пару ПК, связанных локальной 10-мегабитной Ethernet-сетью, так и вычислительную систему, создаваемую в рамках проекта Cplant в Национальной лаборатории Sandia: 1400 рабочих станций на базе процессоров Alpha объединены высокоскоростной сетью Myrinet. Чтобы лучше почувствовать масштаб и технологию существующих систем, сделаем краткийобзор наиболее интересных современных кластерных установок.

4. Характеристика типовых схем коммуникации в многопроцессорных вычислительных системах

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

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

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

Существенный фактор — это реальная производительность одного процессора вычислительной системы. Разные модели микропроцессоров могут поддерживать несколько уровней кэш-памяти, иметь специализированные функциональные устройства и т. п.

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

Крайняя точка — Интернет. Его тоже можно рассматривать как компьютер с распределенной памятью. Причем, как самый мощный в мире компьютер. Попробуйте найти способ решения ваших задач на таком компьютере

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

Один из самых простых способов организации мультипроцессорных систем опирается на использование общей шины (рис. 2.10), к которой подключаются как процессоры, так и память. Сама шина состоит из какого-то числа линий, необходимых для передачи адресов, данных и управляющих сигналов между процессорами и памятью. Чтобы предотвратить одновременное обращение нескольких процессоров к памяти, используется та или иная схема арбитража, гарантирующая монопольное владение шиной захватившим ее устройством. Основная проблема таких систем заключается в том, что даже небольшое увеличение числа устройств на шине (4—5) очень быстро делает ее узким местом, вызывающим значительные задержки при обменах с памятью и катастрофическое падение производительности системы в целом.

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

Альтернативным способом является использование каскадных переключателей, например, так, как это сделано в омега-сети. На рис. 2.12 показана сеть из четырех коммутаторов 2x2, организованная в два каскада. Каждый использованный коммутатор может соединить любой из двух своих входов с любым из двух своих выходов. Это свойство и использованная схема коммутации позволяют любому процессору вычислительной системы, показанной на этом рисунке, обращаться к любому модулю памяти. В общем случае для соединения n процессоров с n модулями памяти потребуется log2n каскадов по n/2 коммутаторов в каждом, т. е. всего (nlog2n)/2 коммутаторов. Для больших значений n эта величина намного лучше, чем n2, однако появляется проблема другого рода — задержки. Каждый коммутатор не срабатывает мгновенно, т. к. на коммутацию входа с выходом на каждом каскаде требуется некоторое время. Опять ищется компромисс между дорогой коммуникационной системой с небольшим временем переключения и недорогой системой, но с большими задержками.

Мы рассмотрели далеко не все варианты соединений процессоров с модулями памяти. Реально используемых схем коммутации процессоров в системах с распределенной памятью намного больше. По существу можно использовать и все уже рассмотренные варианты, и одновременно массу других. Простейший вариант топологии связи показан на рис. 2.13, а, где все вычислительные узлы объединены в одну линейку. Каждый узел системы, кроме первого и последнего, имеет по одному непосредственному соседу справа и слева. Для построения системы из л узлов требуется л — 1 соединение. Средняя длина пути между двумя узлами системы равна л/3. Можно уменьшить среднюю длину пути, если преобразовать линейку вычислительных узлов в кольцо (рис. 2.13, б). Добавив лишь одно дополнительное соединение первого узла с последним, мы на самом деле получили два дополнительных полезных свойства у новой топологии. Во-первых, средняя длина пути между двумя узлами сократилась с л/3 до л/6. Во-вторых, за счет того, что передача между любыми узлами уже может идти по двум независимым направлениям, увеличилась отказоустойчивость системы в целом. Пока все связи работоспособны, передача будет идти по кратчайшему пути. Но если нарушилась какая-либо одна связь, то возможна передача в противоположном направлении.

Несмотря на явную ограниченность в непосредственных связях даже подобные простые "линейные" топологии хорошо соответствуют многим алгоритмам, в которых необходима связь лишь соседних процессов между собой В частности, многие одномерные задачи математической физики (да многомерные с делением области на одномерные) хорошо решаются ПОДОЁными методами. Для таких задач никаких других топологий придумывать н надо. Но далеко не все задачи такие. Схему сдваивания или блочные метод] линейной алгебры на таких топологиях эффективно реализовать не простс поскольку неправильное размещение процессов по процессорам приведет потере большей части времени на коммуникации. В идеальной ситуаци пользователь не должен думать об этом, у него других проблем

хватает, н на практике чудес не бывает. Сегодня по технологическим причинам нельз сделать большие мультикомпьютерные системы, в которых каждый процес сор имел бы непосредственную связь со всеми остальными. А раз\гак, то здесь разработчикам вычислительных систем приходится искать компромис между универсальностью и специализированностью, между сложностью доступностью. Если класс задач заранее определен, то ситуация сильно облегчается, и результат может быть найден легко. Например, использование схемы распределения работы между параллельными процессами, аналогичной схеме клиент-сервер, при которой один головной процесс раздает задания подчиненным процессам (схема мастер/рабочие, или master/slaves), хорошо соответствует топологии "звезда" (рис. 2.13, в). Вычислительные узлы, расположенные в лучах звезды, не имеют непосредственной связи между собой. Но это нисколько не мешает эффективному взаимодействию процесса-мастера с подчиненными процессами при условии, что мастер расположен в центральном узле.

Выбор той или иной топологии связи процессоров в конкретной вычислительной системе может быть обусловлен самыми разными причинами. Это могут быть соображения стоимости, технологической реализуемости, простоты сборки и программирования, надежности, минимальности средней длины пути между узлами, минимальности максимального расстояния между узлами и др. Некоторые варианты показаны на рис. 2.14. Наилучшие показатели имеет топология, в которой каждый процессор имеет непосредственную связь со всеми остальными (рис. 2.14, в). Но о такой роскоши современный уровень технологии даже мечтать не позволяет: n — 1 соединение у каждого узла при общем числе связей n(n— 1)/2.

Иногда находятся исключительно интересные варианты, одним из которых является топология двоичного гиперкуба (рис. 2.14, г). В n-мерном пространстве рассмотрим лишь вершины единичного n-мерного куба, т. е. точки (х1, x2, ..., хп), в которых все координаты х, могут быть равны либо 0, либо 1. В эти точки мы условно и поместим процессоры системы. Каждый процессор соединим с ближайшим непосредственным соседом вдоль каждого из и измерений. В результате получили n-мерный куб для системы из N=2n процессоров. Двумерный куб соответствует простому квадрату, а четырехмерный вариант условно изображен на рис. 2.14, г. В гиперкубе каждый процессор связан лишь с log2N непосредственными соседями, а не с N, как в случае полной связности. Заметим, что при всей кажущейся замысловатости гиперкуб имеет массу полезных свойств. Например, для каждого процессора очень просто определить всех его соседей: они отличаются от него лишь значением какой-либо одной координаты хi. Каждая "грань" n-мерного гиперкуба является гиперкубом размерности n - 1. Максимальное расстояние между вершинами n-мерного гиперкуба равно п. Гиперкуб симметричен относительно своих узлов: из каждого узла система выглядит одинаковой и не существует узлов, которым необходима специальная обработка. Отметим и то, что многие алгоритмы по своей структуре прекрасно соответствуют такой взаимосвязи между процессорами. В частности, "неудобная" для других топологий схема сдваивания очень хорошо ложится на гиперкуб, используя на каждом шаге алгоритма гиперкуб на единицу меньшей размерности.

Вернемся к обсуждению особенностей компьютеров с общей и распределенной памятью. Как мы уже видели, оба класса имеют свои достоинства, которые, правда, тут же плавно перетекают в их недостатки. Для компьютеров с общей памятью проще создавать параллельные программы, но их максимальная производительность сильно ограничивается небольшим числом процессоров. А для компьютеров с распределенной памятью все наоборот. Можно ли объединить достоинства этих двух классов? Одним из возможных направлений является проектирование компьютеров сархитектурой NUMA (Non Uniform Memory Access).

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

По такому пути и пошли разработчики системы Cm*, создавшие еще в конце 70-х годов прошлого века первый NUMA-компьютер. Данный компьютер состоит из набора кластеров, соединенных друг с другом через межкластерную шину. Каждый кластер объединяет процессор, контроллер памяти, модуль памяти и, быть может, некоторые устройства ввода/вывода, соединенные между собой посредством локальной шины (рис. 2.15). Когда процессору нужно выполнить операции чтения или записи, он посылает запрос с нужным адресом своему контроллеру памяти. Контроллер анализирует старшие разряды адреса, по которым и определяет, в каком модуле хранятся нужные данные. Если адрес локальный, то запрос выставляется на локальную шину, в противном случае запрос для удаленного кластера отправляется через межкластерную шину. В таком режиме программа, хранящаяся в одном модуле памяти, может выполняться любым процессором системы. Единственное различие заключается в скорости выполнения. Все локальные ссылки отрабатываются намного быстрее, чем удаленные. Поэтому и процессор того кластера, где хранится программа, выполнит ее на порядок быстрее, чем любой другой.

От этой особенности и происходит название данного класса компьютеров — компьютеры с неоднородным доступом к памяти. В этом смысле иногда говорят, что классические SMP-компьютеры обладают архитектурой UMA (Uniform Memory Access), обеспечивая одинаковый доступ любого процессора к любому модулю памяти.

.

Если нужно точнее отразить либо специфику архитектуры параллельных систем, либо свойства какого-то класса задач некоторой предметной области, то используют специальные языки параллельного программирования. Для программирования транспьютерных систем был создан язык Occam. Очень интересной и оригинальной разработкой является декларативный язык НОРМА, созданный под руководством И. Б. Задыхайло в Институте прикладной математики им. М. В. Келдыша РАН для описания решения вычислительных задач сеточными методами. Высокий уровень абстракции языка позволяет описывать задачи в нотации, близкой к исходной постановке проблемы математиком, что условно авторы языка называют программированием без программиста. Язык не содержит традиционных конструкций языков программирования, фиксирующих порядок вычисления и тем самым скрывающих естественный параллелизм алгоритма.

С появлением массивно-параллельных компьютеров широкое распространение получили библиотеки и интерфейсы, поддерживающие взаимодействие параллельных процессов. Типичным представителем данного направления является интерфейс Message Passing Interface (MPI), реализация которого есть практически на каждой параллельной платформе, начиная от векторно-конвейерных супер-ЭВМ до кластеров и сетей персональных компьютеров. Программист сам явно определяет какие параллельные процессы приложения в каком месте программы и с какими процессами должны либо обмениваться данными, либо синхронизировать свою работу. Обычно адресные пространства параллельных процессов различны. В частности, такой идеологии следуют MPI и PVM. В других технологиях, например Shmem, допускается использование как локальных (private) переменных, так и общих (shared) переменных, доступных всем процессам приложения.

Несколько особняком стоит система Linda, добавляющая в любой последовательный язык лишь четыре дополнительные функции in, out, read и eval, что и позволяет создавать параллельные программы. К сожалению, простота заложенной идеи оборачивается большими проблемами в реализации, что делает данную красивую технологию скорее объектом академического интереса, чем практическим инструментом.

Часто на практике прикладные программисты вообще не используют никаких явных параллельных конструкций, обращаясь в критических по времени счета фрагментах к подпрограммам и функциям параллельных предметных библиотек. Весь параллелизм и вся оптимизация спрятаны в вызовах, а пользователю остается лишь написать внешнюю часть своей программы и грамотно воспользоваться стандартными блоками. Примерами подобных библиотек являются Lapack, ScaLapack, Cray Scientific Library, HP Mathematical Library, PETSc и

многие другие.

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

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

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

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

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

Первоначально Beowulf-кластеры строились на базе обычной 10-мегабитной сети Ethernet. Сегодня часто используется сеть Fast Ethernet, как правило, на базе коммутаторов. Основное достоинство такого решения — это низкая стоимость. Вместе с тем, большие накладные расходы на передачу сообщений в рамках Fast Ethernet приводят к серьезным ограничениям на спектр задач, эффективно решаемых на таких кластерах. Если от кластера требуется большая универсальность, то нужно переходить на другие, более производительные коммуникационные технологии. Исходя из соображений стоимости, производительности и масштабируемости, разработчики кластерных систем делают выбор между Fast Ethernet, Gigabit Ethernet, SCI, Myrinet, cLAN, ServerNet и рядом других сетевых технологий.

Какими же числовыми характеристиками выражается производительность коммуникационных сетей в кластерных системах? Необходимых пользователю характеристик две: латентность и пропускная способность сети. Латентностъ — это время начальной задержки при посылке сообщений. Пропускная способность сети определяется скоростью передачи информации по каналам связи (рис. 3.19). Если в программе много маленьких сообщений, то сильно скажется латентность. Если сообщения передаются большими порциями, то важна высокая пропускная способность каналов связи. Из-за латентности максимальная скорость передачи по сети не может быть достигнута на сообщениях с небольшой длиной.

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

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

Начнем с уже упоминавшегося ранее закона Амдала. Для компьютеров данного класса он играет очень большую роль. В самом деле, если предположить, что в программе есть лишь 2% последовательных операций, то рассчитывать на более чем 50-кратное ускорение работы программы не приходится. Теперь попробуйте критически взглянуть на свою программу. Скорее всего, в ней есть инициализация, операции ввода/вывода, какието сугубо последовательные участки. Оцените их долю на фоне всей программы и на мгновенье предположите, что вы получили доступ к вычислительной системе из 1000 процессоров. После вычисления верхней границы для ускорения программы на такой системе, думаем, станет ясно, что недооценивать влияние закона Амдала никак нельзя.

5. Вопросы для обсуждения.

Концепция GRID и метакомпьютинг

Содержание

1.Концепция GRID и метакомпьютер

2.Особенности распределения задач и передачи данных.

3.Классификация GRID-систем..

4.Вопросы для обсуждения.

1. Концепция GRID и метакомпьютинг.

Grid - растущая инфраструктура, которая в скором будущем видимо фундаментально изменит наше представление о вычислительных сетях и их возможностях. Grid призвана объединить множество региональных и национальных сетей, создав, таким образом, универсальный источник вычислительных ресурсов, доступных широкому кругу пользователей. Слово grid (сетка) для названия новой технологии было выбрано по аналогии с термином "электрическая сеть", которая в свое время предоставила всепроникающий доступ к источникам электроэнергии, и, подобно компьютерной технике, оказала огромное воздействие на человеческое общество. Создатели grid предположили, что, обеспечение надежного и недорогого доступа к вычислительным сетям инициирует похожий преобразовательный эффект и стимулирует появление новых классов сетевых компьютерных приложений.

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

Основные определения Современное состояние технологии компьютерных вычислений аналогично состоянию электроэнергетики в

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

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

Мы говорим об инфраструктуре, т.к. grid охватывает большое число разнообразных ресурсов, в числе которых: вычислительные циклы, данные, датчики, люди и многое другое.

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

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

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

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

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

вариантов и способов их использования. Тем не менее, следует помнить, что на данный момент единой вычислительной grid-среды не существует.

2. Особенности распределения задач и передачи данных.

В результате проведенных исследований было выделено пять основных классов приложений для вычислительных grid-сетей.

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

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

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

Подходы к вычислениям с активным обменом данными сосредоточены на планировании и конфигурации сложного, объемного пространства данных, распределенного по нескольким иерархическим уровням;

Аспекты совместных вычислений для grid-архитектуры определяются требованиями к выполнению разнообразного количества различных вариантов взаимодействий в реальном масштабе времени (в соответствии с человеческими возможностями).

Сообщества, испытывающие потребность в использовании высокопроизводительных сетей

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

Опишем основные сообщества, нуждающиеся сегодня в применении grid-технологий.

Правительственные организации, (служащие, эксперты и научные работники), традиционно занимающиеся вопросами национальной безопасности, долгосрочными исследованиями и планированием. Национальную gridсеть отличает необходимость интеграции разнообразных ресурсов, стратегическая важность выполняемых задач, разнообразие предъявляемых интересов и необходимость сбалансированного использования выделяемых ресурсов; Ярким примером сообществ, заинтересованных в использовании внутренних grid-сетей являются организации здравоохранения. Корпоративную grid-сеть отличают относительно небольшие размеры, централизованное управление и сложность инфраструктуры, включающей как жизненно важные приложения, так и гораздо менее чувствительные к надежности компоненты, которые объединяются на основе обычных недорогих технологий. Такие сети могут быть полезны и некоторым институтам или иным исследовательским организациям;

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

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

3. Классификация Grid-систем.

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

В соответствии с размерностью разделим существующие вычислительные ресурсы grid-сети на четыре типа систем и разместим их по возрастанию размера и сложности.

Конечная система является наилучшей моделью для вычислений, поскольку в ней реализовано наибольшее число усилий исследователей и разработчиков последних десятилетий;

Кластер представляет современные подходы к параллелизму и распределенному управлению (в данном случае рассматривается гомогенная система);

Интранет добавляет гетерогенность и географическую разнесенность; Основным минусом интернета является недостаток централизованного управления.

Другой общей характеристикой grid-ресурсов, важной для принятия архитектурного решения, является производительность вычислений. Требование к производительности еще больше усиливает эффект разделения по размерам, поскольку напрямую сталкивается с гетерогенностью ресурсов. Так, если производительность вычислений не критична, то для получения удаленных файлов можно воспользоваться HTTP (HyperText Transport Protocol). Однако, если производительность значима, необходимо предложить существенно отличные механизмы доступа, например параллельную передачу данных по широкополосной сети от удаленного параллельного

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

Конечные системы Индивидуальные конечные системы: - компьютеры, системы хранения данных, сенсоры и прочие устройства

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

Конечная система: - это наиболее простая и хорошо изученная система в grid. Ее базовые функции обеспечиваются операционной системой и предоставляют абсолютный контроль над ресурсами. Операционная система осуществляет аутентификацию пользователя, служит медиа-средой для работы с ресурсами, доступа к файлам, межпроцессного взаимодействия и т.п. Высокая интегрированность оборудования и операционной системы позволяет реализовать высокопроизводительные функции, такие как виртуальная память и функции быстрого ввода-вывода. С точки зрения разработчика приложений конечная система обладает большим количеством высокоуровневых языков и средств программирования и дает возможность быстро, просто, эффективно решать вычислительные задачи.

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

Кластеры Кластеры или сети рабочих станций, - объединения компьютеров, соединенных высокоскоростной локальной

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

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

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

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

Например, для выполнения параллельного приложения на одноили многопроцессорной конечной системе обычно используются специализированные коммуникационные библиотеки, наподобие MPI, или создаются несколько нитей, читающих и записывающих данные через разделяемое адресное пространство. В кластере реализация MPI-приложений осложняется тем, что серийные части кластера, как правило, поддерживают исключительно коммуникационный протокол TCP. Разделяемая память подразумевает единое адресное пространство для всех нитей, однако в кластере очевидна множественность адресного пространства. Эти проблемы обходятся за счет реализации логического разделяемого пространства, переводящего локальные адреса в глобальные. Для обеспечения малых задержек и большей пропускной способности и, как следствие повышения производительности, создатели кластеров модифицируют сетевые протоколы, работу операционных систем с сетевыми интерфейсами, или непосредственно меняют коммуникационное оборудование. Аналогичная картина наблюдается и при реализации других функций, таких как создание процесса, управление процессом, реализация системы ввода-вывода и т.п.

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

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

на уровне операционной системы Изменяющиеся параметры требуют создания новых пользовательских и системных функций;

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

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

Интранет Интранет объединяет потенциально большое число ресурсов, принадлежащих одной организации. Как и

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

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

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

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

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

Обычно в программной инфраструктуре интранет используется DCE (Distributed Computing Environment), DCOM и CORBA. В подобных системах программы обычно обращаются к ресурсам неявно, посредством установленных сервисных служб. Модели, разработанные для отдельных случаев, обычно имеют слабое представление друг о друге. Коммуникации осуществляются через TCP/IP для обеспечения переносимости приложений, но в ущерб производительности системы. Иногда, для больших интранет, разрабатываются группы специальных коммуникационных протоколов, использующихся для обмена сообщениями о событиях, происходящих в системе, таких, например, как ISIS или Totem.

Ограниченный централизованный контроль позволяет использовать распределенные системы очередей, такие как LSF (Local Sharing Facility), Codine и Condor, предоставляющие частично унифицированный доступ к компьютерным ресурсам. Подобные системы обеспечивают некоторую поддержку удаленного управления вычислениями, например, распределяя ограниченное число сигналов по процессам через локальные серверы. Однако требования защищенности, и политики безопасности препятствуют полноценному переносу этих решений на большие интранет.

Единый доступ к данным предоставляется посредством технологий глобально распределенных файловых систем (таких как DFS), технологий распределенных баз данных или доступа к удаленным базам данных (посредством, сервисов SQL). Высокопроизводительный параллельный доступ к данным может обеспечиваться и более специализированными системами, например, High Performance Storage System.

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

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

Интернет Последний тип систем, является наиболее широким из имеющих отношение к сетевым вычислениям.

Интернет-объединение систем, охватывает множество разнообразных и разнородных организаций. Так же, как и интранет, интернет склонен к расширению размеров и гетерогенности. Однако непосредственно в интернет добавляются три принципиальных фактора.

Недостаток централизованного контроля: отсутствует централизованное управление организации политик и гарантия качества ресурсов, наоборот, и то, и другое отличается огромным разнообразием;

Географическая распределенность: интернет связывает пространственно удаленные ресурсы. Распределенность приводит к тому, что на локальном и на кластерном уровнях сетевые характеристики существенно различаются;

Международные проблемы: как только grid-сеть пересекает границы отдельной страны, она сталкивается с существованием иных, принципиально отличных политик управления и контроля над сетями.

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

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

Другим примером является проблема совместного планирования. В интранете логично предположить, что все ресурсы работают с одним единственным планировщиком (LSF, в коммерческом варианте, или Condor, в научной или в образовательной системе). В интернете помимо этого требуются средства планирования для распределения задач среди множества доступных распределенных ресурсов. Обычные системы планирования, здесь не подходят, поэтому необходимо создать специальное grid-приложение, получающее сведения о политиках планирования, применяемых к разным ресурсам, и косвенно или напрямую влияющее на локальное планирование.

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

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

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

Globus основывается на следующих положениях:

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

Grid приложения требуют дополнительных сервисов по сравнению с предоставляемыми обычными технологиями.

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

Скорее всего, в недалеком будущем возникнет некая комбинация из объявленных ныне архитектурных подходов.

4. Вопросы для обсуждения.