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

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

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

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

Аля комментирует книгу «Советский Союз в локальных войнах и конфликтах» (Лавренов Сергей):

Книга очень грустная! Долго рыдала. Анжелика - самая класная книга. Я уже все 13 прочитала!!!!

Ирина комментирует книгу «Пленница Гора» (Норман Джон):

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

чукча-читатель комментирует книгу «Скрытый гипноз. Практическое руководство» (Мелихов И.Н.):

Прочитал книгу однако. Теперь тренируюсь на жене и кошке. Потом буду испытывать на начальнике, чтобы зарплату повысил.

сергей комментирует книгу «Птицы России» (Михаил Александрович Мензбир):

нечитал

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

Оля, давайте будем добрее и терпимее. По сравнению с мировой революцией, Олег ничем таким страшным не провинился, чтобы так с ним... Спасибо разработчикам сайта! :)

Евгений комментирует книгу «Обет молчания» (Ильин Андрей):

Обет молчания и киллер из шкафа Ильина.лучшего не читал в этом жанре.нравится стиль написания и чувство юмора

Лера комментирует книгу «Русская модель управления» (Александр Прохоров):

а где можно не скачать,а купить эту книгу?

Лилия комментирует книгу «Левша» (Лесков Николай Семёнович):

Вообще-то , рассказ о том какие люди талантливые у нас в стране .

аоа комментирует книгу «Хаджи-Мурат» (Толстой Лев Николаевич):

Замечательно! Спасибо!

Максим комментирует книгу «Гиперборей» (Никитин Юрий Александрович):

Читал 10 и 11-тый рассказ оба очень понравились, стпасибо Юрию Никитину за хорошие книги.

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

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

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

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

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

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

Жанры