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

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

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

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

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

Спасибо

аня комментирует книгу «Вера изгоев» (Эльтеррус Иар):

книга грусная но я реккоммендую!!!

1111 комментирует книгу «Греховные тайны» (Хейз Мэри-Роуз):

очень увлекательная книга,читайте не пожалеете жизненные истории о судьбе 3-ох сестер

изгой комментирует книгу «Пожиратели мертвых (13-й воин)» (Крайтон Майкл):

Смотрел фильм "13-й воин",который произвел на меня неизгладимое впечатление. Теперь хотел бы прочесть книгу,ведь то что в книге - трудно уместить в фильм. Спасибо за внимание,и за возможность скачать данное произведение. Всем читателям и поклонникам сайта, рекомендую.

байрамов а.р.173отряд.спецназа. комментирует книгу «Спецназ ГРУ в Афганистане» (Сергей Баленко):

желаю здоровья всем-тем,кто постояно сталкиваються экстремальными случаями.

ICE-Devushka комментирует книгу «Пир стервятников» (Мартин Джордж):

Огромное спасибо! Очень удобная скачка. Книги просто супер!

tatiana комментирует книгу «Пять рек жизни» (Ерофеев Виктор Владимирович):

Вы, что совсем офигели? Он очень рано начал стадать старческим маразмом. Я раньше его очень любила, много читала, а сейчас, может быть есть философские мысли, но в основном в мозгах только се*с (не выражаюсь матом) это похоже на задатки старческого маразма "ВЕЛИКОГО ПИСАТЕЛЯ". Извините, на мой взгляд, я читала В. Еровеева раньше с большим удовольствием, - "Пять рек жизни" - полное де**мо.

ильнур комментирует книгу «Земля смерти» (Вебер Дэвид Марк):

ну очень интересная книга! Читаю 2 раз

антон комментирует книгу «Легкий способ бросить курить» (Карр Аллен):

Привет всем, слушал Алена Кара. Бросил курить год назад, до сих пор не тянет!!! Очень рекомендую!

Еля комментирует книгу ««Никогда не ешьте в одиночку» и другие правила нетворкинга» (Кейт Феррацци):

Эта книга совсем не о том, как в одиночестве завтракать обедать и ужинать... Книга о построении связей в жизни и бизнесе.

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

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

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

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

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

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

Жанры