- Companion:
- class
Type members
Classlikes
Acts as both an Acquire and Release operation on its address.
Acts as both an Acquire and Release operation on its address.
In addition to the guarantees of Monotonic, a synchronizes-with edge
may be formed with a release operation.
In addition to the guarantees of Monotonic, a synchronizes-with edge
may be formed with a release operation.
In addition to the guarantees of Unordered, there is a single total
order for modifications by monotonic operations on each address.
In addition to the guarantees of Unordered, there is a single total
order for modifications by monotonic operations on each address.
In addition to the guarantees of Monotonic, if this operation writes a
value which is subsequently read by an acquire operation, it
synchronizes-with that operation.
In addition to the guarantees of Monotonic, if this operation writes a
value which is subsequently read by an acquire operation, it
synchronizes-with that operation.
In addition to the guarantees of AcqRel, there is a global total order
on all sequentially-consistent operations on all addresses, which is
consistent with the happens-before partial order and with the
modification orders of all the affected addresses.
In addition to the guarantees of AcqRel, there is a global total order
on all sequentially-consistent operations on all addresses, which is
consistent with the happens-before partial order and with the
modification orders of all the affected addresses.
The set of values that can be read is governed by the happens-before partial order
The set of values that can be read is governed by the happens-before partial order