УДК: 004.451.2

Расчетный подход к статическому анализу программного кода на предмет наличия состояний гонки

Н. В. Заборовский, аспирант, А. Г. Тормасов, д-р физ.-мат. наук, проф., Московский физико-технический институт (государственный университет), e-mail: turnik@mail.ru

Существуют различные методики анализа корректности многопоточных алгоритмов. Предложен и обоснован новый подход к проблеме поиска состояний гонки, основанный на статическом анализе программного кода и анализе вспомогательных конструкций, включающих небольшую вычислительную часть. .

Ключевые слова: статический анализ, состояние гонки, многопоточные алгоритмы

Стр. 15–20