Monitoring atomicity in concurrent programs

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

Volumn 5123 LNCS, Issue , 2008, Pages 52-65

  Farzan, Azadeh ^a   Madhusudan, P ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK APPLICATIONS; COMPUTER AIDED VERIFICATION; CONCURRENT MODELING; CONCURRENT PROGRAMS; EFFICIENT MONITORING; EXPERIMENTAL EVIDENCE; FINITE STATES; INTERNATIONAL CONFERENCES; MODEL-CHECKING PROBLEMS; SCHEDULING ALGORITHMS;

BENCHMARKING; COMPUTER AIDED ANALYSIS; CONCURRENCY CONTROL; GROUND OPERATIONS; MILITARY OPERATIONS;

MODEL CHECKING;

EID: 48949107388     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_8     Document Type: Conference Paper

References (27)

1. Alur, R.: Personal communication
2. Alur, R., McMillan, K.L., Peled, D.: Model-checking of correctness conditions for concurrent objects. Information and Computation 160(1-2), 167-188 (2000)
3. Ball, T., Rajamani, S.K.: The slam project: debugging system software via static analysis. In: POPL, pp. 1-3 (2002)
4. Bernstein, P.A., Goodman, N.: Concurrency control in distributed database systems. ACM Comput. Surv. 13(2), 185-221 (1981)
5. Casanova, M.A.: Concurrency Control Problem for Database Systems. Springer, New York (1981)
6. Engler, D.R., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. In: SOSP, pp. 237-252 (2003)
7. Farzan, A., Madhusudan, P.: Causal Atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 315-328. Springer, Heidelberg (2006)
8. Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: POPL 2004, pp. 256-267 (2004)
9. Flanagan, C., Qadeer, S.: Types for atomicity. In: TLDI, pp. 1-12 (2003)
10. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: ACM SIGP-PLAN PLDI 2003, pp. 338-349. ACM Press, New York (2003)
11. Fle, M.P., Roucairol, G.: On serializability of iterated transactions. In: PODC 1982: Proc. of ACM SIGACT-SIGOPS PODC, pp. 194-200. ACM Press, New York (1982)
12. Hadzilacos, T., Yannakakis, M.: Deleting completed transactions. In: ACM SIGACT-SIGMOD PODS, pp. 43-46 (1986)
13. 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)
14. Java Grand Benchmark Suite, http://www.javagrande.org/
15. Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM 18(12), 717-721 (1975)
16. Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In: ASPLOS (2008)
17. Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: Detecting atomicity violations via access-interleaving invariants. In: ASPLOS (2006)
18. Naik, M., Aiken, A., Whaley, J.: Effective static race detection for java. In: Schwartzbach, M.I., Ball, T. (eds.) PLDI, pp. 308-319. ACM, New York (2006)
19. Netzer, R.H.B., Miller, B.P.: What are race conditions? some issues and formalizations. LOPLAS 1(1), 74-88 (1992)
20. Papadimitriou, C.: The theory of database concurrency control. Computer Science Press, Inc., USA (1986)
21. von Praun, C., Gross, T.R.: Object race detection. SIGPLAN Not. 36(11), 70-82 (2001)
22. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multi-threaded programs. In: SOSP (1997)
23. Shavit, N., Touitou, D.: Software transactional memory. In: PODC, pp. 204-213 (1995)
24. Wang, L., Stoller, S.D.: Personal communication
25. Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPoPP, pp. 137-146 (2006)
26. Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multi-threaded programs. IEEE Transactions on Software Engineering 32, 93-110 (2006)
27. Xu, M., Bodík, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. SIGPLAN Not. 40(6), 1-14 (2005)