Статический анализ приватных переменных в системе автоматизированного распараллеливания Фортран-программ

Авторы

А.С. Колганов, Н.Н. Королев

Аннотация

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

Работа выполнена при поддержке грантов РФФИ №№17-01-00820, 18-01-00851 А.

Ключевые слова

Приватные переменные, статический анализ, распараллеливание, зависимости.

Язык

Русский

Библиографическая ссылка

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