Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Моделирование и анализ информационных систем, 2020, том 27, номер 2, страницы 164–179
DOI: https://doi.org/10.18255/1818-1015-2020-2-164-179
(Mi mais711)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Theory of computing

Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных

А. И. Легалов, И. В. Матковский, М. С. Ушакова, Д. С. Романова

Сибирский федеральный университет, 660041, Красноярский край, г. Красноярск, пр. Свободный, 79
Список литературы:
Аннотация: Предлагается статически типизированная версия модели функционально-потоковых параллельных вычислений, которая за счет использования асинхронных последовательных потоков обеспечивает представление динамически изменяющегося параллелизма. Рассмотрены особенности синтаксиса и семантики статически типизированного языка функционально-потокового параллельного программирования Smile, обеспечивающие поддержку асинхронных последовательных потоков. Основная идея подхода базируется на использовании концепции взаимодействующих последовательных процессов Т. Хоара применительно к управлению по готовности данных. Предполагается, что готовность данных сопровождается выдачей управляющих сигналов, информирующих процессы о свершении тех или иных событий. Отличительной особенностью подхода является включение в модель специальных асинхронных контейнеров, которые могут порождать события по частичному заполнению. Этими контейнерами являются поток и рой, каждый из которых имеет свою специфику. Поток используется для обработки данных одного типа, поступающих последовательно и асинхронно в произвольные промежутки времени. Размерность поступающих данных изначально неизвестна, поэтому завершение обработки осуществляется по признаку конца потока. Рой используется для описания независимых данных одного типа, над которыми возможно выполнение массовых параллельных операций. В отличие от потока, его размерность фиксирована и известна заранее. В работе описаны общие принципы организации асинхронных последовательных потоков с произвольным поступлением данных. Рассматривается использование потоков и роев в различных ситуациях. Предлагаются языковые конструкции, позволяющие описывать работу с роями и потоками и особенности их применения. Представлены примеры функций, при реализации которых использованы различные подходы к описанию параллелизма: рекурсивная обработка асинхронных потоков, обработка потоков при недетерминированном и упорядоченном выполнении операций, прямое и ссылочное обращение к элементам потоков и роев, конвейеризация вычислений. Дается предварительная оценка параллелизма в зависимости от временных соотношений между темпом поступления данных и скоростью их обработки. Предложенные методы могут быть использованы при разработке перспективных языковых и инструментальных средств архитектурно-независимого параллельного программирования.
Ключевые слова: параллельные вычисления, асинхронные вычисления, статическая типизация, динамически изменяющийся параллелизм.
Поступила в редакцию: 27.05.2020
Исправленный вариант: 08.06.2020
Принята в печать: 10.06.2020
Тип публикации: Статья
УДК: 004.042
MSC: 68N15, 68Q10, 68Q85
Образец цитирования: А. И. Легалов, И. В. Матковский, М. С. Ушакова, Д. С. Романова, “Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных”, Модел. и анализ информ. систем, 27:2 (2020), 164–179
Цитирование в формате AMSBIB
\RBibitem{LegMatUsh20}
\by А.~И.~Легалов, И.~В.~Матковский, М.~С.~Ушакова, Д.~С.~Романова
\paper Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных
\jour Модел. и анализ информ. систем
\yr 2020
\vol 27
\issue 2
\pages 164--179
\mathnet{http://mi.mathnet.ru/mais711}
\crossref{https://doi.org/10.18255/1818-1015-2020-2-164-179}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais711
  • https://www.mathnet.ru/rus/mais/v27/i2/p164
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:103
    PDF полного текста:43
    Список литературы:17
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024