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...
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Yaroslavl State University
2025-06-01
|
| Col·lecció: | Моделирование и анализ информационных систем |
| Matèries: | |
| Accés en línia: | https://www.mais-journal.ru/jour/article/view/1938 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|