SigRace: Signature-based data race detection

Proceedings - International Symposium on Computer Architecture

Volumn , Issue , 2009, Pages 337-348

  Muzahid, Abdullah ^a   Suárez, Darío ^b   Qi, Shanxiang ^a   Torrellas, Josep ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Concurrency defect; Data race; Happened before; Signature; SigRace; Timestamp

Indexed keywords

CACHE COHERENCE PROTOCOLS; COHERENCE PROTOCOL; CONVENTIONAL SCHEMES; DATA RACE DETECTION; DATA RACES; HAPPENED-BEFORE; HARDWARE MODULES; HARDWARE-ASSISTED; PARALLEL PROGRAM; SOFTWARE DEVELOPMENT; SOFTWARE INTERFACES; TIME-STAMP;

COMPUTER SOFTWARE; DETECTORS; HARDWARE; PARALLEL ARCHITECTURES; PROGRAM DIAGNOSTICS; SOFTWARE ARCHITECTURE;

COMPUTER HARDWARE;

EID: 70450225725     PISSN: 10636897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1555754.1555797     Document Type: Conference Paper

References (30)

1. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC benchmark suite: Characterization and architectural implications. In International Conference on Parallel Architectures and Compilation Techniques, October 2008.
2. B. H. Bloom. Space/time trade-offs in hash coding with allowable errors. Comm. of the ACM, 13(7):422-426, 1970.
3. L. Ceze, J. Tuck, P. Montesinos, and J. Torrellas. BulkSC: Bulk enforcement of sequential consistency. In International Symposium on Computer Architecture, June 2007.
4. L. Ceze, J. Tuck, J. Torrellas, and C. Cascaval. Bulk disambiguation of speculative threads in multiprocessors. In International Symposium on Computer Architecture, June 2006.
5. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Programming Language Design and Implementation, June 2002.
6. L. Dagum and R. Menon. OpenMP: An industry-standard API for shared-memory programming. IEEE Computational Science & Engineering, 5(1):46-55, 1998.
7. C. Fidge. Logical time in distributed computing systems. IEEE Computer, 24(8):28-33, 1991.
8. Intel Corporation. Intel Thread Checker. http://www.intel.com, 2008.
9. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. of the ACM, 21(7):558-565, 1978.
10. C.-K. Luk et al. Pin: Building customized program analysis tools with dynamic instrumentation. In Programming Language Design and Implementation, June 2005.
11. E. Lusk, J. Boyle, R. Butler, T. Disz, B. Glickfeld, R. Overbeek, J. Patterson, and R. Stevens. Portable programs for parallel processors. Holt, Rinehart & Winston, 1988.
12. S. L. Min and J.-D. Choi. An efficient cache-based access anomaly detection scheme. In International Conference on Architectural Support for Programming Languages and Operating Systems, April 1991.
13. C. C. Minh et al. An effective hybrid transactional memory system with strong isolation guarantees. In International Symposium on Computer Architecture, June 2007.
14. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In Programming Language Design and Implementation, June 2007.
15. R. H. B. Netzer and B. P. Miller. Detecting data races in parallel program executions. In In Workshop on Advances in Languages and Compilers for Parallel Computing, 1990.
16. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In Principles and Practice of Parallel Programming, April 1991.
17. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Principles and Practice of Parallel Programming, June 2003.
18. M. Prvulovic. CORD: Cost-effective (and nearly overhead-free) order-recording and data race detection. In International Symposium on High-Performance Computer Architecture, February 2006.
19. M. Prvulovic and J. Torrellas. ReEnact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In International Symposium on Computer Architecture, June 2003.
20. M. Prvulovic, Z. Zhang, and J. Torrellas. ReVive: Cost-effective architectural support for rollback recovery in shared-memory multiprocessors. In International Symposium on Computer Architecture, May 2002.
21. F. Qin, J. Tucek, Y. Zhou, and J. Sundaresan. Rx: Treating bugs as allergies - a safe method to survive software failures. A CM Transactions on Computer Systems, 25(3):7, 2007.
22. M. Ronsse and K. De Bosschere. RecPlay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2):133-152, 1999.
23. D. Sanchez, L. Yen, M. D. Hill, and K. Sankaralingam. Implementing signatures for transactional memory. In International Symposium on Microarchitecture, December 2007.
24. S. Savage et al. Eraser: A dynamic data race detector for multithreaded programs. A CM Transactions on Computer Systems, 15(4):391-411, 1997.
25. S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y Zhou. Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In USENIX Annual Technical Conference, June 2004.
26. Sun Microsystems. Sun Studio Thread Analyzer. http://developers.sun.com/ sunstudio, 2007.
27. C. von Praun and T. R. Gross. Object race detection. In Object-Oriented Programming, Systems, Languages, and Applications, October 2001.
28. L. Yen et al. LogTM-SE: Decoupling hardware transactional memory from caches. In International Symposium on High Performance Computer Architecture, February 2007.
29. Y Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In Symposium on Operating Systems Principles, October 2005.
30. P. Zhou, R. Teodorescu, and Y Zhou. HARD: Hardware-assisted lockset-based race detection. In International Symposium on High Performance Computer Architecture, February 2007.