НСКФ 11.2021
Конференция "Национальный Суперкомпьютерный Форум (НСКФ-2021)" проходила 30 Ноября - 3 Декабря 2021 г. по адресу Россия, Переславль-Залесский, ИПС им. А.К. Айламазяна РАН.
Н.А. Катаев выступил с докладом:
Статический анализ Си программ в системе SAPFOR для их распараллеливания
Применение системы SAPFOR для распараллеливания некоторых приложений из пакета NAS Parallel Benchmarks выявило ограничения реализованных в системе SAPFOR техник анализа программ. В докладе будут рассмотрены новые техники анализа программ, реализованные в SAPFOR и позволяющие справиться с выявленными ограничениями. Важной особенностью является то, что предложенные техники опираются на возможность системы SAPFOR модифицировать внутреннее представление программы в виде LLVM IR в процессе ее анализа для уточнения свойств исходной непреобразованной программы. В докладе будут рас-смотрены: (1) подход к анализу зависимостей по данным в много-модульных программах за счет выборочной подстановки функций в точках их вызова; (2) подход к определению редукционных операций в циклах программы, для случаев, когда имеющихся возможностей LLVM по их анализу оказывается недостаточно; (3) подход к определению приватизируемых массивов в циклах про-граммы.
Статья написана коллективом авторов: Н.А. Катаев, Ю.А. Лапенко.