Page History

...

The semantics of volatile explicitly exclude any guarantee of the atomicity of compound operations that involve read-modify-write sequences such as incrementing a value. See rule VNA02-J. Ensure that compound operations on shared variables are atomic for more information.

Exceptions

VNA05-EX1EX0: If all reads and writes of 64-bit long and double values occur within a synchronized region, the atomicity of the read/write is guaranteed. This requires both that the value is exposed only through synchronized methods in the class, and also that the value is inaccessible from other code (whether directly or indirectly). For more information, see rule VNA02-J. Ensure that compound operations on shared variables are atomic.)

VNA05-EX2EX1: This rule can be ignored for systems that guarantee that 64-bit, long and double values are read and written as atomic operations. Note, however, that such guarantees fail to be portable across systems.

...

The Coverity Prevent Version 5.0 ATOMICITY checker can detect the instances of non-atomic update of a concurrently shared value. The result of the update will be determined by the interleaving of thread execution.

Related

...

Any vulnerabilities resulting from the violation of this rule are listed on the CERT website.

Related Guidelines

...

...