Detecting data races in real-time operating systems with RaceHunter tool
In this paper, we share our experience in applying a dynamic data race detection tool called RaceHunter to an industrial real-time operating system.We evaluate the performance and memory usage of the tool and present some key learnings.
Authors
- Evgeny Gerlits
Institutions
- Institute of Social and Economic Studies of Population (RU)
Publication Details
- Published
- 2025-09-21
- DOI
- https://doi.org/10.51408/csit2025_34
- Primary Topic
- Software System Performance and Reliability
- Type
- article
- Field-Weighted Citation Impact
- 0.00