| 
|
QuoteRef: flanC6_2003
topics >
all references >
ThesaHelp:
references e-f
ThesaHelp:
ACM references f-l
Topic:
critical regions
Topic:
race conditions
Topic:
proving concurrent programs
Reference
Flanagan, C., Qadeer, S., "A type and effect system for atomicity", Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 338-349. Google
abstract ;;Quote: use atomic methods to avoid unexpected thread interactions; race-detection is neither necessary nor sufficient
abstract+;;Quote: type system to verify atomic methods in multithreaded Java programs; based on rccjava and Lipton's reduction and type system for race-detection; found errors in java.lang.String and StringBuffer
340 ;;Quote: verify atomicity using Lipton's right and left movers; lock acquisition moves to the right while lock release moves left; atomic if acquisition and release move to start and end respectively
ThesaHelp: references e-f (168 items)
ThesaHelp: ACM references f-l (241 items)
Topic: critical regions (58 items)
Topic: race conditions (30 items)
Topic: proving concurrent programs (37 items)