Гниденко А.С., Гниденко И.Г.
Алгоритм верификации параллельных вычислений
Балтийский государственный технический университет
Санкт-Петербургский государственный инженерно-экономический университет
This work is concerned about the problem of parallel algorithms verification in order to ensure the absence of errors in synchronizing the parallel branches
Keywords: VERIFICATION, PARALLEL ALGORITHM, PARALLEL BRANCH, RACE CONDITIONS, SHARED RESOURCE
Эта работа посвящена проблеме верификации параллельных алгоритмов с целью исключить ошибки синхронизации параллельных ветвей.
Ключевые слова: ВЕРИФИКАЦИЯ, ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ, ПАРАЛЛЕЛЬНАЯ ВЕТВЬ, СОСТОЯНИЯ ГОНКИ, РАЗДЕЛЯЕМЫЙ РЕСУРС