- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Новости
18 Декабря, 2025
Открытая конференция ИСП РАН 2025: итоги и ключевые темы
24 Ноября, 2025
Конкурс на замещение должности
19 Ноября, 2025
Конкурс на замещение должности
Препринты Института системного программирования РАН, Препринт 7, 2005 г.
М.А. Посыпкин, А.А. Соколов. Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействующих с помощью передачи сообщений. Стр. 1-56.
Аннотация
Обзор посвящен основным теоретическим концепциям, алгоритмам и методам автоматизированного анализа поведения параллельных программ, направленным на выявление ошибочных ситуаций. Также рассматриваются различные инструментальные средства, поддерживающие такой анализ. Производится сравнение существующих подходов и программных продуктов и делается общий вывод о состоянии дел в вопросах автоматизированной отладки параллельных программ.
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
Понятно