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

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

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

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

Магз комментирует книгу «Философия в будуаре, или Безнравственные наставники» (Сад Маркиз):

Спасибо огромное!!!!!!!!!

Алексей комментирует книгу «Стажер» (Дмитрий Дашко):

"Стажер" очень понравилась . Прочитал на одном дыхании. Спасибо.

n@t@ комментирует книгу «Чертова гора» (Ламур Луис):

Захватывающая книга.Интересна своей простотой и оригинальностью.Интрига сохраняется до конца.Читается на одном дыхании, как и все остальные произведения данного автора.

ольга комментирует книгу «Темная Башня» (Кинг Стивен):

"редкая птица..."как у Гоголя, так и и Кингом - редкий читатель доберется до последней книги о"Черной башне".Дамы и Господа! не увлекайтесь!Опасно потерей большого количества времени впустую, бестолку.

jumarina комментирует книгу «Хохот шамана» (Серкин Владимир):

Нашла ответы на многие свои вопросы. Но получила, скорее, еще больше вопросов, чем ответов. Чему очень рада - появилась пища для размышления и поиска...

егор данилюк комментирует книгу «Стань диким!» (Хантер Эрин):

самая классная книга.

Александр комментирует книгу «Обет молчания» (Ильин Андрей):

Являюсь поклонником творчества Андрея Ильина еще с начала девяностых! Настолько нетривиально написано, легко читается! Книгу прочитывал за пару вечеров, собрал почти все его книги, различных изданий, перечитываю периодически. Очень интересные сюжеты, юмор и ирония в таком жанре довольно редки, но у него настолько всё уместно и естественно, что герои как бы оживают и предстают перед читателем многогранными, живыми личностями! А по книге "Киллер из шкафа" думаю получился бы очень интересный фильм или сериал!

Iolanda комментирует книгу «Академия Измерений» (Наталья Мелиоранская):

А где можно продолжение найти и как оно называется?

артем комментирует книгу «Два брата» (Шварц Евгений Львович):

очень интересная книга

Татьяна комментирует книгу «Жучок и Волчок» (Мурашова Екатерина):

Лучшая книга Семеновой.

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

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

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

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

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

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

Жанры