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

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

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

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

Елена комментирует книгу «Тлен Укбар» (Борхес Хорхе Луис):

Как хорошо, что я нашла у Вас Борхеса, спасибо огромное!!!

Татьяна комментирует книгу «Герой ее романа» (Воробей Вера и Марина):

Я вообще все их книги просто обожаю!)))))

Иван комментирует книгу «Родная старина. Отечественная история в рассказах и картинах» (В.Д. Сиповский):

Че тут на книгу гонят? Не оборзели случайно?

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

В 1 классе нам задали такое читать.Спасибо хорошая книга.

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

Так обычно говорят те, кто не понимает или вобще не читал:)Книга шедевральна, затрагивает множество важных тем, объединяющих современность и древность. Она будет актуальна всегда, пока будут жить люди.

Елена комментирует книгу «Тайный советник вождя» (Успенский Владимир Дмитриевич):

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

Алексей комментирует книгу «Четверо из России» (Клепов Василий Степанович):

В детстве (70-е гг) знал эту книгу почти наизусть, а также её первую часть - "Тайна золотой долины". Заканчивал читать и начинал с начала... . Рекомендую.

Сергей комментирует книгу «Руки Титана» (МакРоберт Стюарт):

Это не та книга, про руки нет ничего! Пол дня потерял в пустую!

алёнка комментирует книгу «Маленький Принц» (де Сент-Экзюпери Антуан):

А тут скачивается вся книга?

полина комментирует книгу «Это все кошки» (Акимушкин Игорь Иванович):

А кто тут главный герой?

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

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

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

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

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

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

Жанры