- About
- Innovations
- Divisions
- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
- Education
- Editions
- News
RaceHound
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.
Developer/Participant
Back to the list of technologies of ISP RAS