Библиотека математических функций для языка функционально-потокового параллельного программирования Пифагор
Автор: Удалова Юлия Васильевна
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Информационные системы и технологии
Статья в выпуске: 4, 2019 года.
Бесплатный доступ
Язык функционально-потокового параллельного программирования Пифагор является оригинальным языком программирования, его ключевые особенности - это отсутствие переменных и операторов цикла, поддержка параллелизма на уровне операций, выполнение операций по готовности данных. Инструментальные средства языка Пифагор развиваются, разрабатывается репозиторий функций. Реализована библиотека математических функций, по функциональности сравнимая с библиотекой math.h языка С. Вычисление функций базируется на рядах Маклорена и формулах приведения. Часть математических функций реализована в двух версиях, одна из которых выполняет быстрые и менее точные вычисления, а другая предполагает точные и более медленные вычисления. Реализация библиотеки математических функций для языка Пифагор выполнена впервые, вычисление математических функций поддерживает возможности распараллеливания на уровне операций. Математические функции включены в открытый репозиторий функций языка Пифагор, тогда как во многих языках программирования математические библиотеки предполагают только функциональные вызовы, не открывая разработчику те математические методы, алгоритмы и программный код, с помощью которых они производят вычисления.
Функциональное программирование, потоковое программирование, параллельное программирование, архитектурно-независимое программирование, параллелизм на уровне операций, алгоритмы математических функций, приближенные вычисления, ряды маклорена, репозиторий функций, информационно-управляющий граф
Короткий адрес: https://sciup.org/148308951
IDR: 148308951 | DOI: 10.18101/2304-5728-2019-4-57-64
Список литературы Библиотека математических функций для языка функционально-потокового параллельного программирования Пифагор
- Легалов А. И., Ушакова М. С. Особенности разработки и преобразования функционально-потоковых параллельных программ // Суперкомпьютерные дни в России: тр. междунар. конф. М., 2018. С. 999-1000.
- A toolkit for the development of data-driven functional parallel programmes / А. И. Легалов [и др.] // Communications in Computer and Information Science. 2018. Т. 910. С. 16-30. DOI: 10.1007/978-3-319-99673-8_2
- Ушакова М. С., Легалов А. И. Верификация программ со взаимной рекурсией на языке Пифагор // Моделирование и анализ информационных систем. 2018. Т. 25, № 4 (76). С. 358-381. DOI: 10.18255/1818-1015-2018-4-358-381
- Васильев В. С., Легалов А. И. Оптимизация инварианта цикла в языке Пифагор // Моделирование и анализ информационных систем. 2018. Т. 25, № 4 (76). С. 347-357. DOI: 10.18255/1818-1015-2018-4-347-357
- Инструментальная поддержка создания и трансформации функциональнопотоковых параллельных программ / А. И. Легалов [и др.] // Труды Института системного программирования РАН. 2017. Т. 29, № 5. С. 165-184. DOI: 10.15514/ISPRAS-2017-29(5)-10
- Удалова Ю. В., Легалов А. И. Верификация функционально-потоковых параллельных программ методом индуктивных утверждений // Доклады Академии наук высшей школы Российской Федерации. 2014. № 2-3 (23-24). С. 125-132.
