何时使用内核屏障？

zhanglin496

        对于内存屏障，一直没搞明白，虽然知道是有防止指令重排序的作用，按照《现代体系结构上的UNIX系统一书》的说法，由于SPARC体系结构含有store缓冲，并不保证store是FIFO的，这时需要内存屏障。
        比如linux的顺序锁，我一直不明白，

1. static __always_inline unsigned read_seqbegin(const seqlock_t *sl)
   
2. {
   
3.         unsigned ret = sl->sequence;
   
4.         smp_rmb();
   
5.         return ret;
   
6. }

复制代码

这里为什么要使用内存屏障，我也知道他是保证++sl->sequence要先执行，如果

1. u64 get_jiffies_64(void)
   
2. {
   
3.         unsigned long seq;
   
4.         u64 ret;
   
5. 
   
6.         do {
   
7.                 seq = read_seqbegin(&xtime_lock);
   
8.                 ret = jiffies_64;
   
9.         } while (read_seqretry(&xtime_lock, seq));
   
10.         return ret;
    
11. }

复制代码

这里不使用内存屏障，会有什么问题？
        我的疑惑在于判断何时需要使用内存屏障？是怎样判断的?
写的不明白和有误的地方，望见谅（我菜鸟一个）。望高手指点啊。

hmsghnh

                seq = read_seqbegin(&xtime_lock);
                ret = jiffies_64;

这里保证  seq 一定是先 比 jiffies_64 先读出来。

这个循环确保拿到的是最新的值，如果你不保证这个顺序，那么你这个jiffies_64 先读出来，
已经是上一次的值了，及时别的地方更新了jiffies_64 的值了（对应的seq也被更新了。）

但你顺序乱了之后，读到的seq也是新的，但jiffies_64  确是久的，这个循环就不起作用了。

zhanglin496

谢谢答复，是不是可以这样理解，假设jiffies初始值为1000，seq序列号为0，如果没有内存屏障，
是不是会有这样的序列：
cpu0                                   cpu1
读端获取值1000                    获取锁
------------                            写端更新seq++； //1
-----------                             更新jiffies++；//1001
-------------                           写端更新seq++；//2
-------------                          释放锁
两次读取序列号，
发现相同，得到
过时的值

不知以上理解是否正确。

另外这里需要屏障，是因为jiffies和seq有隐示的依赖关系？ 跟缓存一致性有没关系？

+回复 2# hmsghnh