PROGRAM CODE OPTIMIZATION OF RELACY RACE DETECTOR LIBRARY

Abstract

The paper presents the results of Relacy Race Detector (RRD) library research as applied to the problem of multithreaded code testing. The study revealed several shortcomings of the RRD library. They are: a static number of threads, complex project structure, errors in implementation and lack of support for snapshots. The work has corrected the shortcomings described above and presented a new approach for the atomic snapshot of multiple threads using fork and fiber mechanisms. With the application of these results and implemented changes it is now easier to use the RRD library for multithreaded applications testing.

Keywords

• multithreading
• data races
• Relacy Race Detector
• thread scheduler
• lock-free algorithms
• testing applications
• operating system
• fiber