Статический анализ приватных переменных в системе автоматизированного распараллеливания Фортран-программ
Авторы
А.С. Колганов, Н.Н. Королев
Аннотация
Ресурс параллелизма в программах в основном сосредоточен в циклах. Для того, чтобы цикл мог выполняться параллельно, необходимо обеспечить отсутствие зависимостей по данным. К одному виду таких зависимостей относятся зависимости по скалярным переменным, которые могут быть приватизированы для каждого витка цикла, так как используются только в рамках одного витка. В настоящей статье анализируется проблема автоматического определения и расстановки приватизируемых переменных в циклах для их последующего параллельного выполнения в Фортран-программах. Предлагается алгоритм их определения, основанный на методах анализа потока данных, его расширение для межпроцедурного анализа. Приводятся результаты проверки алгоритма на ряде программ из пакета тестов NASA, а также на композиционной модели многокомпонентной фильтрации при разработке месторождений нефти и газа.
Работа выполнена при поддержке грантов РФФИ №№17-01-00820, 18-01-00851 А.
Ключевые слова
Приватные переменные, статический анализ, распараллеливание, зависимости.
Язык
Русский
Представлена на
Библиографическая ссылка
А.С. Колганов, Н.Н. Королев. Статический анализ приватных переменных в системе автоматизированного распараллеливания Фортран-программ // Параллельные вычислительные технологии – XII международная конференция, ПаВТ'2018, г. Ростов-на-Дону, 2–6 апреля 2018 г. Короткие статьи и описания плакатов. , Челябинск: Издательский центр ЮУрГУ, 2018, C. 286-294