Program code optimization of Relacy Race Detector library

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 sup...

Full description

Saved in:
Bibliographic Details
Published in:Nauchno-tekhnicheskiĭ vestnik informat͡s︡ionnykh tekhnologiĭ, mekhaniki i optiki mekhaniki i optiki, 2019-04, Vol.19 (2), p.380-385
Main Authors: Doronin, O.V., Dergun, K.I., Dergachev, A.M., Kluchev, A.O.
Format: Article
Language:English
Subjects:
data races
fiber
lock-free algorithms
multithreading
operating system
Relacy Race Detector
testing applications
thread scheduler
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2226-1494
2500-0373
DOI:10.17586/2226-1494-2019-19-2-380-385