Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки - Н. В. Заборовский
| Автор: | Н. В. Заборовский |
| Издательство: | НОУ «МФПУ «Синергия» |
| Серия: | Прикладная информатика. Научные статьи |
| Жанр произведения: | Математика |
| Год издания: | 2011 |
| isbn: |
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.