Atomically replaces the current value with the result of arithmetic subtraction of the atomic variable and val. That is, it performs atomic post-decrment. The operation is a read-modify-write operation. Memory is affected according to the value of order.