Detecting Race Conditions in Large Programs (2001)
Cached
Download Links
by
Cormac Flanagan
,
Stephen N. Freund
| Venue: | PASTE'01 |
| Citations: | 41 - 5 self |
BibTeX
@MISC{Flanagan01detectingrace,
author = {Cormac Flanagan and Stephen N. Freund},
title = { Detecting Race Conditions in Large Programs},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The race condition checker rccjava statically identifies potential races in concurrent Java programs. This paper describes improvements to rccjava that enable it to be used on large, realistic programs. These improvements include not only extensions to the underlying analysis, but also an annotation inference algorithm and a user interface to help programmers understand warnings generated by the tool. Experience with programs containing up to 500,000 lines of code indicate that it is an effective tool for identifying races in large-scale software systems.
