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

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

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

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

VAL комментирует книгу «Пушкинская речь» (Достоевский Федор Михайлович):

Сайт просто супер!!!!! Нигде нет такого количества произведений моего любимого Достоевского сразу и бесплатно!!!!!

незнакомка комментирует книгу «Огненные врата» (Дмитрий Емец):

а на шампунь тебе не кинуть

Алекс комментирует книгу «Мириэм» (Капоте Трумен):

Мистический рассказ "Мириэм",немного пугающий и привлекающий своей неясностью(кто эта девочка Мириэм?зачем пришла?призрак или игра воображения героини?)класс но было бы если б его экранизировали,отличная кроткомеетражка получилась бы!

константин комментирует книгу «Люди меча» (Прозоров Александр Дмитриевич):

Книги очень хорошие

Олёна комментирует книгу «Солнце полуночи» (Майер Стефани):

Это не следующая часть, это первая часть, но рассказанная от лица Эдварда. Я бы рекомендовала читать одновременно с первой частью

Гулим комментирует книгу «Алгебра любви» (Мария Чепурина):

а я купила эту книгу ваще отпад))

Злючка комментирует книгу «Алые паруса» (Грин Александр):

мне эта книга очень нравится а если комуто нет то объясните почему

Freddy комментирует книгу «Точка обмана» (Браун Дэн):

Последние 150 страниц дочитывал уже глубокой ночью, не мог оторваться. Кто свой, кто - враг, - ни за что не угадать. Ничуть не жалею, что купил.

Светлана комментирует книгу «Костя+ника» (Крюкова Тамара):

Хорошая книга. Берет за душу.

Станислав комментирует книгу «Доктор Живаго» (Пастернак Борис Леонидович):

Еле-еле-еле дочитываю...!) Проза и Пастернак - не совместимы...!) Друг за другом прочитал - "Хождение по мукам", "Тихий Дон" и "Живаго" - все об одном периоде, но последний - это... это и правда УГ...!) из 20 закладок в книге, намеки на мысли и просто меткие фразы - штук 5ть...!) я вообще не понял, почему главный герой, собственно "герой". Он хотел показать, что такой аморфной массой, потакающей только своим прихотям, было все поколение - так нет, были и другие... что он хотел донести?! фиг его...))))

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

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

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

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

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

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

Жанры