PENELOPE: Weaving threads to expose atomicity violations

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2010, Pages 37-46

  Sorrentino, Francesco ^a   Farzan, Azadeh ^b   Madhusudan, P ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

atomicity violation; concurrency; dynamic analysis; predictive analysis; schedule selection; testing

Indexed keywords

ALGORITHMIC PREDICTION; ATOMICITY VIOLATIONS; CONCURRENCY; CONCURRENT PROGRAM; ERROR PATTERNS; INTERLEAVINGS; PENELOPE; PREDICTIVE ANALYSIS; SALIENT FEATURES; SCHEDULE SELECTION; TEST HARNESS; TEST INPUTS; TESTING FRAMEWORK;

PREDICTIVE CONTROL SYSTEMS; SOFTWARE ENGINEERING;

DYNAMIC ANALYSIS;

EID: 78751535791     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1882291.1882300     Document Type: Conference Paper

References (23)

1. http://http://www.javagrande.org/.
2. http://jakarta.apache.org/bcel/.
3. F. Chen, T.F. Serbanuta, and G. Rosu. jpredictor: a predictive runtime analysis tool for java. In ICSE, pages 221-230, 2008.
4. A. Farzan and P. Madhusudan. Monitoring atomicity in concurrent programs. In CAV, pages 52-65, 2008.
5. A. Farzan, P. Madhusudan, and F. Sorrentino. Meta-analysis for atomicity violations under nested locking. In CAV, pages 248-262, 2009.
6. C. Flanagan and S. N Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, pages 256-267, 2004.
7. C. Flanagan, S. N. Freund, and J. Yi. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In PLDI, pages 293-303, 2008.
8. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In PLDI, pages 338-349, 2003.
9. J. Hatcliff, Robby, and M. Dwyer. Verifying atomicity specifications for concurrent object-oriented software using model checking. In VMCAI, pages 175-190, 2004.
10. V. Kahlon, F. Ivancic, and A. Gupta. Reasoning about threads communicating via locks. In CAV, pages 505-518, 2005.
11. R. J. Lipton. Reduction: a method of proving properties of parallel programs. Commun. ACM, 18(12):717-721, 1975.
12. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In ASPLOS, pages 329-339, 2008.
13. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. In PLDI, pages 446-455. ACM, 2007.
14. C. Papadimitriou. The theory of database concurrency control. Computer Science Press., 1986.
15. C-S Park and K. Sen. Randomized active atomicity violation detection in concurrent programs. In SIGSOFT '08/FSE-16, pages 135-145, New York, NY, USA, 2008. ACM.
16. S. Park, S. Lu, and Y. Zhou. Ctrigger: exposing atomicity violation bugs from their hiding places. In ASPLOS, pages 25-36, 2009.
17. S., J. Tucek, F. Qin, and Y. Zhou. Avio: detecting atomicity violations via access interleaving invariants. In ASPLOS, pages 37-48, 2006.
18. C. von Praun and T. R. Gross. Object race detection. SIGPLAN Not., 36(11):70-82, 2001.
19. C. Wang, R. Limaye, M. Ganai, and A. Gupta. Trace-based symbolic analysis for atomicity violations. In TACAS, 2010.
20. L. Wang and S. D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In PPoPP, pages 137-146, 2006.
21. L. Wang and S. D. Stoller. Runtime analysis of atomicity for multi-threaded programs. IEEE Transactions on Software Engineering, 32:93-110, 2006.
22. M. Xu, R. Bodík, and M. D. Hill. A serializability violation detector for shared-memory server programs. SIGPLAN Not., 40(6):1-14, 2005.
23. J. Yi, C. Sadowski, and C. Flanagan. Sidetrack: generalizing dynamic atomicity analysis. In PADTAD, pages 1-10, 2009.