A toolkit for the development of data-driven functional parallel programmes

Описание

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

Конференция: 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 tranПоказать полностьюslated 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)

Вхождение в базы данных