maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-4-48-58mais-40Research ArticleОригинальные статьиArticlesПреобразование хвостовых рекурсий в функционально-потоковых параллельных программахTail Recursion Transformation in Functional Dataflow Parallel ProgramsЛегаловАлександр ИвановичLegalovA. I.

профессор

профессор

legalov@mail.ruНепомнящийОлег ВладимировичNepomnyaschyO. V.

профессор

профессор

legalov@mail.ruМатковскийИван ВасильевичMatkovskyI. V.

аспирант

аспирант

legalov@mail.ruКропачеваМария СергеевнаKropachevaM. S.

аспирант

аспирант

legalov@mail.ruСибирский федеральный университетРоссияСибирский федеральный университетRussian Federation2012280220151944858Copyright © Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С., 20152015Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С.Legalov A.I., Nepomnyaschy O.V., Matkovsky I.V., Kropacheva M.S.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/40

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

The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed. It is considered how these transformations are affected by the usage of asynchronous lists, the return of delayed lists and the variation of the data arrival pace relative to the time of its processing. These transformations allow us to generate multiple programs with static parallelism based on one and the some functional dataflow parallel program.

функционально-потоковое параллельное программированиехвостовая рекурсияпреобразование программязык программирования Пифагорfunctional dataflow parallel programmingtail recursionprograms transformationPifagor programming languageгрант в рамках ФЦП «Научные и научно-педагогические кадры инновационной России»ReferencesЛегалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». 2011. Том 4, №2. С. 213–224.Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». 2011. Том 4, №2. С. 213–224.Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ // Научный вестник НГТУ. 2008. №3 (32). С. 111–120.Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ // Научный вестник НГТУ. 2008. №3 (32). С. 111–120.Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных // Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С. 1272–1281. (Электронное издание)Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных // Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С. 1272–1281. (Электронное издание)

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