SharC: Checking data sharing strategies for multithreaded C

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

Volumn , Issue , 2008, Pages 149-158

  Anderson, Zachary ^a   Gay, David ^b   Ennals, Rob ^b   Brewer, Eric ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL RESEARCH   (United States)

Author keywords

Languages

Indexed keywords

BASE-LINES; C PROGRAMS; DATA SHARING; DYNAMIC MODES; FALSE POSITIVES; LANGUAGES; LINES OF CODES; MULTITHREADED; MULTITHREADED PROGRAMS; REFERENCE COUNTING; STATIC AND DYNAMICS; STATIC SYSTEMS; STATIC TYPES; TIME CHECKING;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTERS; DYNAMIC ANALYSIS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MULTITASKING; PROGRAM DEBUGGING; QUERY LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 57349105680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375600     Document Type: Conference Paper

References (26)

1. AGARWAL, R., SASTURKAR, A., WANG, L., AND STOLLER, S. D. Optimized run-time race detection and atomicity checking using partial discovered types. In ASE'05.
2. ANDERSON, Z. R., GAY, D., ENNALS, R., AND BREWER, E. SharC: Checking data sharing strategies for multithreaded C. Tech. Rep. UCB/EECS-2008-25, EECS Department, University of California, Berkeley, Mar 2008.
3. BOYAPATI, C., LEE, R., AND RINARD, M. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA'02, pp. 211-230.
4. CHENG, G.-I., FENG, M., LEISERSON, C. E., RANDALL, K. H., AND STARK, A. F. Detecting data races in Cilk programs that use locks. In SPAA'98, pp. 298-309.
5. CHOI, J.-D., LEE, K., LOGINOV, 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.
6. CONDIT, J., HARREN, M., ANDERSON, Z., GAY, D., AND NECULA, G. Dependent types for low-level programming. In ESOP'07.
7. ELMAS, T., QADEER, S., AND TASIRAN, S. Goldilocks: a race and transaction-aware Java runtime. In PLDI'07, pp. 245-255.
8. ENGLER, D., AND ASHCRAFT, K. RacerX: effective, static detection of race conditions and deadlocks. In SOSP'03, pp. 237-252.
9. FLANAGAN, C., AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL'04, pp. 256-267.
10. FOSTER, J. S., FAHNDRICH, M., AND AIKEN, A. A theory of type qualifiers. In PLDI'99, pp. 192-203.
11. FREEDESKTOP.ORG. Gstreamer: Open source multimedia framework. http://gstreamer.freedesktop.org/.
12. FRIGO, M. A fast Fourier transform compiler. In PLDI'99, pp. 169-180.
13. GAY, D., ENNALS, R., AND BREWER, E. Safe manual memory management. In ISMM'07 (New York, NY, USA, 2007), ACM, pp. 2-14.
14. GROSSMAN, D. Type-safe multithreading in Cyclone.
15. HENZINGER, T. A., JHALA, R., AND MAJUMDAR, R. Race checking by context inference. In PLDI'04, pp. 1-13.
16. LEVANONI, Y, AND PETRANK, E. An on-the-fly reference-counting garbage collector for Java. ACM Transactions on Programming Languages and Systems 28, 1 (2006), 1-69.
17. NAIK, M., AIKEN, A., AND WHALEY, J. Effective static race detection for Java. In PLDI'06, pp. 308-319.
18. NECULA, G. C., CONDIT, J., HARREN, M., MCPEAK, S., AND WEIMER, W. CCured: Type-safe retrofitting of legacy software. ACM Transactions on Programming Languages and Systems 27, 3 (May 2005).
19. PRATIKAKIS, P., FOSTER, J. S., AND HICKS, M. Locksmith: context-sensitive correlation analysis for race detection. In PLDI'06, pp. 320-331.
20. QADEER, S., AND WU, D. KISS: keep it simple and sequential. In PLDI'04, pp. 14-24.
21. 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.
22. 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.
23. SEN, K., AND AGHA, G. A race-detection and flipping algorithm for automated testing of multi-threaded programs. In Haifa Verification Conference (2006), pp. 166-182.
24. US-CERT. Technical cyber security alerts. http://www.us-cert.gov/cas/ techalerts/index.html.
25. 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.
26. YU, Y., RODEHEFFER, T., AND CHEN, W. Racetrack: efficient detection of data race conditions via adaptive tracking. In SOSP'05, pp. 221-234.