Page Information

Title:	VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
Author:	Dhruv Mohindra	Jul 09, 2009
Last Changed by:	David Svoboda	Aug 06, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/8jdGBQ
Export As:	Word · PDF

SEI CERT Oracle Coding Standard for Java (2)     Page: VNA04-J. Ensure that calls to chained methods are atomic     Page: VNA02-J. Ensure that compound operations on shared variables are atomic

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

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

Time	Editor
Aug 06, 2025 16:39	David Svoboda	View Changes
REM cost reform
Aug 06, 2021 09:36	Jon O'Donnell	View Changes
May 18, 2021 08:54	Michal Rozenau	View Changes
Parasoft Jtest 2021.1
Feb 26, 2021 09:20	Michal Rozenau	View Changes
Parasoft Jtest 2020.2
Feb 12, 2018 22:02	Will Snavely

External Links (7)
    cwe.mitre.org/data/definitions/366.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/662.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/362.html

SEI CERT Oracle Coding Standard for Java (14)     Home page: SEI CERT Oracle Coding Standard for Java     Page: VNA04-J. Ensure that calls to chained methods are atomic     Page: LCK11-J. Avoid client-side locking when using classes that do not commit to their locking strategy     Page: Rule AA. References     Page: Coverity     Page: Parasoft_V     Page: LCK04-J. Do not synchronize on a collection view if the backing collection is accessible     Page: CodeSonar_V     Page: CodeSonar     Page: ThreadSafe_V     Page: Parasoft     Page: ThreadSafe     Page: Rule BB. Glossary     Page: VNA02-J. Ensure that compound operations on shared variables are atomic