MemoryOrder

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 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 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 names of the product elements

The name of the type