Detecting data races using dynamic escape analysis based on read barrier

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, JAVA VM 2004

Volumn , Issue , 2004, Pages

  Nishiyama, Hiroyasu ^a  

^a HITACHI LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING RESEARCH; NETWORK SECURITY; PROGRAM DEBUGGING; VIRTUAL MACHINE;

DATA RACE DETECTION; DYNAMIC DATA; ESCAPE ANALYSIS; EXPERIMENTAL EVALUATION; MEMORY LOCATIONS; MULTI-THREADED PROGRAMS; NONDETERMINISTIC BEHAVIOR; RUNTIME OVERHEADS;

JAVA PROGRAMMING LANGUAGE;

EID: 85093854272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. J.D. Choi. Escape Analysis for Java. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, 1999.
2. 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 Proceedings of the Conference on Programming Language Design and Implementation, 2001.
3. J.D. Choi, B. Miller, and R. Netzer. Techniques for Debugging Parallel Programs with Flowback Analysis. ACM Transactions on Programming Languages and Systems, 13(4):491{ 530, 1991.
4. D. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin Locks: Featherweight Synchronization for Java. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 258{268, 1998.
5. D. Dice. Implementing Fast Java Monitors with Relaxed-Locks. In Proceedings of the Java Virtual Machine Research and Technology Symposium, 2001.
6. A. Dinning and E. Schonberg. Detecting Access Anomalies in Programs with Critical Sections. In Proceedings of the Workshop on Parallel and Distributed Debugging, 1991.
7. J. Dolby and A. Chien. An Automatic Object Inlining Optimization and its Evaluation. In SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.
8. T. Domani, G. Goldshtein, E.K. Kolodner, and E. Lewis. Thread-Local Heaps for Java. In Proceedings of the 2002 Internationl Symposium on Memory Management, 2002.
9. M.B. Dwyer, J. Hatcliff, V.R. Prasad, and Robby. Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Oriented Programs. Technical Report SAnToS-TR2003-1, SAnToS Laboratory, Kansas State University, 2003.
10. C. Flanagan and S. N. Freund. Type-Based Race Detection for Java. In Proceedings of the Conference on Programming Language Design and Implementation, pages 219{232, 2000.
11. D. Gay and B. Steensgaard. Fast Escape Analysis and Stack Allocation for Object-Based Programs. In 2000 International Conference on Compiler Construction, 2000.
12. U. Hölzle, C. Chambers, and D. Ungar. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings of the ACM SIGPLAN' 92 Conference on Programming Language Design and Implementation, 1992.
13. J. Seward and N. Nethercote and J. Fitzhardinge. Valgrind. http://valgrind.kde.org/, 2003.
14. Java Grande Forum. Java Grande Forum Benchmark. http://www.epcc.ed.ac.uk/ javagrande/javag.html, 2003.
15. J. Bogda and U. Hölzle. Removing Unnecessary Synchronization in Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 35{46, 1999.
16. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, 1999.
17. KAI Software. Tutorial: Using Assure for Threads. http://www.intel.com/software/ products/assure/assuret-tutorial.pdf, 2001.
18. K. Rustan, M. Leino, and G. Nelson. An Extended Static Checker for Modula-3. In Proceedings of 7th International Conference on Compiler Construction, LNCS1383, 1998.
19. L. Lamport. Time, clock, and the orderling of events in a distributed system. Communications of the ACM, 21(7), 1978.
20. M. Christiaens and K.D. Bosschere. TRaDe, A Topological Approach to On-the-y Race Detection in Java Programs. In Proceedings of the Java Virtual Machine Research and Technology Symposium, 2001.
21. Sun Microsystems. Java HotSpot Technology. http://java.sun.com/products/ hotspot/, 2003.
22. R. Netzer and B. Miller. What Are Race Condition? - Some Issues and Formalizations. ACM Letters on Programming Languages and Systems, 1(1), 1992.
23. C.v. Praun and T. Gross. Object Race Detection. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001.
24. R. Jones and R. Lins. Garbage Collection - Algorighms for Automatic Dynamic Memory Management. John Wiley & Sons, 1996.
25. E. Ruf. Effective Synchronization Removal for Java. In SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.
26. S. Savage, M. Burrows, G. Nelson, P. Sobalarro, and T.E. Anderson. Eraser: A Dynamic Data Race Detector for Multi- Threaded Programs. ACM Transactions on Computer Systems, 15(4):391, 411 1997.
27. Standard Performance Evaluation Corp. SPEC benchmarks. http://www.spec.org, 2003.
28. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 2000.