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

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

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

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

Дина комментирует книгу «Вольный стрелок» (Серегин Михаил):

Суперский боевичок

Вал комментирует книгу «Чего не хочет женщина» (Дышев Андрей):

В формате DOC в архиве под эти названием другое произведение - повесть "Приколист". В других форматах не смотрел.

Иван комментирует книгу «Звезды как пыль» (Азимов Айзек):

Во многих книгах очень много грамматических ошибок, многие книги недоступны, многие не имеют аннотации...

oksana комментирует книгу «Сердца четырех» (Сорокин Владимир Георгиевич):

Гадкая и мерзкая книга. Пе***илия, изврат....На месте соответствующих органов и врачей я бы понаблюдала за автором в стенах психушки...у него явные проблемы и комплексы..

Маша комментирует книгу «Авангардизьму, значит, хочешь - да пожалуйста !» (Воронцов Павел):

горькая вода

Пират-ка комментирует книгу «Зимние костры» (Линдсей Джоанна):

Прочитала на одном дыхании в надежде, что Бренна отомстить за смерть родных, ан нет, лубоф назрела и спутала все планы. кстати можно было и без эр***ческих подробностей, а то и не предложишь никому почитать и сам будешь молчать, что читал. При "нечего делать" можно читать.

Олег комментирует книгу «Операция «Экскалибур»» (Кейт Уильям):

Спасибо, за простоту скачивания, до Вас искал везде, в нужном формате не нашёл, ещё раз спасибо.

Ольга комментирует книгу «Любовь: секреты удачного замужества, традиции, проверенные временем» (Михаил Комлев):

суперинтересная книга! много мудрых и полезных советов от Седы Варданян!

анна комментирует книгу «Антистерва» (Берсенева Анна):

название заинтриговало )

Оля комментирует книгу «Мечтательница» (Воробей Вера и Марина):

подскажите как его скачать?

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

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

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

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

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

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

Жанры