ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университет10.26907/1562-5419-2021-24-6-1090-1116ellibs-309Research ArticleСтатьиПерспективы функционального программирования параллельных вычисленийPerspectives of Functional Programming of Parallel ComputationsГородняяЛ. В.GorodnyayaL. V.lidvas@gmail.comИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукA.P. Ershov Institute of Informatics Systems (IIS)20212812202124610901116Copyright © Городняя Л.В., 20212021Городняя Л.В.Gorodnyaya L.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/309

Статья посвящена результатам анализа современных тенденций функционального программирования, рассматриваемого как метапарадигма решения проблем организации параллельных вычислений и многопоточных программ для многопроцессорных комплексов и распределённых систем. С учетом мультипарадигмальности параллельного программирования использован парадигмальный анализ языков и систем функционального программирования. Такой анализ позволяет снижать сложность решаемых задач методами декомпозиции программ на автономно развиваемые компоненты, оценивать их сходство и различия. Учёт парадигмальных особенностей необходим при прогнозировании хода процессов применения программ, а также при планировании их изучения и разработки. Есть основания рассчитывать, что функциональное программирование помогает повышать производительность программ. Показано разнообразие парадигмальных характеристик, присущих подготовке и отладке долгоживущих программ параллельных вычислений.

The article is devoted to the results of the analysis of modern trends in functional programming, considered as a metaparadigm for solving the problems of organizing parallel computations and multithreaded programs for multiprocessor complexes and distributed systems. Taking into account the multi-paradigm nature of parallel programming, the paradigm analysis of languages and functional programming systems is used. This makes it possible to reduce the complexity of the problems being solved by methods of decomposition of programs into autonomously developed components, to evaluate their similarities and differences. Consideration of such features is necessary when predicting the course of application processes, as well as when planning the study and organizing the development of programs. There is reason to believe that functional programming has the ability to improve programs performance. A variety of paradigmatic characteristics inherent in the preparation and debugging of long-lived parallel computing programs are shown.

функциональное программированиепарадигмальная декомпозицияпараллельные вычислениясистема программированиямультипарадигмальностьfunctional programmingparadigm decompositionparallel computingmulti-paradigm programming languagesReferencesPieter Koopman, Steffen Michels, Rinus Plasmeijer. Dynamic Editors for Well-Typed Expressions // Trends in Functional programming/ 22nd International Symposium, TFP 2021, February 17–19, 2021. Springer, LNCS 12834. P. 44–66.Pieter Koopman, Steffen Michels, Rinus Plasmeijer. Dynamic Editors for Well-Typed Expressions // Trends in Functional programming/ 22nd International Symposium, TFP 2021, February 17–19, 2021. Springer, LNCS 12834. P. 44–66.Городняя Л.В., Кирпотина И.А. О проблеме достоверности доступной в Интернете исторической фактографии // Сборник трудов SoRuCom-2017. Четвертая Международная конференция «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы». Зеленоград, 3–5 октября 1917 г. Под редакцией д. ф.-м. н. А.Н. Томилина. М.: ФГБОУ ВО «РЭУ им. Г.В. Плеханова», 2017. С. 40–49.Городняя Л.В., Кирпотина И.А. О проблеме достоверности доступной в Интернете исторической фактографии // Сборник трудов SoRuCom-2017. Четвертая Международная конференция «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы». Зеленоград, 3–5 октября 1917 г. Под редакцией д. ф.-м. н. А.Н. Томилина. М.: ФГБОУ ВО «РЭУ им. Г.В. Плеханова», 2017. С. 40–49.Городняя Л.В. О представлении результатов анализа языков и систем программирования // Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2018. С. 262–277. https://doi.org/10.20948/abrau-2019-03Городняя Л.В. О представлении результатов анализа языков и систем программирования // Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2018. С. 262–277. https://doi.org/10.20948/abrau-2019-03Городняя Л.В. Подход к оценке трудоёмкости программирования // Научный сервис в сети Интернет: труды XXII Всероссийской научной конференции (21–25 сентября 2020 г., онлайн). М.: ИПМ им. М.В. Келдыша, 2020. С. 192–209. https://doi.org/10.20948/abrau-2020-3 https://keldysh.ru/abrau/2020/theses/3.pdfГородняя Л.В. Подход к оценке трудоёмкости программирования // Научный сервис в сети Интернет: труды XXII Всероссийской научной конференции (21–25 сентября 2020 г., онлайн). М.: ИПМ им. М.В. Келдыша, 2020. С. 192–209. https://doi.org/10.20948/abrau-2020-3 https://keldysh.ru/abrau/2020/theses/3.pdfАвербух В.Л. Визуализация программного обеспечения. Екатеринбург: ИММ УрО РАН, 1995. 168 с.Авербух В.Л. Визуализация программного обеспечения. Екатеринбург: ИММ УрО РАН, 1995. 168 с.Городняя Л.В. Учебный язык параллельного программирования СИНХРО // Языки программирования и компиляторы—2017. Труды конференции. Южный федеральный университет; под ред. Д.В. Дуброва. Ростов-на-Дону: Изд-во Южного федерального университета, 2017. С. 92–97. URL: http://plc.sfedu.ru/files/PLC-2017-proceedings.pdfГородняя Л.В. Учебный язык параллельного программирования СИНХРО // Языки программирования и компиляторы—2017. Труды конференции. Южный федеральный университет; под ред. Д.В. Дуброва. Ростов-на-Дону: Изд-во Южного федерального университета, 2017. С. 92–97. URL: http://plc.sfedu.ru/files/PLC-2017-proceedings.pdfГородняя Л.В. Перспективно стратегические парадигмы программирования Академика Андрея Петровича Ершова. 5-я международная конференция «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ (SORUCOM 2020)». Москва, 6–8 октября 2020 г. С. 83–97.Городняя Л.В. Перспективно стратегические парадигмы программирования Академика Андрея Петровича Ершова. 5-я международная конференция «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ (SORUCOM 2020)». Москва, 6–8 октября 2020 г. С. 83–97.mpC: A Multi-Paradigm Programming Language for Massively Parallel Computers // ACM SIGPLAN Notices. 1996. Vol. 31. No. 2. P. 13–20.mpC: A Multi-Paradigm Programming Language for Massively Parallel Computers // ACM SIGPLAN Notices. 1996. Vol. 31. No. 2. P. 13–20.Kasyanov V.N. Sisal 3.2: functional language for scientific parallel programming. Enterprise Information // Systems. 2013. Vol. 7. No. 2. P. 227–236.Kasyanov V.N. Sisal 3.2: functional language for scientific parallel programming. Enterprise Information // Systems. 2013. Vol. 7. No. 2. P. 227–236.

The authors declare that there are no conflicts of interest present.