В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
Купить книгу «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки»
Вы не вошли на сайт или не зарегистрированы
Если Вы зарегистрированы на сайте - введите Ваш логин и пароль, используя ссылку вверху страницы. Если Вы не хотите регистрироваться - логин и пароль покупателя будут Вам присвоены автоматически.
Отзыв на книгу «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки»
Благодарим за покупку!
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Похожие книги