|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Миронов А.М.
- Журнал: Моделирование и анализ информационных систем
- Том: 28
- Номер: 4
- Год издания: 2021
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Первая страница: 394
- Последняя страница: 412
- DOI: 10.18255/1818-1015-2021-4-394-412
- Аннотация: В работе излагается новая математическая модель параллельных программ, на базе которой можно в частности верифицировать параллельные программы, представленные на некотором подмножестве программного интерфейса параллельного программирования MPI. Данная модель основана на понятиях последовательного и распределенного процесса. Параллельная программа моделируется распределенным процессом, в котором последовательные процессы взаимодействуют путем асинхронной передачи и приема сообщений через каналы. Главным преимуществом изложенной модели является возможность моделирования и верификации параллельных программ, порождающих неопределенное число последовательных процессов. Изложенная модель проиллюстрирована применением к верификации MPI программы перемножения матриц.
- Добавил в систему: Миронов Андрей Михайлович