3NETZER R H, MILLER B P. What are race conditions? some issues and formalizations [J]. ACM Letters on Programming Languages and Systems, 1992,1(1):74-88.
4CHRISTIAENS M, BROSSCHERE K. TRaDe: a topoiogical approach to on-the-fly race detection in Java programs[C]//Proc of 1st Java Virtual Machine Research and Technology Symposium. Berkeley, CA, USA: USENIX Association, 2001:105-116.
5O'CALLAHAN R, CHOI J D. Hybrid dynamic data race detection [C]//Proc of the ACM SIGPLAN Symp on Principles and Practice of Parallel Programming. New York, USA: ACM, 2003: 167-178.
6HENZINGER T A, JHALA R, MAJUMDAR R. Race checking by context inference [C]//Proc of the ACM SIGPI.AN Conf on Programming Language Design and Implementation. New York, USA: ACM, 2004: 1-13.
7NAIK M, AIKEN A, WHALEY J. Effective static race detection for java [C]//Proc of the ACM SIGPLAN Conf on Programming Language Design and Implementation. New York, USA:ACM, 2006: 308- 319.
8LAMPORT L. Time, clocks, and the ordering of events in a distributed system[J]. Communications of the ACM, 1978, 21(7): 558-565.
9LANDI W. Undecidability of static analysis [J]. ACM Letters on Programming Languages and Systems, 1992,1(4) : 323-337.
10SALCIANU A, RINARD M. Pointer and escape analysis for multithreaded programs [C]// Proc of 8th ACM SIGPLAN Symp on Principles and Practices of Parallel Programming. New York, USA: ACM, 2001: 12-23.
