SingleTrack: A dynamic determinism checker for multithreaded programs

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

Volumn 5502, Issue , 2009, Pages 394-409

  Sadowski, Caitlin ^a   Freund, Stephen N ^b   Flanagan, Cormac ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT THREADS; MULTI-THREADED PROGRAMS; NEW THREAD; NON INTERFERENCE; NONINTERFERENCE PROPERTIES; PARALLEL CODE; PROTOTYPE IMPLEMENTATIONS; SERIALIZABILITY; SYNCHRONIZATION PRIMITIVE;

ERRORS; MULTITASKING; SOFTWARE PROTOTYPING;

DYNAMIC ANALYSIS;

EID: 67650176043     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00590-9_28     Document Type: Conference Paper

References (24)

1. Java Grande benchmark suite (2008), http://www.javagrande.org
2. Cheng, G.-I., Feng, M., Leiserson, C.E., Randall, K.H., Stark, A.F.: Detecting data races in Cilk programs that use locks. In: SPAA, pp. 298-309 (1998)
3. Choi, J.-D., Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., Sridhara, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: PLDI, pp. 258-269 (2002) (Pubitemid 34991524)
4. Christiaens, M., Bosschere, K.D.: TRaDe: Data Race Detection for Java. In: Alexandrov, V.N., Dongarra, J., Juliano, B.A., Renner, R.S., Tan, C.J.K. (eds.) ICCS-Comput Sci 2001. LNCS, vol. 2074, pp. 761-770. Springer, Heidelberg (2001) (Pubitemid 33285640)
5. Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware Java runtime. In: PLDI, pp. 245-255 (2007) (Pubitemid 47630692)
6. Farzan, A., Madhusudan, P.: Causal atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 315-328. Springer, Heidelberg (2006) (Pubitemid 44560887)
7. Feng, M., Leiserson, C.E.: Efficient detection of determinacy races in Cilk programs. In: SPAA, pp. 1-11 (1997)
8. Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: POPL, pp. 256-267 (2004)
9. Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. TOPLAS 30(4), 1-53 (2008)
10. Flanagan, C., Freund, S.N., Yi, J.: Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI (2008)
11. Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA, pp. 388-402 (2003)
12. Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPOPP, pp. 48-60 (2005) (Pubitemid 43182832)
13. Lipton, R.J.: Reduction: A method of proving properties of parallel programs. Communications of the ACM 18(12), 717-721 (1975)
14. Mattern, F.: Virtual time and global states of distributed systems. In: International Workshop on Parallel and Distributed Algorithms (1988)
15. Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Supercomputing, pp. 24-33 (1991)
16. Netzer, R.H.B., Miller, B.P.: What are race conditions? some issues and formalizations. LOPLAS 1, 74-88 (1992)
17. Pozniansky, E., Schuster, A.: Efficient on-the-fly data race detection in multithreaded C++ programs. In: PPOPP, pp. 179-190 (2003)
18. Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: PPOPP, pp. 83-94 (2005) (Pubitemid 43182835)
19. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: A dynamic data race detector for multi-threaded programs. TOCS 15(4), 391-411 (1997) (Pubitemid 127449840)
20. Schonberg, E.: On-the-fly detection of access anomalies. In: PLDI, pp. 285-297 (1989)
21. Shavit, N., Touitou, D.: Software transactional memory. In: PODC, pp. 204-213 (1995)
22. Vitek, J., Jagannathan, S., Welc, A., Hosking, A.L.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 249-263. Springer, Heidelberg (2004)
23. von Praun, C., Gross, T.: Object race detection. In: OOPSLA, pp. 70-82 (2001) (Pubitemid 35009060)
24. Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPOPP, pp. 137-146 (2006) (Pubitemid 44758684)