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

Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
96
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ВЫСОКОПРОИЗВОДИТЕЛЬНЫЕ ВЫЧИСЛЕНИЯ / ГИБРИДНАЯ АРХИТЕКТУРА / ИЕРАРХИЯ ПАМЯТИ / БАЛАНСИРОВКА НАГРУЗКИ / HPC / HYBRID ARCHITECTURE / ACCELERATORS / MEMORY HIERARCHY / LOAD BALANCING

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Климов Юрий Андреевич, Орлов Антон Юрьевич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Климов Юрий Андреевич, Орлов Антон Юрьевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Promising approaches to developing scalable applications for hybrid supercomputers

This article studies the matter of developing scalable applications to be run on supercomputers built with up-to-date as well as just emerging techologies. Authors describe a number of problems concerning complicated memory hierarhy arising mainly due to using accelerators, i.e. architecture hybridization. A short review of existing approaches to overcome these problems is given. From the whole range of possible solutions there is selected the most promising area, which is described in more details.

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

УДК 004.42, 004.272

Ю. А. Климов, А. Ю. Орлов, А. Б. Шворин

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

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

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

Программирование — это, по существу, планирование и детализация громадного трафика через фоннеймановское узкое горло.

Дж. Бэкус, “Can Programming Be Liberated from the von Neumann Style?”, 1977

Введение

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

Работа выполнена при поддержке Министерства образования и науки Российской Федерации (госконтракт № 07.514.11.4014).

© Ю. А. Климов, А. Ю. Орлов, А. Б. Шворин, 2011 © Программные системы: теория и приложения, 2011

Джона Бэкуса, произнесенной им в 1977 году по случаю вручения ему премии Тьюринга [1]. Именно в этой лекции им было впервые введено понятие «фоннеймановского узкого горла» — канала между вычислительным устройством и памятью, проблему недостаточной пропускной способности которого впоследствии стали называть «стеной памяти».

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

Переход от последовательных программ к многонитевым, исполняемым в пределах 8ЫГ-системы, требует аккуратного разделения данных между нитями. Однако высокие скорости коммуникаций в пределах платы, а также поддержка со стороны компиляторов (многие компиляторы имеют поддержку OpenMP [2]), делают этот переход относительно несложным.

Гораздо хуже обстоит дело с программированием систем, имеющих распределенную память. Относительно низкие характеристики межузловых сетей привели к появлению новой парадигмы программирования, основанной на передаче сообщений (классическим представителем является библиотека MPI [3]). Таким образом, при создании эффективной программы для типичного современного суперкомпьютера кластерного типа необходимо иметь в виду не только «фон-неймановское узкое горло», но сразу несколько уровней иерархии памяти и особенности передачи данных внутри них и между ними. Именно это является основной сложностью при написании распределенных параллельных программ, и этим же объясняется тот факт,

что для некоторых типичных задач, решаемых на SMP-системах, распределенные версии до сих пор не были созданы (например, некоторые из тестов NAS [4]).

Сложности написания эффективной распределенной программы велики, но обозримы. Для адекватного использования уровней иерархии памяти зачастую прибегают к написанию так называемых «гибридных» 1 программ, использующих MPI на межузловом уровне и OpenMP на внутриузловом. Критическим же с точки зрения сложности программирования стало массовое использование в составе суперкомпьютеров ускорителей вычислений (в первую очередь графических карт, GPGPU [5]), то есть появление уже по-настоящему, на аппаратном уровне, гибридных машин. Гибридность, то есть неоднородность состава вычислительного узла, вносит в иерархию памяти дополнительные уровни — обмен данными между вычислительными устройствами разного типа, плюс зачастую нетривиальная иерархия памяти внутри ускорителя. Количество переходит в качество: корректно и эффективно запрограммировать перемещение данных в такой расслоенной системе становится титанической задачей. Кроме того, чрезвычайно остро встает проблема балансировки вычислительной нагрузки на различные устройства с учетом их особенностей. В результате на сегодняшний день практически нет примеров решения на гибридных суперкомпьютерах сколь-нибудь нерегулярных задач, таких как, например, вычисления на адаптивных стеках.

Использование в составе суперкомпьютера вычислительных ускорителей позволяет значительно сократить необходимый размер и, следовательно, цену и стоимость владения машиной при том же пиковом уровне производительности. Не случайно три из пяти самых мощных машин мира на данный момент — на втором, четвертом и пятом местах (по данным списка TOP5GG за июнь 2011 года [б]) — построены с использованием ускорителей на базе GPGPU. По мнению многих авторитетных специалистов в области, использование ускорителей — набирающая силу долговременная тенденция. Сама аппаратура ускорителей и способ их интеграции в вычислительные блоки могут претерпеть значительные изменения, но с большой долей уверенности можно утверждать, что суперкомпьютеры эксафлопсного класса будут гибридными. Возможно, на смену GPGPU придут MIC

