Сибирский федеральный университет

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: International Scientific Conference on Parallel Computational Technologies, PCT 2018

Год издания: 2018

Идентификатор DOI: 10.1007/978-3-319-99673-8_2

Ключевые слова: Data-driven functional parallel programming, Parallel-programmes optimisation, Parallel-programmes translation, Parallel-programmes verification, Software development toolkit

Аннотация: In the article a technology is considered which aims at creating architecture-independent parallel programmes based on the data-driven functional paradigm. A proposed toolkit provides the translation, execution, debugging, optimisation and verification of programmes. A programme in a data-driven functional parallel language is translated into the data-flow graph (which describes the data dependencies of an implemented algorithm) of the programme. On the basis of this representation, the control-flow graph (which defines the organisation of computations) is generated. Both graphs allow to carry out various optimising transformations. The resulting data-flow graph is also used for the formal verification of the programme. A computation process is considered as a cooperation of the control-flow graph and the data-flow graph. The execution of data-driven functional parallel programmes is carried out by a special interpreter (event machine), which consist of a number of event processors controlled by a special manager. © 2018, Springer Nature Switzerland AG.

Журнал: Communications in Computer and Information Science

Выпуск журнала: Vol. 910

Номера страниц: 16-30

ISSN журнала: 18650929

Издатель: Springer Verlag

• Legalov A.I. (Siberian Federal University, Krasnoyarsk, Russian Federation)
• Vasilyev V.S. (Siberian Federal University, Krasnoyarsk, Russian Federation)
• Matkovskii I.V. (Siberian Federal University, Krasnoyarsk, Russian Federation)
• Ushakova M.S. (Siberian Federal University, Krasnoyarsk, Russian Federation)

• Scopus
• Ядро РИНЦ (eLIBRARY.RU)