爲什麼GCC可以在C11 atomic_load中消除內存障礙？

Question

在這個簡單的C11程序

#include <stdatomic.h> 

int f(atomic_int* obj) { 
    return atomic_load(obj); 
} 

我期望所產生的組件將包括存儲器屏障。即使負載本身可能是原子，CPU也可能在整個調用過程中推測（即移動）f的調用者中的此內存位置的一些讀取。然而，gcc -O輸出：

 .file "repro.c" 
     .text 
     .globl f 
     .type f, @function 
f: 
.LFB0: 
     .cfi_startproc 
     movl (%rdi), %eax 
     ret 
     .cfi_endproc 
.LFE0: 
     .size f, .-f 
     .ident "GCC: (GNU) 4.9.1" 
     .section  .note.GNU-stack,"",@progbits 

爲什麼是不是一個內存屏障需要在這裏？

Answer 1

Intel的文檔稱"Reads are not reordered with other reads" (section 8.2.2)

GCC生成只atomic_store的mfence指令。就我而言，這可能足以確保其他CPU看到的寫入順序與執行存儲的CPU相同。