Meta-analysis for atomicity violations under nested locking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5643 LNCS, Issue , 2009, Pages 248-262

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

^a UNIVERSITY OF TORONTO   (Canada)

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

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAM; EFFICIENT ALGORITHM; INTERLEAVINGS; META-ANALYSIS; NUMBER OF THREADS; SINGLE VARIABLE;

ALGORITHMS;

COMPUTER AIDED ANALYSIS;

EID: 70350214812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_21     Document Type: Conference Paper

References (19)

1. Chen, F., Serbanuta, T.F., Rosu, G.: Jpredictor: a predictive runtime analysis tool for java. In: ICSE, pp. 221-230 (2008)
2. Farzan, A., Madhusudan, P.: Causal atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 315-328. Springer, Heidelberg (2006)
3. Farzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 52-65. Springer, Heidelberg (2008)
4. Farzan, A., Madhusudan, P.: The complexity of predicting atomicity violations. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 155-169. Springer, Heidelberg (2009)
5. Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multi-threaded programs. In: POPL, pp. 256-267 (2004)
6. Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI, pp. 293-303 (2008)
7. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI, pp. 338-349 (2003)
8. Hatcliff, J., Robby, Dwyer, M.: Verifying atomicity specifications for concurrent object-oriented software using model-checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 175-190. Springer, Heidelberg (2004)
9. Kahlon, V., Ivancic, F., Gupta, A.: Reasoning about threads communicating via locks. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 505-518. Springer, Heidelberg (2005)
10. Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM 18(12), 717-721 (1975)
11. Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proc. ASPLOS (2008)
12. Papadimitriou, C.: The theory of database concurrency control. Computer Science Press, Inc., New York (1986)
13. Tucek, S.J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: ASPLOS, pp. 37-48 (2006)
14. Sen, K., Rosu, G., Agha, G.: Online efficient predictive safety analysis of multi-threaded programs. STTT 8(3), 248-260 (2006)
15. Java Grande Benchmark Suite, http://www.javagrande.org/
16. von Praun, C., Gross, T.R.: Object racedetection. SIGPLAN Not. 36(11), 70-82 (2001)
17. Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPoPP, pp. 137-146 (2006)
18. Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multi-threaded programs. IEEE Transactions on Software Engineering 32, 93-110 (2006)
19. Xu, M., Bodík, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. SIGPLAN Not. 40(6), 1-14 (2005)