Healing data races on-the-fly

Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD'07

Volumn , Issue , 2007, Pages 54-64

  Krena, Bohuslav ^a   Letko, Zdenek ^a   Tzoref, Rachel ^b   Ur, Shmuel ^b   Vojnar, Tomáš ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

^b IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Concurrency; Self healing; Testing

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; ERROR CORRECTION; VERIFICATION;

CONCURRENT BUGS; FUNCTIONAL BUGS; SELF HEALING;

SOFTWARE TESTING;

EID: 34548233227     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273647.1273658     Document Type: Conference Paper

References (40)

1. S. V. Adve, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting Data Races on Weak Memory Systems. In Proc. of ISCA'91, 1991. ACM Press.
2. C. Artho, K. Havelund, and A. Biere. High-level Data Races. In Proc. of VVEIS'03, Angers, France, 2003.
3. C. Artho, K. Havelund, and A. Biere. Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. In Proc. of ATVA '04, LNCS 3299, 2004. Springer.
4. V. Balasundaram and K. Kennedy. Compile-time Detection of Race Conditions in a. Parallel Program. In Proc. of ICS'89, 1989. ACM Press.
5. T. Ball and S. Rajamani. The SLAM Toolkit. In Proc. of CAV'01, LNCS 2102. Springer, 2001.
6. U. Banerjee, B. Bliss, Z. Ma, and P. Petersen. A Theory of Data Race Detection. In Proc. of PADTAD'06, 2006. ACM Press.
7. W. Beaton and J. d. Rivieres. Eclipse Platform Technical Overview. Technical report, The Eclipse Foundation, 2006.
8. T. P. e. a. Brian Goetz. Java Concurrency in Practice. Addison-Wesley, 2006.
9. S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, and K. Yorav. Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design, 25 (2-3): 129-166, 2004.
10. G.-I. Cheng, M. Feng, C. E. Leiserson, K. H. Randall, and A. F. Stark. Detecting Data, Races in CILK Programs that Use Locks. In Proc. of SPAA '98, 1998. ACM Press.
11. J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and Precise Data, Race Detection for Multithreaded Object-Oriented Programs, 2002.
12. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
13. A. Dinning and E. Schonberg. An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In Proc. of PPOPP'90, 1990. ACM Press.
14. A. Dinning and E. Schonberg. Detecting Access Anomalies in Programs with Critical Sections. In Proc. of PADD'91, 1991. ACM Press.
15. P. A. Emrath and D. A. Padua. Automatic Detection of Nondeterminacy in Parallel Programs. In Proc. of PADD'88, 1988. ACM Press.
16. E. Farchi, Y. Nir, and S. Ur. Concurrent Bug Patterns and How To Test Them. In Proc. of IPDPS'03, 2003. IEEE Computer Society.
17. C. Flanagan and S. N. Freund. Detecting Race Conditions in Large Programs. In Proc. of PASTE'01, 2001. ACM Press.
18. C. Flanagan and S. N. Freund. Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs. In Proc. of POPL'04, 2004. ACM Press.
19. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: Efficiently computing the happens-before relation using locksets. Proceedings of the Workshop on Formal Approaches to Testing and Runtime Verification, 2006.
20. C. Flanagan and S. Qadeer. Types for Atomicity. In Proc. of TLDI'03, 2003. ACM Press.
21. S. N. Freund and S. Qadeer. Exploiting Purity for Atomicity. IEEE Transaction on Software Engineering, 31(4):275-291, 2005.
22. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software Verification with Blast. In Proc. of 10th SPIN Workshop, LNCS 2648, 2003. Springer.
23. A. Itzkovitz, A. Schuster, and O. Zeev-Ben-Mordehai. Toward Integration of Data Race Detection in DSM Systems. Journal of Parallel and Distributed Computing, 59(2):180-203, 1999.
24. R. J. Lipton. Reduction: A Method of Proving Properties of Parallel Programs. Communications of the ACM, 18(12):717-721, 1975.
25. J. Mellor-Crummey. Compile-time Support for Efficient Data Race Detection in Shared-Memory Parallel Programs. In Proc. of PADD'93, 1993. ACM Press.
26. N. Mittal and V.K. Garg. Finding Missing Synchronization in a Distributed Computation Using Controlled Re-Execution. In Distributed Computation, 2004.
27. R. Nagpaly, K. Pattabiramanz, D. Kirovski, and B. Zorn. ToleRace: Tolerating and Detecting Races. In Proc. of STMCS'07, 2007.
28. R. Netzer and B. Miller. Detecting Data Races in Parallel Program Executions. In Advances in Languages and Compilers for Parallel Computing, 1990 Workshop, 1990. MIT Press.
29. R. H. B. Netzer and B. P. Miller. Improving the Accuracy of Data Race Detection. Proc. of PPOPP'91, published in ACM SIGPLAN NOTICES, 26(7):133-144, 1991.
30. R. H. B. Netzer and B. P. Miller. What Are Race Conditions?: Some Issues and Formalizations. ACM Lett. Program. Lang. Syst., 1(1):74-88, 1992.
31. D. Perkovic and P. J. Keleher. A Protocol-Centric Approach to On-the-Fly Race Detection. IEEE Transactions on Parallel and Distributed Systems, 11(10), 2000.
32. E. Pozniansky and A. Schuster. Efficient On-the-Fly Data Race Detection in Multithreaded C+-+ Programs. In Proc. of PPoPP'03, 2003. ACM Press.
33. B. Richards and J. R. Larus. Protocol-based Data, Race Detection. In Proc. SIGMETRICS Symposium on Parallel and Sistributed Tools, 1998. ACM Press.
34. M. Ronsse and K. D. Bosschere. Recplay: A Fully Integrated Practical Record/Replay System. ACM Transactions on Computer Systems, 17(2):133-152, 1999.
35. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multi-threaded Programs. ACM Transactions on Computer Systems (TOCS), 15(4):391-411, 1997.
36. A. Tarafdar and V.K. Garg VK. Software Fault Tolerance of Concurrent Programs Using Controlled Re-Execution. In Proc. of DISC'99, 1999.
37. R. Tzoref, S. Ur, and E. Yom-Tov. Instrumenting Where it Hurts-An Automatic Concurrent Debugging Technique. In Proc. of ISSTA '07, to appear. ACM Press, 2007.
38. C. von Praun and T. R. Gross. Object Race Detection. In Proc. of OOPSLA'01, 2001. ACM Press.
39. L. Wang and S. D. Stoller. Run-time Analysis for Atomicity. In Proc. of RV'03, ENTCS 89(2), 2003. Elsevier.
40. L. Wang and S. D. Stoller. Static Analysis of Atomicity for Programs with Non-blocking Synchronization. In PPoPP'05, 2005. ACM Press.