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

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

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

Шев комментирует книгу «Голубятня на желтой поляне» (Крапивин Владислав Петрович):

Хорошо что еше есть такое некоммерческое чтение! )))

Fyys комментирует книгу «Месть компьютера» (Емец Дмитрий):

Круть

Еврей что комментирует книгу «Зеленая книга» (Аль-Каддафи Муаммар):

Вы исказили Священную Библию! Нету настоящей Библии!

777 комментирует книгу «Поллианна» (Портер Элинор):

книга супер!!!!!!!!!!!!!!!!!!!!!!!!!!1

Мамлеев Виктор комментирует книгу «А правда ли, что Чичиков – Наполеон?» (Гуминский Виктор):

Гуминский этот повторяет одно и то же из статьи в статью, с одним и тем же набором цитат.

Toxir комментирует книгу «Карманный русско-узбекский словарь» (С.А. Лапин):

ruskiy uzbekskiy slovvar

Мсмсмсмсисс комментирует книгу «Тематическое и поурочное планирование по биологии. 7 класс» (Захарова Наталья):

Иннттеерреееееееснннно ! ! ! ! ! !

Татьяна комментирует книгу «Наполеон I Бонапарт» (Глеб Благовещенский):

Наполеон - великая личность, вот только с Россией немного прогадал...

Мус комментирует книгу «2012. Хроника апокалипсиса» (Антон Медведев):

Отличная книга. Прочел за два дня. Все понравилось. Автор молодец. Действительно молодец.

Аллочка комментирует книгу «Миньон» (Бэнкс Л.А.):

"Порошок жизни"(Зеб Шилликот) Первая книга из серии была ничего. Остальные все хуже и хуже.

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