Добавление статической типизации в язык функционально-потокового параллельного программирования

Main Article Content

Александр Иванович Легалов
Игорь Александрович Легалов
Иван Васильевич Матковский

Аннотация

Предложено добавить статическую систему типов в функционально-потоковую модель параллельных вычислений и разработанный на ее основе язык функционально-потокового параллельного программирования. Использование статической типизации повышает возможность трансформации функционально-потоковых параллельных программ в программы, выполняемые на современных параллельных вычислительных системах. Предложены языковые конструкции. Описаны их синтаксис и семантика. Отмечена необходимость использования принципа единственного присваивания при формировании хранилищ данных конкретного типа. Рассмотрены особенности инструментальной поддержки предлагаемого подхода.

Article Details

Как цитировать
Легалов, А. И., Легалов, И. А., & Матковский, И. В. (2020). Добавление статической типизации в язык функционально-потокового параллельного программирования. Электронные библиотеки, 23(4), 788-807. https://doi.org/10.26907/1562-5419-2020-23-4-788-807
Биографии авторов

Александр Иванович Легалов

Профессор Сибирского федерального университета. Сфера научных интересов – программная инженерия, системное программирование, параллельное программирование, языки и системы программирования, компиляторы

Игорь Александрович Легалов

Доцент Сибирского федерального университета. Сфера научных интересов – языки программирования, компиляторы, web программирование.

Иван Васильевич Матковский

Старший преподаватель Сибирского федерального университета. Сфера научных интересов –системное программирование, параллельное программирование, языки программирования, компиляторы

Библиографические ссылки

Левин И.И., Дордопуло А.И., Гудков В.А. Программирование реконфигурируемых вычислительных узлов на языке COLAMO. Учебное пособие. Таганрог: Изд-во ТТИ ЮФУ, 2011. 114 с.

Дордопуло А.И., Левин И.И. Ресурсонезависимое программирование гибридных реконфигурируемых вычислительных систем // Суперкомпьютерные дни в России: Труды международной конференции (25–26 сентября 2017 г., г. Москва). М.: Изд-во МГУ, 2017. C. 714–723.

Kasyanov V. Sisal 3.2: functional language for scientific parallel programming // Enterp. Inf. Syst. 2013. V. 7. No 2. P. 227–236.

Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.

Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. A Toolkit for the Development of Data-Driven Functional Parallel Programmes // Parallel Computational Technologies. PCT 2018. Communications in Computer and Information Science, vol 910. Springer, Cham. P. 16–30.

Vasilev V.S., Legalov A.I. Loop-invariant Optimization in the Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 843849.

Ushakova M.S., Legalov A.I. Verification of Programs with Mutual Recursion in Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 850–866.

Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2). С. 213–224.

Legalov A.I., Legalov I.A., Matkovsky I.V. Instrumental support of the evolutionary expansion of programs using a incremental development // 20th Conf. Scientific Services and Internet, SSI 2018; Novorossiysk-Abrau; Russian Federation; 17–22 September 2018. CEUR Workshop Proc. V. 2260. 2018. P. 346–359.

Легалов А.И., Редькин А.В., Матковский И.В. Функционально-потоковое параллельное программирование при асинхронно поступающих данных // Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции, Нижний Новгород, 30 марта – 3 апреля 2009 г. Челябинск: Изд. ЮУрГУ, 2009. С. 573–578.

Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования // Научный вестник НГТУ. 2004. № 3 (18). С. 63–72.

Hoare C.A.R. An axiomatic basis for computer programming // Communications of the ACM. 1969. V. 10. No 12. P. 576–585.

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. P. 80–89.

Ushakova M.S., Legalov A.I. Automation of Formal Verification of Programs in the Pifagor Language // Modeling and Analysis of Information Systems. 2015. V. 22. No 4. P. 578–589.



Наиболее читаемые статьи этого автора (авторов)