Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 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