Static data-race detection for multithread programs

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 43, Issue 2, 2006, Pages 329-335

  Wu, Ping ^a   Chen, Yiyun ^a   Zhang, Jian ^b  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

Alias analysis; Concurrent programs; Data race; Program analysis

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; DATA FLOW ANALYSIS; SEMANTICS; TRANSFER FUNCTIONS;

ALIAS ANALYSIS; BENCHMARK PROGRAMS; CONCURRENT PROGRAMS; CONSERVATIVE ANALYSIS; DATA RACE; JAVA COMPILER; MULTITHREAD PROGRAMS; PROGRAM ANALYSIS; STATIC RACE DETECTION METHODS; TEMPORAL CONSTRAINT GRAPH;

DATA PROCESSING;

EID: 33646882221     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: 10.1360/crad20060221     Document Type: Article

References (10)

1. R. H. Netzer, B. P. Miller. What are race conditions? Some issues and formalizations. ACM Letters on Programming Languages and Systems, 1992, 1(1): 74-88
2. J.-D. Choi, A. Loginov, V. Sarkar. Static datarace analysis for multithreaded object-oriented programs. IBM Research, Tech. Rep.: RC22146, 2001
3. C. Praun, T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In: Proc. ACM SIGPLAN 2003 Conf. Programming Language Design and Implementation. New York: ACM Press, 2003. 115-128
4. Dawson Engler, Ken Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. ACM Symposium on Operating Systems Principles. New York: ACM Press, 2003. 237-252
5. J. Choi, K. Lee, A. Loginov, et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proc. ACM SIGPLAN 2002 Conf. Programming Language Design and Implementation. New York: ACM Press, 2002. 258-269
6. W. Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1992, 1(4): 323-337
7. Erik Ruf. Effective synchronization removal for Java. In: Proc. ACM SIGPLAN 2000 Conf. Programming Language Design and Implementation. New York: ACM Press, 2000. 208-218
8. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558-565
9. Martin Rinard. The flex program analysis and compilation system. http://www.flex-compiler.csail.mit.edu, 1999-06-10
10. http://www.codeproject.com/, 2004