Runtime race detection for multi-threaded C++ server applications

Authors:
Arndt Mühlenfeld;Franz Wotawa
Affiliations:
Institute for Softwaretechnology, Graz University of Technology, Inffeldgasse, Graz, Austria;Institute for Softwaretechnology, Graz University of Technology, Inffeldgasse, Graz, Austria
Venue:
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Year:
2007

Citing 7
Cited 0

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Toward integration of data race detection in DSM systems

Journal of Parallel and Distributed Computing - Special issue on software support for distributed computing
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Efficient and precise datarace detection for multithreaded object-oriented programs

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Runtime Checking of Multithreaded Applications with Visual Threads

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
RaceTrack: efficient detection of data race conditions via adaptive tracking

Proceedings of the twentieth ACM symposium on Operating systems principles

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-threaded programming is becoming more important, because physical limits prevent further speedup by increasing clock speed. Therefore, it is required to make use of multiple processors. Unfortunately, multi-threading is error-prone and hard to find defects arise with current popular programming languages, mainly data races and deadlocks. Therefore, tools that help finding these faults are important, but currently available tools are either difficult to use or do not scale well. This paper describes improvements to the Eraser algorithm for C++ applications resulting in a drastic reduction of false warnings. We present empirical results from our experiments with a server application comprising more than 500.000 lines of code.