Эффект / заполнение std :: memory_order_ * на x86 (-64)

У меня такой код:

#include <cstdint>
#include <atomic>

void myAtomicStore(std::atomic<int32_t>& i, const int32_t v) {
    i.store(v, std::memory_order_release);
}

int myAtomicLoad(std::atomic<int32_t>& i, const int32_t v) {
    return i.load(std::memory_order_acquire);
}

И (согласно this) GCC 8.1 перевел его (для x86_64) на:

myAtomicStore(std::atomic<int>&, int):
        mov     DWORD PTR [rdi], esi
        ret
myAtomicLoad(std::atomic<int>&, int):
        mov     eax, DWORD PTR [rdi]
        ret

Интересно, как инструкции mov могут сделать все записи в память до того, как myAtomicStore() станут видимыми для другого потока, когда он вызывает myAtomicLoad() для той же переменной (или области памяти) - гарантированно стандартом C ++.

Я просмотрел Руководство Intel; и я не вижу ничего очевидного.

Спасибо!