Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Жанры:
Читать онлайн:
Книги из серии:
Вам понравится:
Описание:
Книга автора Н. В. Заборовский. Относится к жанрам: многопоточное исполнение, состояние гонки, статистика, статический анализ кода, эффективные алгоритмы. Объем: 5 стр.. Дата написания: 2011. Возрастное ограничение: 0+.
Вы можете в один клик скачать книгу ‘Статическое обнаружение гонок в коде, содержащем ветвления и циклы’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Статическое обнаружение гонок в коде, содержащем ветвления и циклы’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.
Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.
Аннотация:
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

