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

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

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

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

     

     

     



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

 

 

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

 
 

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

x-girl комментирует книгу «Владыка Ночи» (Ли Танит):

интересно,а все демоны голубе или нет

Александр комментирует книгу «Скрытый гипноз. Практическое руководство» (Мелихов И.Н.):

Где купить, где купить... я тож не смог, а потом дернул на комп, распечатал на работе и переплел за 100 целковых. Прочитал. Жить стало не легче, зато стал понимать, кто и как из меня пытается сделать "зубило".

Лена комментирует книгу «Закон крови» (Микулов Олег):

Есть книги, которые с первого раза не поймешь. Потом хочется иметь их всегда под рукой. Хотя на вкус и цвет... Своего мнения не навязываю, но эта книга в моей библиотеке. Благодарна О.Микулову.

Оля комментирует книгу «Декамерон» (Боккаччо Джованни):

Спасибо!!! Хорошая книга!!!

Эдик комментирует книгу «Историк» (Костова Элизабет):

очень интересная и захватывающая

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

Чувак! Указывай свой возраст при таких анализах по накурке!

Фёдор комментирует книгу «Старик и море» (Хемингуэй Эрнест Миллер):

классная книга прям дух перехватывает!

Екатерина комментирует книгу «Последнее слово за мной» (Полякова Татьяна Викторовна):

Мне 13 лет! Я увлекаюсь таким жанром-детектив.Нашла на полке эту книгу,решила почитать от скуки,т.к. понравилась по обложке! Вы не поверите,книга так меня заинтересовала,что на каникулах я прочитала её за 3-4 дня--не больше) РЕКОМЕНДУЮ!!!ПРОЧИТАЙТЕ!!! сюжет превосходный

неважно комментирует книгу «Робинзон Крузо» (Дефо Даниэль):

а кудато надо нажать чтоб скачать

елена комментирует книгу «Легенды и мифы Древней Греции» (Кун Николай Альбертович):

мне 9 лет 3 класс и мне не интересно


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