SoftCraft
разноликое программирование

Top.Mail.Ru

Функционально-потоковое параллельное программирование

Инструментальная поддержка

Загрузка инструментальной системы, поддерживающей программирование на языке "Пифагор"

Примеры программ на языке "Пифагор"

Статьи на сайте

А. И. Легалов, Ф. А. Казаков, Д. А. Кузьмин, Д. В. Привалихин. Функциональная модель параллельных вычислений и язык программирования "Пифагор" (2003)

А. И. Легалов, Д. В. Привалихин. Эволюционное расширение программ в языке "Пифагор" (2004)

А. И. Легалов. Использование асинхронных списков в потоковой модели вычислений (2006)

Видео в сети

А. И. Легалов. "Dataflow как подход к архитектурно-независимому параллельному программированию" на CQFN Talks and Lectures (22.12.2022 компания Huawei)

А. И. Легалов. Архитектурно-независимое параллельное программирование (АНПП). Лекция по дисциплине "Архитектура вычислительных систем" (2020)

Список публикаций

  1. Kuzmin D.A., Kazakov F.A., Legalov A.I. Description of parallel-functional programming language. - Advances in Modeling & Analysis, A, AMSE Press, Vol.28, N3, 1995, pp.1-17.
  2. Легалов А.И., Казаков Ф.А., Кузьмин Д.А. Потоковая модель параллельных вычислений. - Вестник Красноярского государственного технического университета. Сб. научных трудов. Вып. 6. Красноярск, 1996. с. 60-67.
  3. Легалов А.И., Казаков Ф.А., Кузьмин Д.А. Водяхо А.И. Модель параллельных вычислений функционального языка. Известия ГЭТУ, Сборник научных трудов. Выпуск 500. Структуры и математическое обеспечение специализированных средств. С.-Петербург, 1996. с. 56-63.
  4. Казаков Ф.А., Кузьмин Д.А., Легалов А.И. Параллельный язык управления потоков данных. - Математическое обеспечение и архитектура ЭВМ: Сб. научных работ. Вып. 2. КГТУ, Красноярск, 1997. с. 105-113.
  5. Легалов А.И. Стратегии управления в вычислительных системах и языках программирования. Распределенные и кластерные вычисления. Избранные материалы Школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2001, с. 94-108.
  6. Легалов А.И., Кузьмин Д.А., Казаков Ф.А., Привалихин Д.В. На пути к переносимым параллельным программам. – Открытые системы, No 5 (май), 2003, с. 36-42.
  7. Легалов А.И., Казаков Ф.А., Кузьмин Д.А., Привалихин Д.В. Модель функционально-потоковых параллельных вычислений и язык программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы второй Школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2002, с. 101-120.
  8. Казаков Ф.А., Легалов А.И. Параллельное программирование в языках Haskell и Пифагор. – Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов. Красноярск: ИПЦ КГТУ, 2002. С. 48-55.
  9. Легалов А.И., Привалихин Д.В. Использование типов в языке программирования Пифагор. –Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов. Красноярск: ИПЦ КГТУ, 2002. С. 55-61.
  10. Легалов А.И. Методы сортировки, полученные из анализа максимально параллельной программы. – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 119-134.
  11. Легалов А.И., Казаков Ф.А. Эквивалентные преобразования функционально-параллельных программ. – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 134-141.
  12. Легалов А.И., Привалихин Д.В. Эволюционное расширение пользовательских типов в языке программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 141-153.
  13. Кузьмин Д.А., Рыженко И.Н., Легалов А.И. Интерпретация функциональных программ под управлением Mosix. – Вестник Красноярского государственного технического университета. Вып. 33. Математические методы и моделирование. Красноярск: ИПЦ КГТУ, 2004. С. 218-227.
  14. Легалов А.И., Привалихин Д.В. Перегрузка функций и пользовательские типы в языке программирования «Пифагор». – Вестник Красноярского государственного технического университета. Вып. 33. Математические методы и моделирование. Красноярск: ИПЦ КГТУ, 2004. С. 228-234.
  15. Кузьмин Д.А., Легалов А.И. Интерпретация функционально-параллельных программ с использованием кластерных систем. – Высокопроизводительные вычисления на кластерных системах. Материалы четвертого Международного научно-практического семинара и Всероссийской молодежной школы. / Под ред. В.А. Сойфера. Самара, 2004. С. 136-144.
  16. Кузьмин Д.А., Легалов А.И. Использование кластера для интерпретации функционально параллельных программ. – Актуальные проблемы электронного машиностроения. Материалы VII международной конференции. Том 6. Новосибирск, 2004. С. 257-260.
  17. Легалов А.И. Построение параллельных алгоритмов. – Открытые системы, No 9 (101), 2004. С. 64-68.
  18. Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования – Научный вестник НГТУ, No 3 (18), 2004. С. 63-72.
  19. Легалов А.И., Привалихин Д.В. Эволюционное расширение программ в функциональном языке параллельного программирования. – Вестник Красноярского государственного университета, 2004, No 5/2, 2004. С. 40-48.
  20. Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ. – Вычислительные технологии, No 1 (10), 2005. С. 71-89.
  21. Кузьмин Д.А., Легалов А.И. Трехуровневая эмуляция функционально-параллельных программ. – Распределенные и кластерные вычисления. Избранные материалы четвертой школы семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 140-147.
  22. Легалов А.И. Использование асинхронных вычислений в функциональных языках параллельного программирования. – Распределенные и кластерные вычисления. Избранные материалы четвертой школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 172-183.
  23. Легалов А.И., Привалихин Д.В. Разработка эволюционно расширяемых программных объектов в языке программирования «Пифагор». – Распределенные и кластерные вычисления. Избранные материалы четвертой школы-семинара. / Институт вычислительного моделирования СО РАН. Красноярск, 2005. С. 183-198.
  24. Легалов А.И. Использование асинхронно поступающих данных в потоковой модели вычислений. / Третья сибирская школа-семинар по параллельным вычислениям. / Томск. Изд во Томского ун-та, 2006. С 113-120.
  25. Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных. / Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. – ISBN 5-201-14990-1. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С 1272-1281. (Электронное издание)
  26. Удалов а Ю.В., Легалов А.И., Сиротинина Н.Ю. Средства отладки функционально-потоковых параллельных программ. / Доклады АН ВШ РФ, No 1 (10). – 2008. – С. 96-105.
  27. Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ. / Научный вестник НГТУ, No 3 (32). – 2008. – С. 111-120.
  28. Легалов А.И., Редькин А.В., Матковский И.В. Функционально-потоковое параллельное программирование при асинхронно поступающих данных. / Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта – 3 апреля 2009 г.). – ISBN 978-5-696-03854-4 – Челябинск: Изд. ЮУрГУ, 2009. С. 573-578. (Электронное издание)
  29. Удалов а Ю.В., Легалов А.И., Сиротинина Н.Ю., Кропачева М.С. Об отладке и верификации функционально-потоковых параллельных программ. / Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта – 3 апреля 2009 г.). – ISBN 978-5-696-03854-4 – Челябинск: Изд. ЮУрГУ, 2009. С. 757-764. (Электронное издание)
  30. Удалова Ю.В. Методы отладки и верификации функционально-потоковых параллельных программ / Ю.В. Удалова, А.И. Легалов, Н.Ю. Сиротинина // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2) – С. 213-224.
  31. Легалов А.И., Савченко Г.В., Васильев В.С. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ. / Системы. Методы. Технологии. No 1 (13). - 2012. - С. 113-119.
  32. Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах. / Моделирование и анализ информационных систем. Том 19, No 4. - 2012. С. 48-58.
  33. 


Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. / Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. – St. Petersburg, Russia. // Lecture Notes in Computer Science 7979, Springer, 2013. – Pp. 80-89. Васильев В.С., Легалов А.И., Постников А.И. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования // Системы. Методы. Технологии. 2013. No3(17). С. 106-111.
  34. Легалов А.И., Матковский И.В., Кропачева М.С., Удалова Ю.В., Васильев В.М. Технологические аспекты создания, преобразования и выполнения функционально-потоковых параллельных программ. / Научный сервис в сети Интернет: все грани параллелизма: Труды Международной суперкомпьютерной конференции (23-28 сентября 2013 г., Новороссийск). - М.: Изд-во МГУ, 2013. С. 443-447.
  35. Legalov A. I., Nepomnyaschy O. V., Matkovsky I. V., Kropacheva M. S. Tail Recursion Transformation in Functional Dataflow Parallel Programs. / Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 366–372. ISSN 0146-4116. © Allerton Press, Inc., 2013.
  36. Kropacheva M. S., Legalov A. I. Formal Verification of Programs in the Functional Data-flow Parallel Language. / Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 373–384. ISSN 0146-4116. © Allerton Press, Inc., 2013.
  37. Легалов А.И., Непомнящий О.В., Рыженко И.Н. Технология архитектурно-независимого синтеза сверхбольших интегральных схем. / Доклады АН ВШ РФ, No1 (22), 2014. С. 93-103.
  38. Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Отладка программ на функционально-потоковом параллельном языке Пифагор с подстановкой интервальных значений. / Ползуновский вестник, № 2. - 2013. С. 46-48.
  39. Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. / Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. – St. Petersburg, Russia. // Lecture Notes in Computer Science 7979, Springer, 2013. – Pp. 80-89.
  40. Васильев В.С., Легалов А.И., Постников А.И. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования // Системы. Методы. Технологии. 2013. №3(17). С. 106-111.
  41. Удалова Ю.В., Легалов А.И. Верификация функционально-потоковых параллельных программ методом индуктивных утверждений. / Доклады АН ВШ РФ, №2-3(23-24), 2014. С. 125-132.
  42. Ушакова М.С., Легалов А.И. Автоматизация формальной верификации программ на языке Пифагор. Моделирование и анализ информационных систем. 2015.;22(4):578-589. DOI:10.18255/1818-1015-2015-4-578-589.
  43. Легалов А.И. Языковая поддержка архитектурно-независимого параллельного программирования. // Языки программирования и компиляторы — 2017: труды конференции / Южный федеральный университет; под ред. Д.В. Дуброва. - Ростов-на-Дону: Изд-во ЮФУ, 2017. - С. 169-172.
  44. Легалов А.И., Васильев В.С., Матковский И.В. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании. / Труды XIX Всероссийской научной конференции «Научный сервис в сети Интернет» (18-23 сентября 2017 г., Новороссийск). - М.: ИПМ им. М.В. Келдыша, 2017. -- С. 341-350. ISBN 978-5-98354-037-8 doi:10.20948/abrau-2017. URL: http://keldysh.ru/abrau/2017/proc.pdf.
  45. Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ. / Труды ИСП РАН, том 29, вып. 5, 2017 г. С. 165-184.
  46. Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. (2018) A Toolkit for the Development of Data-Driven Functional Parallel Programmes. In: Sokolinsky L., Zymbler M. (eds) Parallel Computational Technologies. PCT 2018. Communications in Computer and Information Science, vol 910. Springer, Cham, pp 16-30. DOI https://doi.org/10.1007/978-3-319-99673-8_2.
  47. Васильев В.С., Легалов А.И. Оптимизация инварианта цикла в языке Пифагор. Моделирование и анализ информационных систем. 2018;25(4):347-357. https://doi.org/10.18255/1818-1015-2018-4-347-357
  48. Ушакова М.С., Легалов А.И. Верификация программ со взаимной рекурсией на языке Пифагор. Моделирование и анализ информационных систем. 2018;25(4):358-381. https://doi.org/10.18255/1818-1015-2018-4-358-381
  49. Непомнящий О.В., Рыженко И.Н., Легалов А.И. Методы, алгоритмы и программные инструменты архитектурно независимого высокоуровневого синтеза однокристальных цифровых систем. // «Суперкомпьютерные технологии (СКТ-2018)» Материалы 5-й Всероссийской научно-технической конференции. 17-22 сентября 2018 г. Дивноморское, Геленджик. - Изд-во Южного федерального университета. С. 104-109.
  50. Легалов А.И., Ушакова М.С. Особенности разработки и преобразования функционально-потоковых параллельных программ. / Суперкомпьютерные дни в России: Труды международной конференции (24-25 сентября 2018 г., г. Москва). – М.: Изд-во МГУ, 2018. С. 999-1000.
  51. Ushakova M.S., Legalov A.I. Verification of Programs with Mutual Recursion in Pifagor Language. / Automatic Control and Computer Sciences, 2018, Vol. 52, No. 7, pp. 850–866. ISSN 0146-4116. DOI: 10.3103/S0146411618070301
  52. Vasilev V.S., Legalov A.I. Loop-invariant Optimization in the Pifagor Language. / Automatic Control and Computer Sciences, 2018, Vol. 52, No. 7, pp. 843–849. ISSN 0146-4116. DOI: 10.3103/S0146411618070295
  53. Непомнящий О.В., Рыженко И.Н., Легалов А.И. Метод архитектурно-независимого высокоуровневого синтеза СБИС. // Известия ЮФУ. Технические науки. 2018, №8 (202), декабрь.
  54. Легалов А.И., Легалов И.А., Матковский И.В. Особенности семантики статически типизированного языка функционально-потокового параллельного программирования // Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). -- М.: ИПМ им. М.В.Келдыша, 2019. — С. 489-500. — URL: http://keldysh.ru/abrau/2019/theses/08.pdf doi:10.20948/abrau-2019-08.
  55. Alexander Legalov, Igor Legalov, Ivan Matkovskii. Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming - Scientific Services & Internet 2019. CEUR Workshop Proceedings, Vol-2543, pp. 274-284. DOI: 10.20948/abrau-2019-08.
  56. Легалов А.И., Легалов И.А., Матковский И.В. Статически типизированная версия языка функционально-потокового параллельного программирования // Параллельные вычислительные технологии – XIV международная конференция, ПаВТ’2020, г. Пермь, 31 марта – 2 апреля 2020 г. Короткие статьи и описания плакатов. Челябинск: Издательский центр ЮУрГУ, 2020. - С. 185-192.
  57. Легалов, А. И., Легалов, И. А., Матковский, И. В. Добавление статической типизации в язык функционально-потокового параллельного программирования. Электронные библиотеки, 23(4), 2020б 788-807. извлечено от https://elbib.ru/article/view/608. https://doi.org/10.26907/1562-5419-2020-23-4-788-807.
  58. Легалов А.И., Матковский И.В., Ушакова М.С., Романова Д.С. Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных. Моделирование и анализ информационных систем. 2020;27(2):164-179. https://doi.org/10.18255/1818-1015-2020-2-164-179
  59. Legalov Alexander, Romanova Darya. Asynchronous-streamed model for describing dynamically changing parallelism. Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments Irkutsk, Russia, July 6-7, 2020. CEUR Workshop Proceedings. Vol-2638, pp. 181-190.
  60. Васильев В.С., Легалов А.И., Зыков С.В. Трансформация функционально-потоковых параллельных программ в императивные. Моделирование и анализ информационных систем. 2021;28(2):198-214. https://doi.org/10.18255/1818-1015-2021-2-198-214
  61. Legalov A.I., Matkovskii I.V., Ushakova M.S., Romanova D.S. Dynamically Changing Parallelism with Asynchronous Sequential Data Flows. / Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 636–646. ISSN 0146-4116. DOI: 10.3103/S0146411621070105
  62. Рыженко И.Н., Непомнящий О.В., Легалов А.И., Шайдуров В.В. Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС. Моделирование и анализ информационных систем. 2022;29(1):60-72. https://doi.org/10.18255/1818-1015-2022-1-60-72
  63. Romanova D.S., Nepomnyashchiy O.V., Ryzhenko I.N., Legalov A.I., Sirotinina N.Y. Parallelism reduction method in the high-level VLSI synthesis implementation. Trudy ISP RAN/Proc. ISP RAS, vol. 34, issue 1, 2022, pp. 59-72. DOI: 10.15514/ISPRAS-2022-34(1)-5
  64. Методы редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем / Романова Д. С.,  Непомнящий О. В.,  Легалов А. И., Рыженко И.Н., Сиротинина Н.Ю. // "Программная инженерия". Москва: «Новые технологии», 2022, Том 13, № 6, –  С. 259-271. DOI: 10.17587/prin.13.259-271.259-271
  65. Непомнящий О.В., Легалов А.И., Рыженко И.Н.  Методы редукции параллелизма в процессе высокоуровневого синтеза СБИС // Многопроцессорные вычислительные и управляющие системы. Материалы Всероссийской научно-технической конференции, посвященной 100-летию академика РАН А.В. Каляева, Таганрог, 2022г., с. 30-34.
  66. Vasilev V. S., Legalov A. I., Zykov S. V. Transformation of Functional Dataflow Parallel Programs into Imperative Programs / Automatic Control and Computer Sciences, 2022, Vol. 56, No. 7, pp. 815–827. ISSN 0146-4116. DOI: 10.3103/S0146411622070239
  67. Легалов А.И., Чуйкин Н.К. Поддержка статической типизации в функционально–потоковой модели параллельных вычислений // Параллельные вычислительные технологии – XVII всероссийская конференция с международным участием, ПаВТ'2023, г. Санкт-Петербург, 28–30 марта 2023 г. https://doi.org/10.14529/pct2023. C. 173–185.
  68. Legalov, A. I., Chuykin, N. K. (2023). The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming. Supercomputing Frontiers and Innovations, 10(2), 32–45. https://doi.org/10.14529/jsfi230203