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

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

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

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

аня комментирует книгу «Постойко» (Мамин-Сибиряк Дмитрий Наркисович):

просто класс

ТАТЬЯНА К комментирует книгу «Пассажир из Франкфурта» (Кристи Агата):

НЕИНТЕРЕСНО И ОЧЕНЬ СКУЧНО

Аркадий комментирует книгу «Военные мемуары - Призыв 1940-1942» (Голль Шарль):

не понравилось

Аноним комментирует книгу «Дневник юной леди» (Молчанова Ирина):

Книга просто класс! Всю ночь читала не могла оторваться! "Дневник юной леди" это ШЕДЕВР!)))

настя комментирует книгу «Цифровая крепость» (Браун Дэн):

книга очень хорошая, а главное было интересно от начала и до конца. что больше всего понравилось, так это то, что все очень запутано. очень переживала за героев.

Дарья комментирует книгу «Код да Винчи» (Браун Дэн):

Да,книга просто улет!!))

Дана комментирует книгу «Школа монстров» (Лизи Харрисон):

Отличная книга! 5 балов!! Очень заинтересовала теперь пытаюсь скачать вторую книгу!

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

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

НАТАЛЯ комментирует книгу «Не родись красивой: Триумфальное возвращение» (Голубчикова Т. А.):

ета самая лутшая кніга

Константин комментирует книгу «Мишель и машина-призрак» (Байяр Жорж):

Интересная книга, прочитал на одном дыхании.

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

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

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

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

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

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

Жанры