PROGRAM CODE OPTIMIZATION OF RELACY RACE DETECTOR LIBRARY

• Main Authors: O. V. Doronin, K. I. Dergun, A. M. Dergachev, A. O. Klyuchev
• Format: Article
• Language: English
• Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2019-03-01
• Series: Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
• Subjects: multithreading; data races; Relacy Race Detector; thread scheduler; lock-free algorithms; testing applications; operating system; fiber
• Online Access: https://ntv.ifmo.ru/file/article/18639.pdf

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.