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

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

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

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

     

     

     



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

 

 

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

 
 

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

Солнце комментирует книгу «Дом Солнца» (Павловская Наталия):

Посмотрела фильм - очень понравилось. Доброе, светлое кино. Теперь вот решила прочитать книгу.

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

Тендециозное творение русского шовиниста, умного задним числом.

мариша комментирует книгу «Боря + Лена = Л…» (Воробей Вера и Марина):

да ни фига. всё очень............................................. .................................................. .................................................. ...........................................плохо!! !

Вова комментирует книгу «Кровь артефакта» (Васин Роман):

Вообще супер. читается легко и не оторваться вообще!

Юля комментирует книгу «Повесть о потерянном времени» (Дмитрий Ненадович):

Забавно, с таким названием есть ещё книга Сергея Черткова. Её я читала - прикольно. А Ненадовича не читала. Но видимо надо сравнить.

Анастасия комментирует книгу «История моей жизни» (Казанова Джакомо):

Очень интересно..всем советую прочитать!

маха комментирует книгу «Лапы вверх! (сборник)» (Катя Матюшкина):

Знаете... Детям нравится.......

Ольга комментирует книгу «Клеопатра» (Хаггард Генри Райдер):

Обожаю это произведение Хаггарда! Четыре раза перечитывала и, думаю, то ли еще будет)))))))) Всем рекомендую!

I love Lololoshka комментирует книгу «Опасная тропа» (Хантер Эрин):

Ну всё равно клёвая книга))) У меня весь первый цикл!!! :D


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