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

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

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

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

Aleksandra комментирует книгу «Практическое пособие по охоте за счастьем» (Ильичев Андрей):

Обалденная книга. Спасибо!

Ласточка комментирует книгу «Доктор Живаго» (Пастернак Борис Леонидович):

Благодарю за книгу. Зашла и скачала - просто прелесть!

уар комментирует книгу «Впеpеди - вечность» (Бачило Александр Геннадьевич):

Автор произведения "Впереди-вечность" - Александр бачило. Безо всяких соавторов.

уар комментирует книгу «Помочь можно живым» (Бачило Александр Геннадьевич):

Автор произведения "Помочь можно живым" - Александр Бачило. Без соавторов.

Кропля комментирует книгу «Мне бы хотелось, чтоб меня кто-нибудь где-нибудь ждал» (Гавальда Анна):

легко, быстро, со смыслом всё в порядке.

TTcux комментирует книгу «ЕГЭ 2012. Русский язык. Сборник заданий» (И. П. Цыбулько):

угу

Kita Fujiwara комментирует книгу «Скользящий сквозь ночь. Схватка с судьбой» (Владимир Пекальчук):

Очень нравится эта книга. Недавно увидела, что будет продолжение. С нетерпением жду! ---- Видела, что можно его прочитать онлайн (продолжение, я имею в виду) но текст какой-то не законченный...

Антон Романов комментирует книгу «Здоровье ребенка и здравый смысл его родственников» (Комаровский Евгений):

Горите в аду, мракобесные "борцы" за коммерческое знание! Из-за таких как вы знание теперь недоступно для тех, кто в нем нуждается.

киря комментирует книгу «Тайна заброшенного замка» (Волков Александр Мелентьевич):

норм

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

Абсолютно согласна!

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

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

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

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

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

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

Жанры