Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск)"
Авторы: Катаев Н.А., Смирнов А.А., Жуков А.Д.
Динамический анализ зависимостей по данным в системе SAPFOR
Аннотация:
Возможностей статического анализа программ часто оказывается недостаточно для исследования реальных приложений. Сложные граф управления и структура обращений к памяти приводят к консервативной оценке наличия зависимостей по данным. Для принятия решений о возможности распараллеливания циклов программы в системе SAPFOR был реализован динамический анализ зависимостей по данным. Анализ опирается на инструментацию программ в представлении LLVM и может быть выполнен для программ на языках C и Fortran. Использование статического анализа позволяет сократить множество анализируемых обращений к памяти, игнорируя обращения к скалярным переменным, информация по которым уже доступна. Также допускается выборочный анализ функций и циклов программы. Эти возможности позволяют заметно снизить накладные расходы на время выполнения программы, сохранив при этом полноту анализа. Разработанный инструмент был протестирован на тестах производительности из пакета NAS Parallel Benchmarks для языков C и Fortran. В процессе динамического анализа кроме традиционных видов зависимостей (flow, anit, output) также определяются переменные, зависимость по которым может быть устранена за счет приватизации или конвейерного выполнения циклов. Совместно с возможностями DVM и OpenMP это существенно облегчает, в том числе и ручное распараллеливание, облегчая задание соответствующих директив компилятора.
Ключевые слова:
анализ программ, динамический анализ, автоматизация распараллеливания, SAPFOR, DVM, LLVM
Язык публикации: русский,  страниц: 13 (с. 400-412)
Полный текст на русском языке: Сведения об авторах:
  • Катаев Никита Андреевич,  orcid.org/0000-0002-7603-4026,  ИПМ им. М.В. Келдыша РАН
  • Смирнов Александр Андреевич,  orcid.org/0000-0002-2971-4248,  ИПМ им. М.В. Келдыша РАН
  • Жуков Андрей Дмитриевич,  orcid.org/0000-0001-9018-2941,  МГУ им. М.В.Ломоносова