Detecting and surviving data races using complementary schedules

SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles

Volumn , Issue , 2011, Pages 369-384

  Veeraraghavan, Kaushik ^a   Chen, Peter M ^a   Flinn, Jason ^a   Narayanasamy, Satish ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

data race detection; data race survival; uniparallelism

Indexed keywords

COMMON SOURCE; DATA RACE DETECTION; DATA RACES; IF THERE ARE; MULTI-THREADED PROGRAMS; PROGRAM EXECUTION; RACE DETECTION; RECOVERY STRATEGIES; RUNTIMES; SERVER APPLICATIONS; UNIPARALLELISM;

DETECTORS; ERRORS; MULTITASKING; PROGRAM DIAGNOSTICS;

PROGRAM DEBUGGING;

EID: 82655188175     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2043556.2043590     Document Type: Conference Paper

References (53)

1. A. Avizienis. The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering, SE-11(12):1491-1501, December 1985.
2. E. Barrantes, D. Ackley, S. Forrest, T. Palmer, D. Stefanovic, and D. Zovi. Randomized instruction set emulation to disrupt binary code injection attacks. In Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS), Washington, DC, October 2003.
3. E. D. Berger, T. Yang, T. Liu, and G. Novark. Grace: Safe multithreaded programming for C/C++. In Proceedings of the International Conference on Object Oriented Programming Systems, Languages, and Applications, pages 81-96, Orlando, FL, October 2009.
4. E. D. Berger and B. G. Zorn. DieHard: Probabilistic memory safety for unsafe languages. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Canada, June 2006.
5. R. L. Bocchino, Jr., V. S. Adve, D. Dig, S. V. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian. A type and effect system for deterministic parallel Java. In Proceedings of the International Conference on Object Oriented Programming Systems, Languages, and Applications, pages 97-116, Orlando, FL, October 2009.
6. M. D. Bond, K. E. Coons, and K. S. McKinley. PACER: Proportional detection of data races. In Proceedings of the ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation, Toronto, Canada, June 2010.
7. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the 17th Annual ACM Conference on Object Oriented Programming Systems, Languages, and Applications, pages 211-230, Seattle, WA, November 2002.
8. N. Budhiraja, K. Marzullo, F. B. Schneider, and S. Toueg. The primary-backup approach. Addison-Wesley, 1993. in Distributed Systems, edited by Sape Mullender.
9. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - A technique for cheap recovery. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 31-44, San Francisco, CA, December 2004.
10. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002.
11. B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight, A. Nguyen-Tuong, and J. Hiser. N-variant systems: A secretless framework for security through diversity. In USENIX Security, August 2006.
12. H. Cui, J. Wu, C.-C. Tsai, and J. Yang. Stable deterministic multithreading through schedule memoization. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation, Vancouver, BC, October 2010.
13. D. Engler and K. Ashcraft. RacerX: Efficient static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 237-252, Bolton Landing, NY, 2003.
14. J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk. Effective data-race detection for the kernel. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation, Vancouver, BC, October 2010.
15. C. Flanagan and S. Freund. FastTrack: Efficient and precise dynamic race detection. In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, pages 121-133, Dublin, Ireland, June 2009.
16. P. Fonseca, C. Li, and R. Rodrigues. Finding complex concurrency bugs in large multi-threaded applications. In Proceedings of the European Conference on Computer Systems, Salzburg, Austria, April 2011.
17. S. Forrest, A. Somayaji, and D. Ackley. Building diverse computer systems. In Proceedings of the 6th Workshop on Hot Topics in Operating Systems, pages 67-72, Cape Cod, MA, May 1997.
18. P. Godefroid. Model checking for programming languages using VeriSoft. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 174-186, Paris, France, January 1997.
19. R. Huang, D. Y. Den, and G. E. Suh. Orthrus: Efficient software integrity protection on multi-cores. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 371-383, Pittsburgh, PA, March 2010.
20. Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton. Software rejuvenation: Analysis, module and applications. In Proceedings of the 25th International Symposium of Fault-Tolerant Computing, pages 381-390, Pasadena, CA, June 1995.
21. H. Jula, D. Tralamazza, C. Zamfir, and G. Candea. Deadlock immunity: Enabling systems to defend against deadlocks. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation, pages 294-308, San Diego, CA, December 2008.
22. G. S. Kc, A. D. Keromytis, and V. Prevelakis. Countering code-injection attacks with instruction-set randomization. In Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS), Washington, DC, October 2003.
23. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978. (Pubitemid 8615486)
24. D. Lee, B. Wester, K. Veeraraghavan, P. M. Chen, J. Flinn, and S. Narayanasamy. Respec: Efficient online multiprocessor replay via speculation and external determinism. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 77-89, Pittsburgh, PA, March 2010.
25. N. G. Leveson and C. S. Turner. Investigation of the Therac-25 accidents. IEEE Computer, 26(7):18-41, 1993.
26. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, San Diego, CA, October 2000.
27. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 329-339, 2008.
28. R. E. Lyons and W. Vanderkulk. The use of triple-modular redundancy to improve computer reliability. IBM Journal of Research and Development, 6(2):200-209, 1962.
29. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: efficient sampling for lightweight data-race detection. In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, Dublin, Ireland, June 2009.
30. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing Heisenbugs in concurrent programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation, pages 267-280, San Diego, CA, December 2008.
31. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, June 2007.
32. E. B. Nightingale, P. M. Chen, and J. Flinn. Speculative execution in a distributed file system. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, pages 191-205, Brighton, United Kingdom, October 2005.
33. K. Poulsen. Software bug contributed to blackout. SecurityFocus, 2004.
34. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multithreaded C++ programs. In Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 179-190, San Diego, CA, June 2003.
35. M. Prvulovic and J. Torrellas. ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes. In Proceedings of the 30th Annual International Symposium on Computer architecture, pages 110-121, San Diego, California, 2003.
36. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating bugs as allergies-a safe method to survive software failures. In ACM Symposium on Operating Systems Principles, pages 235-248, Brighton, United Kingdom, October 2005.
37. M. Ronsse and K. De Bosschere. RecPlay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2):133-152, May 1999. (Pubitemid 129541508)
38. P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas. Accurate and efficient filtering for the Intel thread checker race detector. In Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, pages 34-41, San Jose, CA, October 2002.
39. B. Salamat, T. Jackson, A. Gal, and M. Franz. Orchestra: Intrusion detection using parallel execution and monitoring of program variants in user-space. In Proceedings of the European Conference on Computer Systems, April 2009.
40. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, November 1997. (Pubitemid 127449840)
41. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys, 22(4):299-319, December 1990.
42. E. Schonberg. On-the-fly detection of access anomalies. In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation, Portland, OR, June 1989.
43. K. Serebryany and T. Iskhodzhanov. ThreadSanitizer: Data race detection in practice. In Proceedings of the Workshop on Binary Instrumentation and Applications, December 2009.
44. K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. DoublePlay: Parallelizing sequential logging and replay. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Long Beach, CA, March 2011.
45. J. von Neumann. Probabilistic logics and the synthesis of reliable organisms from unreliable components. Automata Studies, pages 43-98, 1956.
46. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, and S. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation, pages 281-294, San Diego, CA, December 2008.
47. Y.-M. Wang, Y. Huang, and W. K. Fuchs. Progressive retry for software error recovery in distributed systems. In Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 1993.
48. J. We, H. Cui, and J. Yang. Bypassing races in live applications with execution filters. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation, Vancouver, BC, October 2010.
49. M. Xu, R. Bodik, and M. D. Hill. A serializability violation detector for shared-memory server programs. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, June 2005.
50. J. Yu. Collection of concurrency bugs. http://www.eecs.umich.edu/ jieyu/bugs.html.
51. J. Yu and S. Narayanasamy. A case for an interleaving constrained shared-memory multi-processor. In Proceedings of the 36th Annual International Symposium on Computer Architecture, pages 325-336, June 2009.
52. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, pages 221-234, Brighton, United Kingdom, October 2005.
53. A. R. Yumerefendi, B. Mickle, and L. P. Cox. TightLip: Keeping applications from spilling the beans. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation, pages 159-172, Cambridge, MA, April 2007.