Современная электронная библиотека ModernLib.Net

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

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

Случайные комментарии

Акбар комментирует книгу «Ромео и Джульетта» (Шекспир Уильям):

Хорошая книга

Наталья комментирует книгу «Женщина-трансформер» (Нестерина Елена Вячеславовна):

Бесподобная книга, сентиментальная, девушки любители поплакать и посмеяться одновременно, то это ваш домашний роман. После протчтения вся московская серость позади)))

григорий комментирует книгу «Самозащита от А до Я» (Александр Игоревич Травников):

отличная книга

Александр комментирует книгу «Нисхождение» (Селюкин Александр Юрьевич):

Изумительно

викториия комментирует книгу «Тимур и его команда» (Гайдар Аркадий):

мне очень понравился этот рассказ

юра комментирует книгу «Сердце пирата (Космический пират Крокс - 2)» (Емец Дмитрий):

Сердце пирата (Космический пират Крокс 2)

Елена комментирует книгу «Победа по очкам» (Виктор Пронин):

Отличная серия книг. Читается в захлеб! Молодец, Виктор! Ждем продолжения. Жалко расставаться с Халандовским )!

прол комментирует книгу «Закон случайностей» (Дарья Лаврова):

а как эту книгу читать77777????

putnik комментирует книгу «Возвращение к звездам [Возвращение на звезды, Угроза из космоса]» (Гамильтон Эдмонд Мур):

дочитал то, что начал 16 лет назад. Орфографические ошибки напрягают

Serafim комментирует книгу «Кратчайшая история времени» (Хокинг Стивен):

Для умственного развития и расширения кругозора очень советую почитать.Самое главное очень доступно написанно.

Информация для правообладателей

ЭЛЕКТРОННАЯ БИБЛИОТЕКА ModernLib.Net

Н. В. Заборовский - Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки, скачать книгу бесплатно

Популярные авторы

Популярные книги

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

Жанры