Atomically replace the value pointed to by object
with the result of the computation.
C
atomic_fetch_key
(
| volatile A *object, |
M operand) |
C
atomic_fetch_key_explicit
(
| volatile A *object, |
M operand, | |
memory_order order) |
C
atomic_fetch_key_explicit
(
| volatile A *object, |
M operand, | |
memory_order order, | |
memory_scope scope) |
These operations perform arithmetic and bitwise computations. All of these operations are applicable to an object of any atomic integer type. The key, operator, and computation correspondence is given in the table below:
key | op | computation |
---|---|---|
add
|
+ | addition |
sub
|
- | subtraction |
or
|
| | bitwise inclusive or |
xor
|
^ | bitwise exclusive or |
and
|
& | bitwise and |
min
|
min | compute min |
max
|
max | compute max |
For atomic_fetch and modify functions with key = add or sub on atomic types
atomic_intptr_t and atomic_uintptr_t,
M
is ptrdiff_t. For atomic_fetch and
modify functions with key = or, xor, and, min and max on
atomic types atomic_intptr_t
and atomic_uintptr_t, M
is
intptr_t and uintptr_t.
Atomically replaces the value pointed to by
object
with the result of the
computation applied
to the value pointed to by object
and the given operand. Memory is affected according to the
value of order
. These operations
are atomic read-modify-write operations (as defined by
section 5.1.2.4 of the C11 specification). For signed
integer types, arithmetic is defined to use
two’s complement representation with silent wrap-around
on overflow; there are no undefined
results. For address types, the result may be an
undefined address, but the operations otherwise
have no undefined behavior. Returns atomically, the
value pointed to by object
immediately
before the effects.
In these operation definitions:
A
refers to one of the atomic types.
C
refers to its corresponding non-atomic type.
M
refers to the type of the other
argument for arithmetic operations. For atomic
integer types, M
is C
.
memory_order_seq_cst
for the memory_order
argument.
memory_scope
argument have the same semantics as
the corresponding functions with the memory_scope
argument set to
memory_scope_device
.
NOTE: With fine-grained system SVM, sharing happens at the granularity of individual loads and stores anywhere in host memory. Memory consistency is always guaranteed at synchronization points, but to obtain finer control over consistency, the OpenCL atomics functions may be used to ensure that the updates to individual data values made by one unit of execution are visible to other execution units. In particular, when a host thread needs fine control over the consistency of memory that is shared with one or more OpenCL devices, it must use atomic and fence operations that are compatible with the C11 atomic operations.
We can't require C11 atomics since host programs can be implemented in other programming languages and versions of C or C++, but we do require that the host programs use atomics and that those atomics be compatible with those in C11.
All operations on atomic types must be performed using the built-in atomic functions. C11 and C++11 support operators on atomic types. OpenCL C does not support operators with atomic types. Using atomic types with operators should result in a compilation error.
The atomic_bool, atomic_char, atomic_uchar, atomic_short, atomic_ushort, atomic_intmax_t and atomic_uintmax_t types are not supported by OpenCL C.
OpenCL C requires that the built-in atomic functions on atomic types are lock-free.
The _Atomic
type specifier and _Atomic
type qualifier are not supported by OpenCL C.
The behavior of atomic operations where pointer arguments to the atomic functions refers to an atomic type in the private address space is undefined