Page Information

Title:	CON07-C. Ensure that compound operations on shared variables are atomic
Author:	David Svoboda	Oct 08, 2013
Last Changed by:	David Svoboda	May 20, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/MNUxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (1)     Page: CON08-C. Do not assume that a group of calls to independently atomic methods is atomic

Android (1)     Page: Unknown Applicability (C Rules/Recomendations)

Parent Page     Page: Rec. 14. Concurrency (CON)

• review-dms
• con
• android-unknown
• recommendation

Time	Editor
May 20, 2025 09:03	David Svoboda	View Changes
REM Cost Reform
Dec 23, 2021 10:50	Jon O'Donnell	View Changes
Aug 10, 2020 12:56	David Svoboda	View Changes
wordsmithing
Aug 10, 2020 12:14	Joseph C. Sible	View Changes
add an atomic struct compliant solution
Aug 10, 2020 10:55	David Svoboda
removed atomics from addition CS

External Links (8)
    cwe.mitre.org/data/definitions/413.html
    cwe.mitre.org/data/definitions/567.html
    cwe.mitre.org/data/definitions/667.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/366.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/

SEI CERT C Coding Standard (6)     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: CodeSonar_V     Home page: SEI CERT C Coding Standard     Page: BB. Definitions     Page: AA. Bibliography     Page: CodeSonar

SEI CERT Oracle Coding Standard for Java (2)     Page: VNA02-J. Ensure that compound operations on shared variables are atomic     Home page: SEI CERT Oracle Coding Standard for Java