A theory of data race detection

Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06

Volumn 2006, Issue , 2006, Pages 69-78

  Banerjee, Utpal ^a   Bliss, Brian ^a   Ma, Zhiqiang ^a   Petersen, Paul ^a  

^a INTEL CORPORATION   (United States)

Author keywords

Access conflict; Data race; Dependence; Happens before; Synchronization; Thread; Vector clock

Indexed keywords

ALGORITHMS; RESOURCE ALLOCATION; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION; VECTORS;

ACCESS CONFLICT; DATA RACE; DEPENDENCE; RACE DETECTION; THREADS; VECTOR CLOCKS;

MULTITASKING;

EID: 34247470812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1147403.1147416     Document Type: Conference Paper

References (10)

1. U. Banerjee, B. Bliss, Z. Ma, and P. Petersen. Unraveling Data Race Detection in the Intel®Thread Checker. Presented at The First Workshop on Software Tools for Multi-core Systems (STMCS), in conjunction with IEEE/ACM International Symposium on Code Generation and Optimization (CGO), March 26, 2006, Manhattan, New York, NY.
2. C. J. Fidge. Timestamps in Message-Passing Systems that Preserve the Partial Ordering. Proceedings of the 11th Australian Computer Science Conference (ACSC'88). K. Raymond (Editor), February 1988, pp. 56-66.
3. A. Itzkovitz, A. Schuster, and O. Zeev-Ben-Mordehai. Towards Integration of Data Race Detection in DSM Systems. Journal of Parallel and Distributed Computing. Vol. 59, No. 2, November 1999, pp. 180-203.
4. L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, Vol. 21, No. 7, July 1978, pp. 558-565.
5. F. Mattern. Virtual Time and Global States of Distributed Systems. Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier Science Publishers, M. Corsnard et al. (Editors), Chateau de Bonas, France, October 1988, pp. 215-226.
6. R. H. B. Netzer and B. P. Miller. What are Race Conditions? Some Issues and Formalizations. ACM Letters on Programming Languages and Systems, Vol. 1, No. 1, March 1992, pp. 74-88.
7. R. O'Callahan and J.-D. Choi. Hybrid Dynamic Data Race Detection. Proceedings of the 2003 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, San Diego, California, June 2003, pp. 167-178.
8. E. Pozniansky and A. Schuster. Efficient On-the-fly Data Race Detection in Multithreaded C++ Programs. Proceedings of the 2003 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, San Diego, California, June 2003, pp. 179-190.
9. M. Ronsse and K. de Bosschere. RecPlay: a Fully Integrated Practical Record/Replay System. ACM Transactions on Computer Systems, Vol. 17, No. 2, May 1999, pp. 1-17.
10. O. Shacham, M. Sagiv, and A. Schuster. Scaling Model Checking of Data, Races Using Dynamic Information. Proceedings of the 2005 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, Chicago, Illinois, June 2005, pp. 107-118.