Title :
Dynamically detecting data races in multi-threaded object-oriented programs by tracing function entries and exits
Author :
Sun, Quan ; Tian, Hui ; Liu, Dong
Author_Institution :
Sch. of Inf. & Commun. Eng., Beijing Univ. of Posts & Telecommun., Beijing, China
Abstract :
Data race is one of the most common programming errors in multi-threaded programs and there exist many static, dynamic or hybrid approaches targeted at detecting them. Unlike most previous works, this paper proposes a new data race detection algorithm for multi-threaded object-oriented programs, which leverages the fact that large complicated multi-threaded programs usually provide comprehensive logging mechanisms for debugging and other purposes. The proposed algorithm relies only on the logging information of function entries/exits and synchronization operations. The major advantage of the proposed algorithm is that the race detection function is naturally integrated into the application programs and has a much lower overhead compared with most existing data race tools.
Keywords :
multi-threading; object-oriented programming; program debugging; system monitoring; data race detection algorithm; logging mechanism; multithreaded object-oriented programs; programming errors; race detection function; synchronization operations; tracing function entries; tracing function exits; Computer languages; Detection algorithms; Detectors; Heuristic algorithms; Programming; Synchronization; Timing; Data race; concurrency; multi-threading; synchronization;
Conference_Titel :
Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6054-0
DOI :
10.1109/ICSESS.2010.5552325