Книга Н.В.Заборовского "Статическое обнаружение гонки в коде", описывает поиск состояний гонки при многопоточном выполнении кода. Модель исполнения потоков позволит производить поиск вручную, а так же существенно ускорить процесс обнаружения. Автор достаточно подробно описывает некоторые сложные случаи обнаружения гонки, приводит примеры. Книга в первую очередь предназначена программистам, так как она является абсолютно новой областью для изучения.
Книга Статическое обнаружение гонок в коде, содержащем ветвления и циклы посвящена актуальной проблеме поиска состояний гонки в сложных и современных программах. Авторы предлагают и обосновывают модель исполнения потоков, которая позволяет находить состояния гонки в статическом режиме. Основное внимание уделено алгоритмам с использованием искусственных средств синхронизации и многопоточным программам с атомарными операциями. Представленная модель описывает исполнение на более низком уровне, чем известные модели многопоточного исполнения, а именно на уровне исполнения процессором инструкций. Книга будет полезна для специалистов в области разработки программного обеспечения, а также для исследователей в области параллельного программирования и анализа программ.
Книга посвящена важной проблеме - поиску гонок данных в современных многопоточных программах. Так как современные программы имеют сложную архитектуру, поиск гонок является непростой задачей.
В статье предлагается новая модель исполнения потоков, которая позволяет находить гонки данных статически, на этапе анализа кода. Эта модель ориентирована на алгоритмы, использующие синхронизацию, а также на многопоточные программы с атомарными операциями.
В отличие от известных ранее моделей, новая модель описывает работу программы на более низком уровне - на уровне выполнения процессором отдельных инструкций. Это позволяет точнее моделировать реальное поведение многопоточной программы и обнаруживать скрытые гонки данных и ошибки синхронизации.
Электронная Книга «Статическое обнаружение гонок в коде, содержащем ветвления и циклы» написана автором Н. В. Заборовский в 2011 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Прикладная информатика. Научные статьи
Описание книги от Н. В. Заборовский
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
