0

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

152 руб.
Купить на сайте ЛитРес

Издатель: НОУ «МФПУ «Синергия»

Серия: Прикладная информатика. Научные статьи

Год выхода: 2011

ISBN:

Информация о книге:
страниц: ~0
знаков: ~0
Жанры: Математика, Программирование
Рейтинг: 0.000
Голосов: 0

Ваша оценка
Поделиться оценкой:
Поделиться с помощью Вконтакте Поделиться с помощью Facebook Поделиться с помощью Twitter
Добавлена: 30.06.2015
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.

Похожие книги

Отзывы читателей (0)

Подписаться на комментарии к этой книге