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

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

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

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

серж комментирует книгу «Жизнь и необычайные приключения солдата Ивана Чонкина. Перемещенное лицо» (Войнович Владимир Николаевич):

Да, очень интересно! Солдат Швейк отдыхает!

надя комментирует книгу «Легенды и мифы Древней Греции» (Кун Николай Альбертович):

молодец, но я не верю

Polly комментирует книгу «Лесные тайнички (Рассказы и сказки)» (Сладков Николай):

Я не нашла то,что искала.

Ежевика комментирует книгу «Опасная тропа» (Хантер Эрин):

Кто может сказать где скачать 3,4 циклы

oLa комментирует книгу «Рыцарь Смерти» (Дмитрий Распопов):

Это самая лучшая книга!Автор просто молодец!и душевная,и захватывающая,читала с удовольствием!Спасибо Автору!

Юрий комментирует книгу «Тайный советник вождя» (Успенский Владимир Дмитриевич):

... кратко, но полно

Муся777 комментирует книгу «Приключения Пиноккио» (Коллоди Карло):

Отлично!!!

олеся комментирует книгу «Чтец» (Шлинк Бернхард):

Мне очень понравилось!!! Самая классная книга из тех, что я читала. Советую всем.

Катрин комментирует книгу «Игра престолов. Книга I» (Мартин Джордж):

Книга поглощает. Мир созданный Мартином ничем не уступает миру Толкиена. Второй сезон немного расходится с книгой, не сказать, что это плохо. Иначе было бы скучно. Не сказать, что сюжет прям уж так растянут, все идет своим чередом. И каждый герой по своему переживает все повороты событий Семи Королевств. А книги читайте, книги это наше все!

александра комментирует книгу «Радуга для друга» (Михаил Самарский):

эти книги класс))))

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

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

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

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

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

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

Жанры