Ad hoc synchronization considered harmful

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010

Volumn , Issue , 2019, Pages 163-176

  Xiong, Weiwei ^b   Park, Soyeon ^a   Zhang, Jiaqi ^a   Zhou, Yuanyuan ^a   Ma, Zhiqiang ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

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

^c INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; C++ (PROGRAMMING LANGUAGE); SYSTEMS ANALYSIS;

ANALYSIS TOOLS; AUTO-ANNOTATION; CONCURRENT PROGRAM; ERROR PRONES; FALSE POSITIVE; FALSE POSITIVE RATES; MULTI-THREADED PROGRAMS; PERFORMANCE ISSUES;

SYNCHRONIZATION;

EID: 85076884159     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (50)

1. Java annotations. http://java.sun.com/j2se/1.5.0/docs/guide/language/annotations.html.
2. Lock Lint - Static data race and deadlock detection tool for C. http://developers.sun.com/sunstudio/articles/locklint.html.
3. Miscompiled volatile-qualified variables. https://www.securecoding.cert.org/confluence/display/ seccode/DCL17- C.+Beware+of+miscompiled+ volatile- qualified+variables.
4. MSDN run-time library reference - SAL annotations. http://msdn2.microsoft.com/en- us/library/ ms235402.aspx.
5. BOEHM, H.-J., AND ADVE, S. V. Foundations of the c++ concurrency memory model. In PLDI'08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (New York, NY, USA, 2008), ACM, pp. 68-78.
6. BRON, A., FARCHI, E., MAGID, Y., NIR, Y., AND UR, S. Applications of synchronization coverage. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA (2005), ACM, pp. 206-212.
7. BURNS, B., GRIMALDI, K., KOSTADINOV, A., BERGER, E. D., AND CORNER, M. D. Flux: A language for programming high-performance servers. In USENIX Annual Technical Conference, General Track (2006), USENIX, pp. 129-142.
8. CHOU, A., YANG, J., CHELF, B., HALLEM, S., AND ENGLER, D. R. An empirical study of operating system errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (18th SOSP'01) (Banff, Alberta, Canada, Oct. 2001), ACM SIGOPS, pp. 73-88.
9. CONDIT, J., HARREN, M., ANDERSON, Z. R., GAY, D., AND NECULA, G. C. Dependent types for low-level programming. In Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007 (2007), Springer, pp. 520-535.
10. DUDNIK, P., AND M.SWIFT, M. Condition variables and transactional memory: Problem or oppertunity? In 4th ACM SIGPLAN Workshop on Transactional Computing(Transact).
11. ENGLER, D., AND ASHCRAFT, K. RacerX: effective, static detection of race conditions and deadlocks. In Proceedings of the nineteenth ACM symposium on Operating systems principles (Oct. 19-22 2003), pp. 237-252.
12. FLANAGAN, C., AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL'04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 2004), ACM, pp. 256-267.
13. HERLIHY, M., AND MOSS, J. E. B. Transactional memory: Architectural support for lock-free data structures. In ISCA (1993), pp. 289-300.
14. HOARE, C. A. R. Monitors: an operating system structuring concept. Communications of the ACM 17 (1974), 549-557.
15. HORWITZ, S., REPS, T. W., AND BRINKLEY, D. Interprocedural slicing using dependence graphs. In Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI) (Atlanta, Georgia, 1988), pp. 35-46.
16. HOWARD, J. H. Proving monitors. Commun. ACM 19, 5 (1976), 273-279.
17. INTEL CORPORATION. Intel thread checker. http://software.intel.com/en- us/articles/ intel- thread- checker- documentation/.
18. JANNESARI, A., AND TICHY, W. F. Identifying ad-hoc synchronization for enhanced race detection. In IPDPS(April 2010), IEEE.
19. JAYARAM BOBBA, NEELAM GOYAL, M. H.-M. S. D. W. Tokentm: Efficient execution of large transactions with hardware transactional memory. In International Symposium on Computer Architecture (June 2008), pp. 127-138.
20. JULA, H., TRALAMAZZA, D. M., ZAMFIR, C., AND CANDEA, G. Deadlock immunity: Enabling systems to defend against deadlocks. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA (2008), pp. 295-308.
21. LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558-565.
22. LAMPSON, B., AND REDELL, D. Experience with processes and monitors in mesa. Communications of the ACM 23, 2 (Feb. 1980), 105-117.
23. LATTNER, C., AND ADVE, V. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04) (Palo Alto, California, Mar 2004).
24. LI, T., ELLIS, C. S., LEBECK, A. R., AND SORIN, D. J. Pulse: A dynamic deadlock detection mechanism using speculative execution. In USENIX Annual Technical Conference, General Track (2005), pp. 31-44.
25. LI, T., LEBECK, A. R., AND SORIN, D. J. Spin detection hardware for improved management of multithreaded systems. IEEE Transactions on Parallel and Distributed Systems PDS-17, 6 (June 2006), 508-521.
26. LU, S., PARK, S., SEO, E., AND ZHOU, Y. Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In Proceedings of the International Conference on Architecture Support for Programming Languages and Operating Systems (March 2008).
27. LU, S., TUCEK, J., QIN, F., AND ZHOU, Y. Avio: detecting atomicity violations via access interleaving invariants. In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems (New York, NY, USA, 2006), ACM, pp. 37-48.
28. MANSON, J., PUGH, W., AND V.ADVE, S. The java memory model. In POPL(January 2005), ACM.
29. MILLER, B. P., CALLAGHAN, M. D., CARGILLE, J. M., HOLLINGSWORTH, J. K., IRVIN, R. B., KARAVANIC, K. L., KUNCHITHAPADAM, K., AND NEWHALL, T. The paradyn parallel performance measurement tool. Special issue on performance evaluation tools for parallel and distributed computer systems 28 (November 1995), 37-46.
30. MINH, C. C., TRAUTMANN, M., CHUNG, J., MCDONALD, A., BRONSON, N., CASPER, J., KOZYRAKIS, C., AND OLUKOTUN, K. An effective hybrid transactional memory system with strong isolation guarantees. In ISCA'07: Proceedings of the 34th annual international symposium on Computer architecture (New York, NY, USA, 2007), ACM, pp. 69-80.
31. MUSUVATHI, M., QADEER, S., BALL, T., BASLER, G., NAINAR, P. A., AND NEAMTIU, I. Finding and reproducing heisenbugs in concurrent programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings (2008), USENIX Association, pp. 267-280.
32. NAKKA, N., SAGGESE, G. P., KALBARCZYK, Z., AND IYER, R. An architectural framework for detecting process hangs/crashes. In EDCC: EDCC, European Dependable Computing Conference (2005).
33. NETHERCOTE, N., AND SEWARD, J. Valgrind: a framework for heavyweight dynamic binary instrumentation. SIGPLAN Not. 42, 6 (2007), 89-100.
34. OSTRAND, T. J., WEYUKER, E. J., AND BELL, R. M. Predicting the location and number of faults in large software systems. IEEE Trans. Software Eng 31, 4 (2005), 340-355.
35. PADIOLEAU, Y., TAN, L., AND ZHOU, Y. Listening to programmers taxonomies and characteristics of comments in operating system code. In ICSE'09: Proceedings of the 31st International Conference on Software Engineering (Washington, DC, USA, 2009), IEEE Computer Society, pp. 331-341.
36. PARK, S., LU, S., AND ZHOU, Y. CTrigger: exposing atomicity violation bugs from their hiding places. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009 (2009), ACM, pp. 25-36.
37. RAJWAR, R., AND HILL, M. Transactional memory bibliography. http://www.cs.wisc.edu/trans-memory/biblio/.
38. REPS, T., AND ROSAY, G. Precise interprocedural chopping. In SIGSOFT'95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering (New York, NY, USA, 1995), ACM, pp. 41-52.
39. ROSSBACH, C. J., HOFMANN, O. S., PORTER, D. E., RAMADAN, H. E., ADITYA, B., AND WITCHEL, E. Txlinux: using and managing hardware transactional memory in an operating system. In Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007 (2007), ACM, pp. 87-102.
40. SHAVIT, N., AND TOUITOU, D. Software transactional memory. In Symposium on Principles of Distributed Computing (1995), ACM Press.
41. STERLING, N. WARLOCK - A static data race analysis tool. In USENIX Winter Technical Conference (1993), pp. 97-106.
42. SULLIVAN, M., AND CHILLAREGE, R. A comparison of software defects in database management systems and operating systems. In FTCS (1992), pp. 475-484.
43. SUN MICROSYSTEMS INC. Thread analyzer user's guide. http://dlc.sun.com/pdf/820-0619/820-0619.pdf.
44. TIM HARRIS, SIMON MARLOW, S. P.-J. M. H. Composable memory transactions. In ACM SIGPLAN symposium on Principles and practice of parallel programming (2005).
45. V.ADVE, S., AND GHARACHORLOO, K. Shared memory consistency models: A tutorial. In computer (1996), IEEE.
46. VAZIRI, M., TIP, F., AND DOLBY, J. Associating synchronization constraints with data in an object-oriented language. In POPL'06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 2006), ACM, pp. 334-345.
47. WANG, Y., KELLY, T., KUDLUR, M., LAFORTUNE, S., AND MAHLKE, S. A. Gadara: Dynamic deadlock avoidance for multithreaded programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA (2008), pp. 281-294.
48. WEISER, M. Program slicing. In ICSE'81: Proceedings of the 5th international conference on Software engineering (Piscataway, NJ, USA, 1981), IEEE Press, pp. 439-449.
49. ZAMFIR, C., AND CANDEA, G. Execution synthesis: a technique for automated software debugging. In EuroSys'10: Proceedings of the 5th European conference on Computer systems (New York, NY, USA, 2010), ACM, pp. 321-334.
50. ZHOU, F., CONDIT, J., ANDERSON, Z. R., BAGRAK, I., ENNALS, R., HARREN, M., NECULA, G. C., AND BREWER, E. A. Safedrive: Safe and recoverable extensions using language-based techniques. In OSDI (2006), pp. 45-60.