Архив выпусков 2012-2015
Библиографическое описание:
БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР // Вестник БГУ. Математика, информатика. - 2019. №4. . - С. 57-64.
Заглавие:
БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР
Финансирование:
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, грант № 17-07-00288.
Коды:
Аннотация:
Язык функционально-потокового параллельного программирования Пифагор является оригинальным языком программирования, его ключевые особенности — это отсутствие переменных и операторов цикла, поддержка параллелизма на уровне операций, выполнение операций по готовности данных. Инструментальные средства языка Пифагор развиваются, разрабатывается репозиторий функций. Реализована библиотека математических функций, по функциональности сравнимая с библиотекой math.h языка С. Вычисление функций базируется на рядах Маклорена и формулах приведения. Часть математических функций реализована в двух версиях, одна из которых выполняет быстрые и менее точные вычисления, а другая предполагает точные и более медленные вычисления. Реализация библиотеки математических функций для языка Пифагор выполнена впервые, вычисление математических функций поддерживает возможности распараллеливания на уровне операций. Математические функции включены в открытый репозиторий функций языка Пифагор, тогда как во многих языках программирования математические библиотеки предполагают только функциональные вызовы, не открывая разработчику те математические методы, алгоритмы и программный код, с помощью которых они производят вычисления.
Ключевые слова:
функциональное программирование; потоковое программирование; параллельное программирование; архитектурно-независимое про- граммирование; параллелизм на уровне операций; алгоритмы математических функций; приближенные вычисления; ряды Маклорена; репозиторий функций; информационно-управляющий граф.
Список литературы:
Легалов А. И., Ушакова М. С. Особенности разработки и преобразования функционально-потоковых параллельных программ // Суперкомпьютерные дни в России: тр. междунар. конф. М., 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.
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.
Статья.pdf