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

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

Автор: Н. В. Заборовский
Жанр: Математика
Серия: Прикладная информатика. Научные статьи
Аннотация:

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

     

     

     



    Извините, данная книга недоступна в связи с жалобой правообладателя.

 

 

Ваш комментарий:

 
 

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

Леонид Самойлович Аргайл комментирует книгу «Андропов. 7 тайн генсека с Лубянки» (Семанов Сергей Николаевич):

Прекрасная книга! Тяжеловатый язык, зато еще один пример прохождения через российский фильтр. Вы знаете, что в России все государственные деятели, хотели они того или нет, проходили через фильтр, который отцеживал исключительно подлецов и подонков.

николай комментирует книгу «Стоп! Алкоголь!» (Авторов Коллектив):

пью как перестать

Читатель комментирует книгу «Меч Без Имени» (Белянин Андрей Олегович):

Такого отстоя не было за всю историю литературы и за всю историю отстоя!

Анютка комментирует книгу «Уроки любви» (Уилсон Жаклин):

Книги Жаклин Уилсон все классные, я от них угораю. Так зачитываюсь, что за день прочитать могу...Вобще книги СУПЕРСКИЕ!

Лена комментирует книгу «Искусство любить» (Фромм Эрих):

Обожаю все его книги, они очень точно определяют суть

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

Весь цикл "Песнь Льда и Пламени" дико потряс меня и ошеломил - своей суровостью, непредсказуемостью, прямотой. Конечно, сперва был сериал "Игра престолов", после него уже начал читать цикл. Джордж Мартин - гениальнейший современный фантаст, не побоюсь даже сказать, что он превзошел Толкина, так как история Профессора слишком уж линейна. У Мартина же практически нет полностью отрицательных или положительных персонажей (за исключением, быть может, Рамси и Джоффри), каждый характер раскрыт, и по ходу действия заставляет менять к нему свое отношение (самый яркий пример - Джейме). С этого цикла началось мое увлечение "темным фэнтези".

Настя комментирует книгу «ГИА 2013. Математика. Тренировочные задания. 9 класс» (В. В. Мирошин):

всё класно я подготовилась на отлично!!!! )))

Юрий комментирует книгу «Волшебный дар» (Абдуллаев Чингиз Акифович):

Только у Абдулаева вы можете прочесть, что посреди океана сброшенный для выживания будущий агент Интерпола принимает обломок пальмы за акулу! (Автор никак не может понять и объяснить читателям, ОТКУДА ПОСРЕДИ ОКЕАНА МОГ ВЗЯТЬСЯ ОБЛОМОК ПАЛЬМЫ???) Лишь у Абдулаева можно прочесть, что этот великолепный Дринго В ДВА ПРЫЖКА ПРЕОДОЛЕЛ ПЛОЩАДЬ! Любопытно было бы узнать, в каком городе мира есть такая площадь, которую можно пересечь в два прыжка? Только у Абдулаева можно по телефону-автомату позвонить владельцам ювелирного магазина, представиться местным начальником полиции и попросить загрузить все драгоценности мужчине, который сейчас войдёт, объяснив это полицейской операцией, и что всё это нужно для того, чтобы взять с поличным грабителя! В общем, все "детективы" Ч. Абдулаева - полный бред очередного графомана!

Хищник комментирует книгу «Тайна Долины стонов [Тайна стонущей пещеры]» (Арден Уильям):

Довольно неплохо. Мне понравилось. Захватывающе и увлекательно. Для большого увлечения книга не подойдёт, но на то, чтобы убить время, вполне.


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