Modelirovanie i Analiz Informatsionnykh Sistem
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Modelirovanie i Analiz Informatsionnykh Sistem, 2021, Volume 28, Number 2, Pages 198–214
DOI: https://doi.org/10.18255/1818-1015-2021-2-198-214
(Mi mais744)
 

This article is cited in 1 scientific paper (total in 1 paper)

Theory of computing

The system for transforming the code of dataflow programs into imperative

V. S. Vasilyeva, A. I. Legalovb, S. V. Zykovb

a Siberian Federal University, 79 Svobodny Ave., Krasnoyarsk 660041, Russia
b Higher school of Economics, National research University, 20 Myasnitskaya str., Moscow 101000, Russia
Full-text PDF (724 kB) Citations (1)
References:
Abstract: Functional dataflow programming languages are designed to create parallel portable programs. The source code of such programs is translated into a set of graphs that reflect information and control dependencies. The main way of their execution is interpretation, which does not allow to perform calculations efficiently on real parallel computing systems and leads to poor performance. To run programs directly on existing computing systems, you need to use specific optimization and transformation methods that take into account the features of both the programming language and the architecture of the system. Currently, the most common is the Von Neumann architecture, however, parallel programming for it in most cases is carried out using imperative languages with a static type system. For different architectures of parallel computing systems, there are various approaches to writing parallel programs. The transformation of dataflow parallel programs into imperative programs allows to form a framework of imperative code fragments that directly display sequential calculations. In the future, this framework can be adapted to a specific parallel architecture. The paper considers an approach to performing this type of transformation, which consists in allocating fragments of dataflow parallel programs as templates, which are subsequently replaced by equivalent fragments of imperative languages. The proposed transformation methods allow generating program code, to which various optimizing transformations can be applied in the future, including parallelization taking into account the target architecture.
Keywords: transformation of programs, dataflow parallel programming, program analysis, typing, intermediate program representations.
Received: 07.05.2021
Revised: 31.05.2021
Accepted: 02.06.2021
Document Type: Article
UDC: 004.4’42
Language: Russian
Citation: V. S. Vasilyev, A. I. Legalov, S. V. Zykov, “The system for transforming the code of dataflow programs into imperative”, Model. Anal. Inform. Sist., 28:2 (2021), 198–214
Citation in format AMSBIB
\Bibitem{VasLegZyk21}
\by V.~S.~Vasilyev, A.~I.~Legalov, S.~V.~Zykov
\paper The system for transforming the code of dataflow programs into imperative
\jour Model. Anal. Inform. Sist.
\yr 2021
\vol 28
\issue 2
\pages 198--214
\mathnet{http://mi.mathnet.ru/mais744}
\crossref{https://doi.org/10.18255/1818-1015-2021-2-198-214}
Linking options:
  • https://www.mathnet.ru/eng/mais744
  • https://www.mathnet.ru/eng/mais/v28/i2/p198
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Statistics & downloads:
    Abstract page:101
    Full-text PDF :38
    References:24
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024