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

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Автор книги: id книги: 74549     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 96 руб.     (1,04$) Купить и читать книгу Купить бумажную книгу Электронная книга Жанр: Математика Правообладатель и/или издательство: НОУ «МФПУ «Синергия» Дата публикации, год издания: 2011 Дата добавления в каталог КнигаЛит: Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.

Описание книги

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

Добавление нового отзыва

Комментарий Поле, отмеченное звёздочкой  — обязательно к заполнению

Отзывы и комментарии читателей

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