ВНУТРЕННИЕ ПРЕДСТАВЛЕНИЯ В СИСТЕМЕ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

Васильев В.С., ORCID: 00000-0002-3340-6678, Непомнящий О.В., ORCID: 0000-0002-2459-6414, канд. техн. наук, Сибирский федеральный университет, г. Красноярск, Россия

ВНУТРЕННИЕ ПРЕДСТАВЛЕНИЯ В СИСТЕМЕ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

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

Ключевые слова: оптимизация кода; параллельное программирование; алгоритм; функционально-потоковая парадигма; граф.

 

Vasilev V.S., ORCID: 00000-0002-3340-6678, Nepomnuashy O.V., ORCID: 0000-0002-2459-6414, Ph.D., Siberian Federal University, Krasnoyarsk, Russia

INTERNAL REPRESENTATIONS IN THE OPTIMIZATION SYSTEM OF FUNCTIONAL DATAFLOW PARALLEL PROGRAMS

Abstract. The problem of creating tools for optimizing parallel programs is considered. It has been determined that the problem of optimizing the code has a high computational complexity and, therefore, most often it is performed not over the source code of the program, but over its intermediate representations. It is shown that when optimizing dataflow parallel programs, this problem has a number of specific features. In particular, an explicit assignment in the form of graphs of information and control dependencies for each function. Data structures are proposed that provide an increase in the efficiency of the automatic code optimization system taking into account the features of the dataflow paradigm of parallel programming. The results of the analysis of the forms of the internal representation of programs that ensure the execution of key functions in the optimization of the code are presented.

Keywords: code optimization; parallel programming; algorithm; dataflow programming; graph.