Lightweight annotations for controlling sharing in concurrent data structures

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2009, Pages 98-109

  Anderson, Zachary ^a   Gay, David ^b   Naik, Mayur ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL RESEARCH   (United States)

Author keywords

Languages; Verification

Indexed keywords

C PROGRAMS; CONCURRENT DATA STRUCTURES; DATA SHARING; GROUP LEADERS; INDIVIDUAL OBJECTS; LANGUAGES; LINES OF CODE; MULTI-THREADED PROGRAMS; MULTITHREADED; NEW CONCEPT; READONLY; STATIC AND DYNAMIC; UNDERLYING CAUSE;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; CONCURRENCY CONTROL; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MULTITASKING; QUERY LANGUAGES;

FLUORINE CONTAINING POLYMERS;

EID: 70450270707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542488     Document Type: Conference Paper

References (33)

1. ANDERSON, Z., GAY, D., ENNALS, R., AND BREWER, E. SharC: checking data sharing strategies for multithreaded C. In PLDI'08, pp. 149-158.
2. ANDERSON, Z., GAY, D., AND NAIK, M. Lightweight annotations for controlling sharing in concurrent data structures. Tech. Rep. UCB/EECS-2009-44, EECS Department, University of California, Berkeley, Mar 2009.
3. BARNES, J., AND HUT, P. A hierarchical O(N log N) force-calculation algorithm. Nature 324 (Dec. 1986), 446-449.
4. BOYAPATI, C. SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT.
5. BOYAPATI, C., LEE, R., AND RTNARD, M. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA'02, pp. 211-230.
6. BOYAPATI, C., LISKOV, B., AND SHRIRA, L. Ownership types for object encapsulation. In OOPSLA'03, pp. 213-223.
7. BOYAPATI, C, SALCIANU, A., BEEBEE, JR., W., AND RTNARD, M. Ownership types for safe region-based memory management in Real-Time Java. In PLDI'03, pp. 324-337.
8. CHOI, J.-D., LEE, K., LOGTNOV, A., O'CALLAHAN, R., SARKAR, V., AND SRIDHARAN, M. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI'02, pp. 258-269.
9. CONDIT, J., HARREN, M., ANDERSON, Z., GAY, D., AND NECULA, G. Dependent types for low-level programming. In ESOP'07.
10. CRARY, K., WALKER, D., AND MORRISETT, G. Typed memory management in a calculus of capabilities. In POPL'99, pp. 262-275.
11. DEVELOPERS.SUN.COM. LockLint - static data race and deadlock detection tool for C. http://developers.sun.com/solaris/articles/locklint.html.
12. ELMAS, T, QADEER, S., AND TASIRAN, S. Goldilocks: a race and transaction-aware Java runtime. In PLDI'07, pp. 245-255.
13. ENGLER, D., AND ASHCRAFT, K. RacerX: effective, static detection of race conditions and deadlocks. In SOSP'03, pp. 237-252.
14. FLANAGAN, C, AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL'04, pp. 256-267.
15. FLANAGAN, C, FREUND, S. N., AND LIFSHTN, M. Type inference for atomicity. In TLDI'05, pp. 47-58.
16. GAY, D., AND AIKEN, A. Language support for regions. In PLDI'01, pp. 70-80.
17. GREENHOUSE, A., HALLORAN, T. J., AND SCHERLIS, W. L. Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58, 3 (2005), 384-411.
18. GROSSMAN, D. Type-safe multithreading in Cyclone. In TLDI'03.
19. KRISHNAMURTHY, A., CULLER, D. E., DUSSEAU, A., GOLDSTEIN, S. C, LUMETTA, S., VON EICKEN, T., AND YELICK, K. Parallel Programming in Split-C. In SUPERCOM'93, pp. 262-273.
20. MCCLOSKEY, B., ZHOU, F., GAY, D., AND BREWER, E. Autolocker: synchronization inference for atomic sections. In POPL'06, pp. 346-358.
21. NAIK, M., AND AIKEN, A. Conditional must not aliasing for static race detection. In PLDI'07, pp. 327-338.
22. NECULA, G. C, MCPEAK, S., AND WEIMER, W. CIL: Intermediate language and tools for the analysis of C programs. In CC'04, pp. 213-228. http://cil.sourceforge.net/.
23. PRATIKAKIS, P., FOSTER, J. S., AND HICKS, M. Locksmith: context-sensitive correlation analysis for race detection. In PLDI'06, pp. 320-331.
24. RAYSIDE, D., MENDEL, L., AND JACKSON, D. A dynamic analysis for revealing object ownership and sharing. In WODA'06, pp. 57-64.
25. SASTURKAR, A., AGARWAL, R., WANG, L., AND STOLLER, S. D. Automated type-based analysis of data races and atomicity. In PPoPP'05, pp. 83-94.
26. SAVAGE, S., BURROWS, M., NELSON, G., SOBALVARRO, P., AND ANDERSON, T. Eraser: a dynamic data race detector for multi-threaded programs. In SOSP'97, pp. 27-37.
27. SCHMIDT, D., AND HARRISON, T. Double-Checked Locking. In Chapter 20 of Pattern Languages of Program Design 3, Addison-Wesley, ISBN 0201310112.
28. TERAUCHI, T. Checking race freedom via linear programming. In PLDI'08, pp. 1-10.
29. TOFTE, M., AND TALPIN, J.-P. Region-based memory management. In Information and Computation (1977), vol. 132, pp. 109-176.
30. VON BEHREN, R., CONDIT, J., ZHOU, F., NECULA, G. C, AND BREWER, E. Capriccio: scalable threads for internet services. In SOSP'03, pp. 268-281.
31. VOUNG, J. W, JHALA, R., AND LERNER, S. RELAY: static race detection on millions of lines of code. In ESEC-FSE'07, pp. 205-214.
32. WOO, S. C, OHARA, M., TORRœ, E., SHTNGH, J. P., AND GUPTA, A. The SPLASH-2 Programs: Characterization and Methodological Considerations. In ISCA'95, pp. 24-36.
33. YU, Y, RODEHEFFER, T, AND CHEN, W Racetrack: efficient detection of data race conditions via adaptive tracking. In SOSP'05, pp. 221-234.