Статически типизированная версия языка функционально-потокового параллельного программирования : доклад, тезисы доклада | Научно-инновационный портал СФУ

Статически типизированная версия языка функционально-потокового параллельного программирования : доклад, тезисы доклада

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Параллельные вычислительные технологии (ПаВТ'2020); Пермь; Пермь

Год издания: 2020

Ключевые слова: парадигмы программирования, параллельное программирование, функционально-потоковое параллельное программирование, статическая типизация, модели параллельных вычислений, полиморфизм

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

Ссылки на полный текст

Издание

Журнал: Параллельные вычислительные технологии (ПаВТ'2020)

Номера страниц: 185-192

Издатель: Издательский центр ЮУрГУ

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.