ПаВТ 04.2019
Конференция "Параллельные вычислительные технологии 2019" проходила 2 - 4 Апреля 2019 г. по адресу Россия, Калининград, Балтийский федеральный университет.
Н.А. Катаев выступил с докладом:
Преобразование программ на высокоуровневом языке программирования на основе результатов анализа низкоуровневого представления программ в системе SAPFOR
В статье рассматривается подход, позволяющий использовать результаты анализа низкоуровневого представления программы для выполнения ее преобразований на уровне исходного кода. Данный подход применяется в системе SAPFOR (System FOR Automated Parallelization) для приведения программ к потенциально параллельному виду и последующему выявлению в них неявного параллелизма. Для анализа программ используется система компиляторов LLVM (Low Level Virtual Machine). В качестве представления программы используется LLVM IR. Clang применяется для выполнения преобразований на уровне исходного кода. В статье рассматриваются преимущества выполнения анализа программ на уровне LLVM IR и особенности выполнения его преобразований с целью повышения качества проводимого анализа для исходной программы на языке высокого уровня.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проекты 17-01- 00820 и 18-01-00851.
Статья написана коллективом авторов: Н.А. Катаев, В.И. Козырев.
А.С. Колганов выступил с докладом:
Автоматическое инкрементальное распараллеливание больших программных комплексов с помощью системы SAPFOR
Основная сложность разработки параллельной программы для кластера – необходимость принятия глобальных решений по распределению данных и вычислений с учетом свойств всей программы, а затем выполнения кропотливой работы по модификации программы и ее отладки. Большой объем программного кода, а также многомодульность, многовариантность и многоязыковость, затрудняют принятие решений по согласованному распределению данных и вычислений. Опыт использования предыдущей системы САПФОР показал, что при распараллеливании на кластер больших программ и программных комплексов необходимо уметь распараллеливать их постепенно, начиная с наиболее времяемких фрагментов и постепенно добавляя новые фрагменты, пока не достигнем желаемого уровня эффективности параллельной программы. С этой целью предыдущая система была полностью переработана, и на ее основе была создана новая система SAPFOR (System FOR Automated Parallelization). Для решения поставленной задачи будет рассмотрен метод инкрементального, или частичного распараллеливания, идея которого заключается в том, что распараллеливанию подвергается не вся программа целиком, а ее части (области распараллеливания) – в них заводятся дополнительные экземпляры требуемых данных, производится распределение этих данных и соответствующих им вычислений. В данной статье будет рассмотрено применение автоматического отображения программ на кластер с помощью предложенного метода инкрементального распараллеливания на примере программного комплекса, решающего задачу моделирования добычи залежей нефти и газа
Статья написана коллективом авторов: А.С. Колганов, С.В. Яшин.
В.А. Бахтин выступил с докладом:
Отладка параллельных программ в DVM-системе
DVM-система предназначена для разработки параллельных программ научно-технических расчетов на языках C-DVMH и Fortran-DVMH. Эти языки используют единую модель параллельного программирования(DVMH-модель) и являются расширением стандартных языков Си и Фортран спецификациями параллелизма, оформленными в виде директив компилятору. DVMH-модель позволяет создавать эффективные параллельные программы для гетерогенных вычислительных кластеров, в узлах которых в качестве вычислительных устройств наряду с универсальными многоядерными процессорами могут использоваться ускорители (графические процессоры или сопроцессоры Intel Xeon Phi). В статье описывается методика отладки параллельных программ в DVM-системе, а также рассматриваются новые возможности DVM-отладчиков.
Статья написана коллективом авторов: В.А. Бахтин, А.А. Ермичев, Д.А. Захаров, В.А. Крюков.