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

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

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



Программные системы: теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти






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


Программные системы: теория и приложения, 2017, том 8, выпуск 4, страницы 221–224
DOI: https://doi.org/10.25209/2079-3316-2017-8-4-221-244
(Mi ps287)
 

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

Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем

Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ

А. И. Адамовичa, Анд. В. Климовb

a Институт программных систем им. А. К. Айламазяна РАН
b Институт прикладной математики им. М. В. Келдыша РАН
Список литературы:
Аннотация: Одна из основных проблем, делающих параллельное программирование ненадежным, трудозатратным, подверженным ошибкам, а программы трудно отлаживаемыми,–– недетерминированность процессов и результатов вычислений, когда несколько исполнений одной программы с одинаковыми входными данными могут выдавать разные результаты из-за другого порядка взаимодействия параллельных процессов. В связи с бурным ростом сложности программ для суперкомпьютеров, в последнее десятилетие приобретает популярность и становится всё более актуальной идея параллельных вычислений с детерминированностью, гарантированной языком и системой программирования. В статье анализируется проблема, как сделать параллельное программирование как можно более детерминированным, и дается обзор некоторых подходов к ее решению. Также обсуждается задача разработки системы, предоставляющей возможность писать как детерминированный, так и недетерминированный код с гарантиями прикладному программисту, что его программа будет детерминированной.
Ключевые слова и фразы: модели параллельных вычислений, детерминированные программы, функциональное программирование, объектно-ориентированное программирование.
Финансовая поддержка Номер гранта
Российская академия наук - Федеральное агентство научных организаций АААА-А17-117040610375-5
Исследование выполнено в рамках НИР (госзадание ФАНО РОССИИ, регистрационный номер АААА-А17-117040610375-5).
Поступила в редакцию: 11.12.2017
Подписана в печать : 28.12.2017
Тип публикации: Статья
УДК: 519.685+519.682.2+004.032.22
Образец цитирования: А. И. Адамович, Анд. В. Климов, “Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ”, Программные системы: теория и приложения, 8:4 (2017), 221–224
Цитирование в формате AMSBIB
\RBibitem{AdaKli17}
\by А.~И.~Адамович, Анд.~В.~Климов
\paper Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ
\jour Программные системы: теория и приложения
\yr 2017
\vol 8
\issue 4
\pages 221--224
\mathnet{http://mi.mathnet.ru/ps287}
\crossref{https://doi.org/10.25209/2079-3316-2017-8-4-221-244}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ps287
  • https://www.mathnet.ru/rus/ps/v8/i4/p221
  • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Программные системы: теория и приложения
    Статистика просмотров:
    Страница аннотации:269
    PDF полного текста:68
    Список литературы:28
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024