Выявление состояний гонки с помощью графа совместного исполнения потоков
Авторы:
Аннотация:
Предложен способ проверки наличия состояний гонки в потоках, использующих разделяемую память. Он применим, когда некорректную работу программы можно определить по итоговому состоянию исполнения потоков. В таких случаях он позволяет гарантированно обнаруживать все состояния гонки, не требуя при этом полного перебора вариантов совместного исполнения потоков программы.