Precise interprocedural dataflow analysis via graph reachability
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Garbage collection: algorithms for automatic dynamic memory management
Garbage collection: algorithms for automatic dynamic memory management
Eraser: a dynamic data race detector for multithreaded programs
ACM Transactions on Computer Systems (TOCS)
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
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
Accurate and efficient filtering for the Intel thread checker race detector
Proceedings of the 1st workshop on Architectural and system support for improving software dependability
Leveraging disposable instrumentation to reduce coverage collection overhead: Research Articles
Software Testing, Verification & Reliability
Blended analysis for performance understanding of framework-based applications
Proceedings of the 2007 international symposium on Software testing and analysis
Organizing processes and threads for debugging
Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
Unit testing for concurrent business code
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Localizing defects in multithreaded programs by mining dynamic call graphs
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Demand-driven software race detection using hardware performance counters
Proceedings of the 38th annual international symposium on Computer architecture
The potential of sampling for dynamic analysis
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security
Low-level detection of language-level data races with LARD
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Hi-index | 0.00 |
Multicore processors with each core supporting multiple threads are becoming commonplace. To take advantage of these hardware advances, application software has to evolve and embrace parallel processing, otherwise the performance growth that we have come to expect with each generation of processor technology will not be met. But, introducing parallelism into software is difficult and error prone. Robust debugging tools are required to help developers build efficient, scalable, multi-threaded applications. In this paper we present a data race detection tool and a set of techniques that were used to improve the efficiency of the tool. Also, we present detailed performance overheads for the tool using a number of industrial strength applications.