Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
Overview of Ada 2022
Jeff Cousins
Contents   Index   Search   Previous   Next 

6.11 Fixes for Atomic and Volatile

Fixes for Atomic and Volatile (AI12-0363) contains the following improvements:
'Access may not be taken of a non-atomic subcomponent of an atomic object.
The nesting of atomic objects gives much scope for confusion, but to disallow them would be backwardly incompatible, so a new aspect Full_Access_Only is added. This can be applied to atomic and volatile types and objects to indicate that no atomic (or full access) objects are permitted as subcomponents. If any subcomponent of a full access object is accessed, then the whole object has to be accessed, by an atomic read followed by an atomic write.
An Atomic aspect of True now additionally indicates that Volatile and Independent are True.

Contents   Index   Search   Previous   Next 
© 2021, 2022 Jeff Cousins