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

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

Книга читать (скачать) полностью

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

Новинки в
Телеграм
О книге

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

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

Комментарии (0)
Кликните на изображение чтобы обновить код, если он неразборчив

Представленный фрагмент книги размещен по согласованию с распространителем легального контента ООО "ЛитРес" (не более 15% исходного текста). Если вы считаете, что размещение материала нарушает ваши или чьи-либо права, то сообщите нам об этом.