Ivannikov Institute for System Programming of the RAS


RaceHound is a software for data race detection in Linux kernel modules. The system is based on tracking of concurrent memory accesses using data breakpoints. The system's advantages are the absence of false positives, an ability to work together with some other dynamic verification systems, low overhead. RaceHound can be also used for confirmation of data races found with other methods. Project page on GitHub.


Software Engineering

Back to the list of technologies of ISP RAS