| 
|
QuoteRef: flanC6_2000
topics >
all references >
ThesaHelp:
references e-f
ThesaHelp:
ACM references f-l
Topic:
flavor analysis and typestates for supplementary type checking
Group:
parallel processing
Topic:
race conditions
Reference
Flanagan, C., Freund, S.N., "Type-based race detection for Java", Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, BC, Canada, June 2000, ACM SIGPLAN, pp. 219-232. Google
abstract ;;Quote: type annotation for static race detection; found errors in Java libraries; 20 annotations per 1000 lines
219 ;;Quote: a race condition occurs when two threads update shared data simultaneously; difficult to catch; needs locks to avoid
219 ;;Quote: static race detection by protecting class fields with an external lock; no race checking for local objects and benign races
221 ;;Quote: type annotations--'guarded_by lock' for fields and 'requires lock_list' for methods; 1000 lines per programmer hour
226 ;;Quote: example of race condition in java.util.vector; lastIndexOf and trimToSize may use elementCount without acquiring the lock
ThesaHelp: references e-f (168 items)
ThesaHelp: ACM references f-l (241 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: race conditions (30 items)