The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming

Описание

Тип публикации: статья из журнала

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

Идентификатор DOI: 10.14529/jsfi230203

Ключевые слова: parallelism, parallel computation model, architecture-independent parallel programming, functional-dataflow parallel programming, transformation of parallel programs

Аннотация: The features of a statically typed functional-dataflow model of parallel computation and its mapping to the statically typed language of functional-dataflow parallel programming Smile are considered. To provide support for architecture-independent parallel programming, we used: a functional style, an implicit managing of calculatioПоказать полностьюns on data readiness, structured data objects that provide representation of various types of parallelism. A distinctive feature of the approach is the inclusion in the model of special asynchronous data objects that can generate events on partial filling. These data objects are stream and swarm. Each of these data objects has its own specifics to control by parallel calculations. A stream is used to process data of the same type that arrives sequentially and asynchronously at random intervals. A swarm is used to describe independent dataof the same type or different types, on which it is possible to perform massive parallel operations. The use of streams and swarms in various situations as well as their mapping into each other and other program objects are shown. An analysis is made of the possibilities of transforming the formed language constructs into programming languages used in writing programs for modern parallel architectures.

Ссылки на полный текст

Издание

Журнал: Supercomputing Frontiers and Innovations

Выпуск журнала: Т. 10, 2

Номера страниц: 32-45

ISSN журнала: 24096008

Место издания: Chelyabinsk

Издатель: Южно-Уральский государственный университет (национальный исследовательский университет)

Персоны

  • Legalov Alexander I. (Higher School of Economics, National Research University)
  • Chuykin Nickolay K. (Higher School of Economics, National Research University)

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