Page Information

Title:	VNA02-J. Ensure that compound operations on shared variables are atomic
Author:	Dhruv Mohindra	Dec 09, 2009
Last Changed by:	David Svoboda	Aug 06, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/SjdGBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (2)     Page: CON07-C. Ensure that compound operations on shared variables are atomic     Page: CON03-C. Ensure visibility when accessing shared variables

SEI CERT Oracle Coding Standard for Java (7)     Page: Concurrency, Visibility, and Memory     Page: LCK05-J. Synchronize access to static fields that can be modified by untrusted code     Page: LCK06-J. Do not use an instance lock to protect shared static data     Page: NUM00-J. Detect or prevent integer overflow     Page: VNA00-J. Ensure visibility when accessing shared primitive variables     Page: VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic     Page: VNA05-J. Ensure atomicity when reading and writing 64-bit values

Parent Page     Page: Rule 08. Visibility and Atomicity (VNA)

• vna
• android-applicable
• android
• rule
• cwe-362

Time	Editor
Aug 06, 2025 16:38	Jill Britton	View Changes
REM cost reform
Mar 05, 2025 11:44	Jill Britton	View Changes
Jan 31, 2025 01:07	Amy Gale	View Changes
Delete stale CodeSonar entry
Jun 25, 2021 08:39	Svyatoslav Razmyslov	View Changes
May 18, 2021 08:53	Michal Rozenau
Parasoft Jtest 2021.1

External Links (16)
    cwe.mitre.org/data/definitions/366.html
    docs.oracle.com/javase/8/docs/api/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/567.html
    cwe.mitre.org/data/definitions/667.html
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/413.html
    https://pvs-studio.com/en/docs/warnings/v6074/
    https://wiki.sei.cmu.edu/confluence/display/java/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-1…
    java.sun.com/docs/books/tutorial/essential/concurrency/inde…
    docs.oracle.com/javase/specs/jls/se8/html/jls-17.html
    docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-1…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-1…

SEI CERT Oracle Coding Standard for Java (15)     Page: Klocwork_V     Page: VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic     Page: Parasoft_V     Page: Klocwork     Page: LCK00-J. Use private final lock objects to synchronize classes that may interact with untrusted code     Page: Coverity     Page: Rule AA. References     Page: Parasoft     Page: NUM00-J. Detect or prevent integer overflow     Home page: SEI CERT Oracle Coding Standard for Java     Page: VNA05-J. Ensure atomicity when reading and writing 64-bit values     Page: Rule BB. Glossary     Page: PVS-Studio_V     Page: ThreadSafe     Page: ThreadSafe_V