Modeling of parallel program synchronization primitives
This article is devoted to the problem of verifying parallel programs that may contain special types of errors associated with the synchronization of parallel executed threads and access to shared memory. Such errors include deadlocks and data races. There is a division of parallel program verificat...
Сохранить в:
| Главные авторы: | , , |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
Yaroslavl State University
2025-06-01
|
| Серии: | Моделирование и анализ информационных систем |
| Предметы: | |
| Online-ссылка: | https://www.mais-journal.ru/jour/article/view/1938 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|