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

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

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

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

Игорь - это мое настоящее имя. комментирует книгу «Солдаты последней империи (Записки недисциплинированного офицера)» (Чечило Виталий Иванович):

Автор Чечило Виталий Иванович - моральный урод! Сколько же вас, хлебнувших гептила, просрало великую страну. Последыши Иуды-Горбачева, пока вы живы, мы - бедствуем. Выы не вечны, в отличие от нас, народа пусть последней, но страны!

Светлана комментирует книгу «Дети синего фламинго» (Крапивин Владислав Петрович):

Книга скачалась мгновенно и абсолютно бесплатно. Спасибо!

ваня комментирует книгу «Четвертая высота» (Ильина Елена И.):

подскажите или скиньте ссылку на аудиокнигу пожалуйста

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

Такой мути давно не читал, сто страниц еле осилил дальше читать смысла не увидел. Такое ощущение, что книга состоит из отрывков разных книг - полная мешанина.

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

Вот после "Затворника и шестипалого" и "Жёлтой стрелы" полюбила читать Пелевина. До этого "Поколение П" не пошло вообще.

Кропля комментирует книгу «Вьюга теней» (Пехов Алексей Юрьевич):

Пехов - интересное,качественное фэнтези. Хроники Сиалы - зе бест.

Lera комментирует книгу «Огненные врата» (Дмитрий Емец):

люди добрые, киньте мне текст

Борис Климычев комментирует книгу «След грифона» (Сергей Григорьевич Максимов):

Максимов утверждает, что он первый в литературе сказал о Пепелеве. О четырех Пепеляевых я рассказал в романе "Прощаль", в "Сиб Огнях" в 2004 г. и "Начале века" " в 2007 году.Переписывался я с племянницей Пепеляевых. Так что и золото Колчака, и все прочее Максимов взял у меня, как с тарелочки. К чему же финтить:"Я первый сказал!". отнюдь не первый.

Олег комментирует книгу «Приключения Тома Сойера» (Твен Марк):

Мне как раз нужна была эта книжка!

Виктория комментирует книгу «Бес шума и пыли» (Мякшин Антон):

Как-то незаметно даже "влюбилась" В Адольфа! Душа требует новых приключений в его компании!

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

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

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

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

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

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

Жанры