1 Здесь имеется в виду гибридное программирование, что не имеет прямого отношения к понятию гибридная аппаратура.

как более легкие в программировании или ЕРСЛ как более энергоэффективные или что-нибудь более новое. Однако практически нет сомнений, что программистам придется задействовать для решения задач целый зоопарк разнородных вычислительных устройств со сложной иерархией памяти. Отсюда можно сделать вывод, что проблемы, обсуждаемые в данной работе, не потеряют своей актуальности, и основная задача, которую придется решить на пути достижения реальной эксафлопсной производительности — это, как и многократно в истории вычислительной техники, задача оптимизации перемещения данных в памяти машины [7].

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

1. Почему же так сложно написать эффективную программу для гибридной машины?

1.1. Множество уровней параллелизма

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

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

Ниже перечислены основные источники неэффективности.

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

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

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

1.2. Множество уровней иерархии памяти

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

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

и обработки данных в многоуровневой и, в общем случае, неоднородной системе.

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

(1) регистры процессора;

(2) кэши различных уровней (например, Ь1 — индивидуальный кэш

ядра, Ь3 — общий для всех ядер процессора);

(3) память процессора;

(4) память других процессоров узла;

(5) память других узлов.

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

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

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

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

1.3. Проблемы балансировки

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

Следует отметить, что для ряда задач (например, ЬШРАСК [8]) программист может вручную сбалансировать нагрузку, хотя это потребует значительных усилий. А для ряда других задач (например, использующих неявные методы и/или адаптивные сетки) такая ручная балансировка становится невероятно трудной деятельностью.

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

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

2. Традиционные подходы к программированию суперкомпьютеров

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

Условно можно выделить две крайности: автоматизировать как можно больше или, наоборот, всё отдать в руки программиста.

2.1. Неявное распределение данных и вычислений между процессами, неявное перемещение данных

Наиболее популярной реализацией данного подхода является система OpenMP [2] для компьютеров с общей памятью. При использовании данной системы программист не задает ни распределение данных между процессорами, ни перемещение данных, ни распределение работы. Он только указывает, что работа может быть распределена — витки цикла или циклов могут выполняться параллельно. Остальное сделают рантайм-система и аппаратура общей памяти.

Была предпринята попытка перенести данный подход практически без изменений на системы с распределенной памятью — Intel Cluster OpenMP [9]. Однако данное решение в большинстве случаев показывает крайне низкий результат. Во многих случаях производительность оказывается даже ниже, чем при использовании одного вычислительного узла. Это, в основном, объясняется тем, что характеристики современных связей между узлами суперкомпьютера значительно уступают характеристикам внутриузловых соединений между процессорами и/или ядрами.

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

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

2.2. Явное распределение данных и вычислений между процессами, явное перемещение данных

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

Данный подход получил наиболее широкое распространение на больших машинах — его реализацией является библиотека передачи сообщений МР1. Среди других современных реализаций следует отметить системы 8ИМЕМ [10], САЬ [11], отчасти СЬагш++ [12] и другие.

В этих системах программист явно распределяет данные между процессами и явно программирует перемещение данных, например, с помощью функций МР1_Беп^) и МР1_Яесу() в библиотеке МР1.

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

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

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

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

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

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

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

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

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

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

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

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

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

Данный подход на сегодняшний день является не столь популярным, как MPI, но всё же существует некоторое количество работ в этом направлении. В качестве примера можно привести DVM-систему [13,14], где программист с помощью специальных директив (примерно в том же духе, что в OpenMP) задает распределение данных и вычислений (витков цикла) по процессорам и узлам кластера, в то время как характер перемещения данных не программируется универсальным образом, а выбирается как один из небольшого количества стандартных параметризованных шаблонов. Основным недостатком DVM-системы является статическое задание распределения данных. Это значительно затрудняет ее применение для нерегулярных задач, а также поднимает вопрос балансировки нагрузки в пределах гибридного узла. С целью решения данного вопроса авторы DVM-системы предложили модель программирования DVMH [15] (DVM for Heterogeneous systems), являющуюся расширением модели DVM. Работы в этом направлении ведутся с 2011 года.

