Applying synchronization contracts approach for dynamic detection of data races in industrial applications

2018

Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 47-62 (2018)

Data race occurs in multithreaded program when several threads simultaneously access same shared data and at least of them writes. Two main approaches to automatic race detection - static and dynamic - have their pros and cons. Dynamic analysis can provide best precision on certain program execution but introduce enormous runtime overheads. Earlier we introduced high-performance approach that improves performance of dynamic race detection. The key idea is to define and exclude external trusted parts of code (e.g. libraries) from analysis and replace them with specifications of their behavior in multithreaded environment. Possible behavior was classified and corresponding language for describing contracts developed. Evaluation on lightweight applications confirmed performance boost but further industrial usage of detector revealed some problems. This article covers that problems, introduces method and architecture of contract processing module and some technical features that help to apply proposed approach on high load production systems.

article

English
Russian

Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.

состояние гонки, многопоточность, динамический анализ, автоматическое обнаружение ошибок, Electronic computers. Computer science, QA75.5-76.95