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

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

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

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

LEZGUS комментирует книгу «Лолита» (Набоков Владимир Владимирович):

Я был не прав с этого сайта можно скачать книги со смарта .доволен. :-D Спасибо рад что нашел такой сайт :)

маргоша комментирует книгу «Бывший будущий муж» (Уайз Айра):

очень интересно написано, почитайте,не пожалеете

Maxbaks комментирует книгу «Игра престолов. Книга II» (Мартин Джордж):

Скорее бы остальные перевели

123 комментирует книгу «От чужих берегов» (Андрей Круз):

А сказано бесплатно!!!

Сакенчитай комментирует книгу «Лев, колдунья и платяной шкаф» (Льюис Клайв Стейплз):

Как Толкиене очень много интересного

настя комментирует книгу «Мальчик-невидимка» (Брэдбери Рэй Дуглас):

прикольно :)))))))))))))))))

Ерика комментирует книгу «Эммануэль» (Арсан Эммануэль):

Смешная книга,еще Эмиль Золя задавался вопросом - почему женщины настолько праздные,особенно француженки. Гораздо интереснее было бы увидеть поведение Эммануель ,живи она в бедности где-нибудь в глубинке России или Украины.А так просто описываются похождения ленивой самочки,избалованной жизнью.

ЕЛЕНА комментирует книгу «Дикарка. Чертово городище» (Бушков Александр Александрович):

ГДЕ ПРОДОЛЖЕНИЕ

abdu комментирует книгу «Рынок ценных бумаг в России» (Н. Л. Маренков):

хорошая книга

Андрей комментирует книгу «Люди-скелеты Юпитера» (Берроуз Эдгар Райс):

А где найти продолженние "Джон Картер. Люди-скелеты Юпитера"????????

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

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

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

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

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

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

Жанры