Forcing small models of conditions on program interleaving for detection of concurrent bugs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09

Volumn , Issue , 2009, Pages

  Trainin, Ehud ^a   Nir Buchbinder, Yarden ^a   Tzoref Brill, Rachel ^a   Zlotnick, Aviad ^a   Ur, Shmuel ^a   Farchi, Eitan ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Analysis; Concurrency bug patterns; Dynamic exploration; Forcing algorithm; Model of conditions on program interleaving

Indexed keywords

ALGORITHM MODEL; CONCURRENCY BUG PATTERNS; HIGH EFFICIENCY; SIMPLE MODEL; TESTING TIME;

ABILITY TESTING; ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; MATHEMATICAL MODELS; MODEL CHECKING; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 72049094016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639622.1639629     Document Type: Conference Paper

References (22)

1. Sterling, N., 1993. Warlock: A static data race analysis tool. In: Proceedings of the USENIX Winter Technical Conference, 1993, 97-106.
2. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., and Anderson T., 1997. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 1997.
3. von Praun, C., and Gross, T., 2001. Object race detection. In: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, 2001, 70-82.
4. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., and Stata, R., 2002. Extended static checking for Java. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, 2002, 234-245.
5. Choi, J.D., Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., and Sridhara, M., 2002. Efficient and precise data race detection for multithreaded object oriented programs. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, 2002, 258-269.
6. O'Callahan, R., and Choi, J.D., 2003. Hybrid dynamic data race detection, In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003, 167-178.
7. Pozniansky, E., and Schuster A., 2003. Efficient on-the-fly data race detection in multithreaded C++ programs. In: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, 2003, 179-190.
8. Flanagan, C., and Freund, S. N., 2008. Atomizer: A dynamic atomicity checker for multithreaded programs. Science of Computer Programming 71 (2008) 89-109.
9. Havelund, K., 2000. Using runtime analysis to guide model checking of Java programs. In SPIN (2000) 245-264.
10. Artho, C., Biere, A.., 2001. Applying static analysis to largescale, multi-threaded Java programs. In ASWEC (2001) 68-75.
11. Engler, D., Ashcraft, K., 2003. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP (2003) 237-252.
12. Chaki, S., Clarke, E., Ouaknine, J., and Sharygina, N, 2004. Automated, compositional and iterative deadlock detection. In MEMOCODE (2004) 201-210.
13. Williams A., Thies W., and Ernst M. D., 2005. Static deadlock detection for Java libraries. In ECOOP 2005: Object-Oriented Programming, 19th European Conference.
14. Edelstein, O., Farchi E., Nir Y., Ratsaby G., and Ur S., 2002. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111-125.
15. Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P. A., Neamtiu, I., 2008. Finding and Reproducing Heisenbugs in Concurrent Programs. In Operating System Design and Implementation (OSDI), 2008, pages 267-280.
16. Chockler, H., Farchi, E., Godlin, B., and Novikov, S., 2007. Cross-entropy based testing. In Proceedings of Formal Methods in Computer Aided Design (FMCAD), pages 101-108. IEEE Computer Society, 2007.
17. Bensalem, S., Fernandez J.C., Havelund K., and Mounier L., 2006. Confirmation of deadlock potentials detected by runtime analysis. In PADTAD '06: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging.
18. Nir-Buchbinder, Y., Tzoref, R., and Ur, S., 2008. Deadlocks: from Exhibiting to Healing. In Proc. 8th Workshop on Runtime Verification.
19. Letko, Z., Vojnar, T., and Bohuslav, K., 2008. AtomRace: Data Race and Atomicity Violation Detector and Healer. In PADTAD '08: Proceeding of the 2008 workshop on Parallel and distributed systems: testing and debugging.
20. Bron, A., Farchi, E., Magid, Y., Nir, Y. and Ur, S., 2005. Applications of synchronization coverage. In PPoPP, 2005.
21. Lu, S., Park, S., Seo, E., and Zhou, Y., 2008. Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, pages 329-339, New York, NY, USA, 2008. ACM.
22. Choi J. D., and Srinivasan H., 1998. Deterministic replay of Java Multithreaded Applications. In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pp. 48-59, Welches, Oregon, 1998.