Detecting race conditions in C-code by static analysis

Abstract

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

Races while accessing shared variables can be a serious problem when writing multithread applications. This qualifying work attempts to solve the problem of race condition detection. Static analysis based on Lockset algorithm with predefined semantics rules is involved for that purpose. Methods and implementation ways for syntax and semantic analysis are shown, as well as full description of development process, including examples of real-world testing in commercial environment.