Другим примером может быть система StarPU [16], предназначенная для программирования гибридной вычислительной машины в пределах одного SMP-узла. В данной системе программист определяет отдельные вычислительные процедуры, называемые «codelet», способные выполняться как на классическом процессоре, так и на

ускорителе вычислений. Затем задается разделение данных на отдельные фрагменты и описывается их обработка с помощью сс^е1е1;-ов. Рантайм-система анализирует зависимости между вызовами code-Ы;-ов и организует вычисление code1et-ов на всех доступных вычислительных устройствах с учетом как времени выполнения каждого code1et-а на различных устройствах, так и времени передачи необходимых данных на выбранное устройство. Таким образом программист не думает о балансировке и загрузке различных по своей природе вычислительных устройств, он описывает только вычислительные процедуры (cсde1et-ы) и связи между ними. Эффективной загрузкой вычислительных устройств в рамках одного узла занимается рантайм-система StarPU. Для использования нескольких гибридных узлов кластера StarPU предлагает использовать немного видоизмененную библиотеку МР1, то есть передача данных между узлами и балансировка загрузки узлов полностью программируется разработчиком, что не всегда является удовлетворительным решением.

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

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

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

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

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

4. Заключение

Подытоживая, перечислим описанные в статье основные подходы к созданию параллельных приложений, два из которых являются уже традиционными, а третий пока сравнительно редко применяется:

(1) Распределение, обработка и перемещение данных делаются неявно.

(2) Распределение, обработка и перемещение данных делаются явно.

(3) Распределение и обработка данных делается явно, а перемещение — неявно.

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

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

Благодарности

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

Список литературы

[1] Backus J. W. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs // Communications of the ACM, 1978. 21, no. 8, p. 613-641 t[]

[2] Стандарт OpenMP, http://openmp.org/wp/. t[], 2.1

[3] Библиотека MPI, http://www.mpi-forum.org/. t[]

[4] Набор тестов NAS, http://www.nas.nasa.gov/Resources/Software/npb.html.

tu

[5] Графические процессоры общего назначения, http://gpgpu.org/. t[]

[6] Список Top500 за июнь 2011 года, http://top500.org/list/2011/06/100. t[]

[7] Лацис А. О. Параллельная обработка данных : учебное пособие для студентов вузов. (Университетский учебник. Серия Прикладная математика и информатика). М. : Издательский центр «Академия», 2010. t[]

[8] HPL — A Portable Implementation of the High-Performance Linpack Benchmark for Distributed-Memory Computers, http://netlib.org/benchmark/hpl/. t1.3

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[9] Intel Cluster OpenMP User’s Guide, http://software.intel.com/file/6330. t2.1

[10] Библиотека SHMEM, http://www.shmem.org/. t2.2

[11] Coarray Fortran 2.0 at Rice University, http://caf.rice.edu/. t2.2

[12] Parallel Languages/Paradigms: Charml—|-Parallel Objects, http://charm.cs.

uiuc.edu/research/charm. t2.2

[13] DVM-система, http://www.keldysh.ru/dvm/. t3

[14] Крюков В. А. Разработка параллельных программ для вычислительных кластеров и сетей // Информационные технологии и вычислительные системы, 2003, № 1-2, c. 42-61 t3

[15] DVMH— DVM для гетерогенных систем, http://www.keldysh.ru/dvm/ dvmhtm1107/rus/dvmh.html. t3

[16] StarPU — унифицированная рантайм-система для гетерогенных многоядерных архитектур, http://runtime.bordeaux.inria.fr/StarPU/. t3

Yu. A. Klimov, A.Yu. Orlov, A. B. Shvorin. Promising approaches to developing scalable applications for hybrid supercomputers.

Abstract. This article studies the matter of developing scalable applications to be run on supercomputers built with up-to-date as well as just emerging techologies. Authors describe a number of problems concerning complicated memory hierarhy arising mainly due to using accelerators, i.e. architecture hybridization. A short review of existing approaches to overcome these problems is given. From the whole range of possible solutions there is selected the most promising area, which is described in more details.

Key Words and Phrases: HPC, hybrid architecture, accelerators, memory hierarchy, load balancing.

Образец ссылки на статью:

Ю. А. Климов, А. Ю. Орлов, А. Б. Шворин. Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры // Программные системы: теория и приложения : электрон. научн. журн. 2011. №4(8), с. 45-59. URL: http: //psta.psiras.ru/read/psta2011_4_45-59.pdf

i Надоели баннеры? Вы всегда можете отключить рекламу.