Quote: use atomic methods to avoid unexpected thread interactions; race-detection is neither necessary nor sufficient

topics > all references > references e-f > QuoteRef: flanC6_2003 , p. abstract

critical regions
race conditions

Quotation Skeleton

verifying the absence of … simultaneous-access race conditions is neither necessary nor sufficient … non-interference property is required, namely atomicity. Atomic methods … amenable to sequential reasoning techniques, which significantly simplifies … and verifying the atomicity of methods in multithreaded … systems for race-detection. … The type checker uncovered subtle atomicity violations in … [p. 344] The atomicity checker is built on top … [ref], and re-uses rccjava's machinery for reasoning about the set of …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

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

Related Topics up

Topic: critical regions (58 items)
Topic: race conditions (30 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.