Ada Programming/Attributes/'Atomic Always Lock Free

Description
The prefix of the  attribute is a type. The result indicates whether atomic operations are supported by the target for the given type.