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

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

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

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

сергей комментирует книгу «Остров Крым» (Аксенов Василий Павлович):

спасибо большое, почитаем!

Вячеслав комментирует книгу «Первая встреча, последняя встреча» (Бушков Александр Александрович):

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

Аня комментирует книгу «Ферма животных» (Оруэлл Джордж):

Большое спасибо!

николай комментирует книгу «Стоп! Алкоголь!» (Авторов Коллектив):

пью как перестать

Орехов Роман комментирует книгу «Наивны наши тайны» (Елена Колина):

Привет мужу и его позвоночнику)))

Яна комментирует книгу «Том Сойер – сыщик» (Твен Марк):

Хочу скачать эту книгу на телефон но, к сожалению не получается . У меня не Айфон а дряхленький самсунг за 1000 руб. боюсь что не скачаю. Буду ещё пытаться.

сергей комментирует книгу «Сталкер» (Стругацкие Аркадий и Борис):

а без скачки послышать нельзя ? червонец что=ли нужен

Тятьяна комментирует книгу «Любовь, только любовь» (Бенцони Жюльетта):

Вся серия очень интересная, много реальных фактов истории и реальных героев 10летней войны. Советую почитать её же серию Марианна и канигу Короли и Королевы: трагедии любви

Горыныч комментирует книгу «Внешняя угроза» (Фомичев Алексей Сергеевич):

прочитал обе книги (в прошлом году), в этом нашел в электронном варианте - скачаю, прочту еще раз - советую почитать

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

Книга банальный навет на российских корейцев. Автор взял честный, трудолюбивый и лояльный народ и вылил н него ушат грязи, причем на пустом месте. Гадость

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

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

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

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

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

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

Жанры