最近，我正在阅读一些Linux内核空间代码，我看到了

uint64_t used;
uint64_t blocked;

used = atomic64_read(&g_variable->used);       //#1
barrier();                                     //#2
blocked = atomic64_read(&g_variable->blocked); //#3

该代码段的语义是什么？是否确保＃1在＃3之前由＃2执行。但是我有点乱，因为

#A 在64位平台上，atomic64_read宏扩展为

used = (&g_variable->used)->counter           // where counter is volatile.

在32位平台中，将其转换为使用锁 cmpxchg8b 。我认为这两个具有相同的语义，对于64位版本，我认为这意味着：

1. all-or-nothing ，我们可以排除地址未对齐且字长大于CPU本机字长的情况。
2. 没有优化 ，强制CPU从内存位置读取。

atomic64_read没有保留读取顺序的语义！！！ 看到这个

#B 的 屏障 宏定义为

/* Optimization barrier */
/* The "volatile" is due to gcc bugs */
#define barrier() __asm__ __volatile__("": : :"memory")

在Wiki中，这只是防止
gcc编译器 重新排列读写顺序。

我很困惑的是它如何禁用CPU的重新排序优化？另外，我可以认为屏障宏是完整的栅栏吗？