Finding stale-value errors in concurrent programs

Concurrency and Computation: Practice and Experience

Volumn 16, Issue 12, 2004, Pages 1161-1172

  Burrows, M ^a   Leino, K Rustan M ^b  

^a GOOGLE INC   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Concurrency errors; Data races; Error checking; Race conditions; Stale values; Static checking

Indexed keywords

CODES (SYMBOLS); COSTS; ERROR CORRECTION; HAZARDS AND RACE CONDITIONS; PROGRAM COMPILERS;

CONCURRENCY ERRORS; DATA RACES; STALE VALUES; STATIC CHECKING;

COMPUTER PROGRAMMING;

EID: 4744370916     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.866     Document Type: Article

References (15)

1. Hoare CAR. Monitors: An operating system structuring concept. Communications of the ACM 1974; 17(10):549-557.
2. Sterling N. Warlock - a static data race analysis tool. Proceedings of the Winter 1993 USENIX Conference. USENIX Association, 1993; 97-106.
3. Detlefs DL, Leino KRM, Nelson G, Saxe JB. Extended static checking. Research Report 159, Compaq Systems Research Center, December 1998.
4. Flanagan C, Freund SN. type-based race detection for Java. Proceedings of the 2000 ACM SIGPLAN Conference on Programming Design and Implementation (PLDI), ACM Press; New York, 2000; 219-232.
5. Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson TE. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems 1997; 15(4);391-411. Also in Proceedings of the 16th ACM Symposium on Operating System Principles, Operating System Review 1997; 31(5): 27-37.
6. Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson TE. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems 1997; 15(4);391-411. Also in Proceedings of the 16th ACM Symposium on Operating System Principles, Operating System Review 1997; 31(5): 27-37.
7. Birrell AD. An introduction to programming with threads. Research Report 35, Digital Equipment Corporation Systems Research Center, January 1989.
8. Flanagan C, Leino KRM, Lillibridge M, Nelson G, Saxe JB, Stata R. Extended static checking for Java. Proceeedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices 2002; 37(5):234-245.
9. Leino KRM, Nelson G, Saxe JB. ESC/Java user's manual. Technical Note 2000-002, Compaq Systems Research Center, October 2000.
10. Bacon DF, Strom RE, Tarafdar A. Guava: A dialect of Java without data races. Proceedings of the 2000 ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2000), SIGPLAN Notices 2000; 35(10):382-400.
11. Boyapati C, Rinard R. A parameterized type system for race-free Java programs. Proceedings of the 2001 ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2001), SIGPLAN Notices 2001; 36(11):56-69.
12. Cheng G-I, Feng M, Leiserson CE, Randall KH, Stark AF. Detecting data races in Cilk programs that use locks. Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA). ACM Press: New York, 1998; 298-309.
13. Choi J-D, Lee K, Loginov A, O'Callahan R, Sarkar V, Sridharan M. Efficient and precise datarace detection for multithreaded object-oriented programs. Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices 2002; 37(5):258-269.
14. Engler D, Chelf B, Chou A, Hallem S. Checking system rules using system-specific, programmer-written compiler extensions. Proceedings of the Fourth Symposium on Operating Systems Design & Implementation. USENIX, October 2000. http://www.usenix.org/events/osdi2000/technical.html [2000].
15. Ball T, Rajamani SK. Automatically validating temporal safety properties of interfaces. SPIN 2001, Workshop on Model Checking of Software (Lecture Notes in Computer Science, vol. 2057). Springer: Berlin, 2001; 103-122.