BSU Bulletin. Mathematics, Informatics
Bibliographic description:
LIBRARY OF MATHEMATICAL FUNCTIONS FOR THE LANGUAGE OF DATA-DRIVEN FUNCTIONAL PARALLEL PROGRAMS PYTHAGOR // BSU Bulletin. Mathematics, Informatics. - 2019. №4. . - С. 57-64.
Title:
LIBRARY OF MATHEMATICAL FUNCTIONS FOR THE LANGUAGE OF DATA-DRIVEN FUNCTIONAL PARALLEL PROGRAMS PYTHAGOR
Financing:
Работа выполнена при финансовой поддержке Российского фонда фундамен- тальных исследований, грант № 17-07-00288.
Codes:
Annotation:
The language of data-driven functional parallel programs Pythagor is an original programming language, which key features are the absence of variables and loop op- erators, support for operation-level parallelism, operating by availability.
The Pythagor language tools are developed, and a repository of functions is worked out. A library of mathematical functions in terms of functionality comparable to the library math.h of C language has been created. Function calculation is based on the Maclaurin series and reduction formulas. Some mathematical functions are imple- mented in two versions, one of which performs fast and less accurate calculations, and the other involves accurate and slower calculations.
The implementation of the library of mathematical functions for the Pythagor language has been performed for the first time; the calculation of mathematical functions supports parallelization capabilities at the level of operations. Mathematical functions are included in the open repository of the Pythagor language.
The Pythagor language tools are developed, and a repository of functions is worked out. A library of mathematical functions in terms of functionality comparable to the library math.h of C language has been created. Function calculation is based on the Maclaurin series and reduction formulas. Some mathematical functions are imple- mented in two versions, one of which performs fast and less accurate calculations, and the other involves accurate and slower calculations.
The implementation of the library of mathematical functions for the Pythagor language has been performed for the first time; the calculation of mathematical functions supports parallelization capabilities at the level of operations. Mathematical functions are included in the open repository of the Pythagor language.
Keywords:
functional programming; streaming programming; parallel program- ming; architecture-independent programming; operation-level parallelism; algorithms of mathematical functions; approximate calculations; Maclaurin series; function repository; data control flow graph.
List of references:
Legalov A. I., Ushakova M. S. Osobennosti razrabotki i preobrazovaniya funktsion- alno-potokovykh parallelnykh programm [Features of the Development and Transformation of Data-Driven Functional Parallel Programs]. Supercomputernie dni v Rossii — Super- computer Days in Russia. Proc. Int. Conf. Moscow. 2018. Pp. 999–1000.
Legalov A. I. et al. A Toolkit for the Development of Data-Driven Functional Parallel Programmes. Communications in Computer and Information Science. 2018. No. 910. Pp. 16–30. DOI: 10.1007/978-3-319-99673-8_2.
Ushakova M. S., Legalov A. I. Verifikatsiya programm so vzaimnoi rekursiei na yazyke Pifagor [Verification of Programs with Mutual Recursion in Pythagor]. Auto- matic Control and Computer Sciences. 2018. Vol. 25, No. 4(76). Pp. 358–381. DOI: 10.18255/1818-1015-2018-4-358-381.
Vasilyev V. S., Legalov A. I. Optimizatsiya invarianta tsikla v yazyke Pifagor [Optimization of Loop Invariant in the Pythagor Language]. 2018. Vol. 25, No. 4(76). Pp. 347–357. DOI: 10.18255/1818-1015-2018-4-347-357.
Legalov A. I. et al. Instrumentalnaya podderzhka sozdaniya i transformatsii funktsionalno-potokovykh parallelnykh programm [Tool Support for Creation and Trans- formation of Data-Driven Functional Parallel Programs]. Programming and Computer Software. 2017. Vol. 29, No. 5. Pp. 165–184. DOI: 10.15514/ISPRAS-2017-29(5)-10.
Udalova Yu. V., Legalov A. I. Verifikatsiya funktsionalno-potokovykh pa- rallelnykh programm metodom induktivnykh utverzhdenii [Verification of Data-Driven Functional Parallel Programs by Inductive Assertions]. Proceedings of the Russian Higher School Academy of Sciences. 2014. No. 2–3 (23–24). Pp. 125–132.
Legalov A. I. et al. A Toolkit for the Development of Data-Driven Functional Parallel Programmes. Communications in Computer and Information Science. 2018. No. 910. Pp. 16–30. DOI: 10.1007/978-3-319-99673-8_2.
Ushakova M. S., Legalov A. I. Verifikatsiya programm so vzaimnoi rekursiei na yazyke Pifagor [Verification of Programs with Mutual Recursion in Pythagor]. Auto- matic Control and Computer Sciences. 2018. Vol. 25, No. 4(76). Pp. 358–381. DOI: 10.18255/1818-1015-2018-4-358-381.
Vasilyev V. S., Legalov A. I. Optimizatsiya invarianta tsikla v yazyke Pifagor [Optimization of Loop Invariant in the Pythagor Language]. 2018. Vol. 25, No. 4(76). Pp. 347–357. DOI: 10.18255/1818-1015-2018-4-347-357.
Legalov A. I. et al. Instrumentalnaya podderzhka sozdaniya i transformatsii funktsionalno-potokovykh parallelnykh programm [Tool Support for Creation and Trans- formation of Data-Driven Functional Parallel Programs]. Programming and Computer Software. 2017. Vol. 29, No. 5. Pp. 165–184. DOI: 10.15514/ISPRAS-2017-29(5)-10.
Udalova Yu. V., Legalov A. I. Verifikatsiya funktsionalno-potokovykh pa- rallelnykh programm metodom induktivnykh utverzhdenii [Verification of Data-Driven Functional Parallel Programs by Inductive Assertions]. Proceedings of the Russian Higher School Academy of Sciences. 2014. No. 2–3 (23–24). Pp. 125–132.
Article.pdf