Фроловский Алексей Викторович

Данная статья посвящена проблеме поиска гонок в программах на языке Си. Приводится определение состояния гонки при доступе к разделяемой памяти. Рассматриваются методы поиска гонок в программах. Даётся  краткое описание каждого из них, выделяются их достоинства и недостатки. Особое внимание уделяется группе статических методов. Объясняется общий принцип статических методов поиска гонок. Кратко рассматривается статический метод поиска гонок на основе аннотирования кода. Подробно описываются статические методы поиска гонок на основе анализа потока выполнения программы: Locksmith, CoBE, Relay. Разбираются проблемы статического поиска гонок в программах. Предлагаются возможные пути их решения.

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