RaceMob: Crowdsourced data race detection

SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles

Volumn , Issue , 2013, Pages 406-422

  Kasikci, Baris ^a   Zamfir, Cristian ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA RACE DETECTION; DATA-RACE DETECTORS; FALSE NEGATIVES; FALSE POSITIVE; MULTI-THREADED SYSTEM; ORDERS OF MAGNITUDE; RUNTIME OVERHEADS; SYSTEM DEVELOPERS;

DETECTORS;

PROGRAM DEBUGGING;

EID: 84889666259     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2517349.2522736     Document Type: Conference Paper

References (48)

1. Folding@home. http://folding.stanford.edu.
2. SETI@home. http://setiathome.berkeley.edu.
3. A history of Windows. http://windows.microsoft.com/en-us/windows/history, 2013.
4. G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Intl. Conf. on Compiler Construction, 2004.
5. H.-J. Boehm. How to miscompile programs with "benign" data races. In USENIX Workshop on Hot Topics in Parallelism, 2011.
6. M. D. Bond, K. E. Coons, and K. S. McKinley. PACER: Proportional detection of data races. In Intl. Conf. on Programming Language Design and Implem., 2010.
7. 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. SIGPLAN Notices, 37(5):258-269, 2002.
8. Cisco. Cisco visual networking index: Global mobile data traffic forecast update, 2012-2017. http://www.cisco.com/en/US/solutions/collateral/ns341/ns525/ ns537/ns705/ns827/white-paper-c11-520862.html.
9. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: A race and transaction-aware Java runtime. In Intl. Conf. on Programming Language Design and Implem., 2007.
10. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In Symp. on Operating Systems Principles, 2003.
11. P. Eriksson. Parallel file scanner. http://ostatic.com/pfscan, 2013.
12. B. Fitzpatrick. Memcached. http://memcached.org, 2013.
13. C. Flanagan and S. N. Freund. Fasttrack: Efficient and precise dynamic race detection. In Intl. Conf. on Programming Language Design and Implem., 2009.
14. J. Gilchrist. Parallel BZIP2. http://compression.ca/pbzip2, 2013.
15. K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan, G. Nichols, D. Grant, G. Loihle, and G. Hunt. Debugging in the (very) large: Ten years of implementation and experience. In Symp. on Operating Systems Principles, 2009.
16. P. Godefroid and N. Nagappan. Concurrency at Microsoft - An exploratory survey. In Intl. Conf. on Computer Aided Verification, 2008.
17. Apache httpd. http://httpd.apache.org, 2013.
18. Intel Corp. Parallel Inspector. http://software.intel.com/en-us/articles/ intel-parallel-inspector, 2012.
19. ISO/IEC 14882:2011: Information technology - programming languages - C++. International Organization for Standardization, 2011.
20. ISO/IEC 9899:2011: Information technology - programming languages - C. International Organization for Standardization, 2011.
21. G. Jin, A. Thakur, B. Liblit, and S. Lu. Instrumentation and sampling strategies for cooperative concurrency bug isolation. SIGPLAN Not., 2010.
22. G. Jin, W. Zhang, D. Deng, B. Liblit, and S. Lu. Automated concurrency-bug fixing. In Symp. on Operating Sys. Design and Implem., 2012.
23. S. B. John Erickson, Madanlal Musuvathi and K. Olynyk. Effective data-race detection for the kernel. In Symp. on Operating Sys. Design and Implem., 2010.
24. B. Kasikci, C. Zamfir, and G. Candea. Data races vs. data race bugs: Telling the difference with Portend. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2012.
25. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), 1978.
26. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis and transformation. In Intl. Symp. on Code Generation and Optimization, 2004.
27. D. Lee, P. M. Chen, J. Flinn, and S. Narayanasamy. Chimera: Hybrid program analysis for determinism. In Intl. Conf. on Programming Language Design and Implem., 2012.
28. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In Intl. Conf. on Programming Language Design and Implem., 2005.
29. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - A comprehensive study on real world concurrency bug characteristics. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2008.
30. B. Lucia and L. Ceze. Cooperative empirical failure avoidance for multithreaded programs. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2013.
31. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: Effective sampling for lightweight data-race detection. In Intl. Conf. on Programming Language Design and Implem., 2009.
32. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In Intl. Conf. on Programming Language Design and Implem., 2006.
33. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. Intl. Conf. on Programming Language Design and Implem., 2007.
34. G. C. Necula, S. McPeak, S. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Intl. Conf. on Compiler Construction, 2002.
35. G. Novark, E. D. Berger, and B. G. Zorn. Exterminator: Automatically correcting memory errors with high probability. In Intl. Conf. on Programming Language Design and Implem., 2007.
36. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Symp. on Principles and Practice of Parallel Computing, 2003.
37. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multithreaded C++ programs. In Symp. on Principles and Practice of Parallel Computing, 2003.
38. 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), 1997.
39. K. Sen. Race directed random testing of concurrent programs. Intl. Conf. on Programming Language Design and Implem., 2008.
40. K. Serebryany and T. Iskhodzhanov. ThreadSanitizer - Data race detection in practice. In Workshop on Binary Instrumentation and Applications, 2009.
41. J. P. Singh, W.-D. Weber, and A. Gupta. SPLASH: Stanford parallel applications for shared memory. Technical Report CSL-TR-92-526, Stanford University Computer Systems Laboratory, 1992.
42. SQLite. http://www.sqlite.org/, 2013.
43. R. von Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer. Capriccio: Scalable threads for Internet services. In Symp. on Operating Systems Principles, 2003.
44. J. W. Voung, R. Jhala, and S. Lerner. RELAY: Static race detection on millions of lines of code. In Symp. on the Foundations of Software Eng., 2007.
45. R. P. Wilson and M. S. Lam. Efficient context-sensitive pointer analysis for C programs. In Intl. Conf. on Programming Language Design and Implem., 1995.
46. W. Xiong, S. Park, J. Zhang, Y. Zhou, and Z. Ma. Ad-hoc synchronization considered harmful. In Symp. on Operating Sys. Design and Implem., 2010.
47. J. Yang, A. Cui, S. Stolfo, and S. Sethumadhavan. Concurrency attacks. In USENIX Workshop on Hot Topics in Parallelism, 2012.
48. J. Yu and S. Narayanasamy. A case for an interleaving constrained shared-memorymulti-processor. In Intl. Symp. on Computer Architecture, 2009.