请教关于内存屏障的问题（Linux内核Seq锁实现的代码）

zjh2005456

最近学习Linux内核，有以下疑问，请教一下，各位大牛：

static inline void write_seqlock(seqlock_t *sl)
{
        spin_lock(&sl->lock);
        ++sl->sequence;
        smp_wmb(); //这里好理解，++sl->sequence 不会被重排，即smp_wmb之后一定加操作一定执行了。
}

static inline void write_sequnlock(seqlock_t *sl)
{
        smp_wmb(); //但是这里的smp_wmb有什么作用？？好像没什么意义
        sl->sequence++;
        spin_unlock(&sl->lock);
}

static inline int write_tryseqlock(seqlock_t *sl)
{
        int ret = spin_trylock(&sl->lock);

        if (ret) {
                ++sl->sequence;
                smp_wmb();
        }
        return ret;
}

static __always_inline unsigned read_seqbegin(const seqlock_t *sl)
{
        unsigned ret;

repeat:
        ret = sl->sequence;
        smp_rmb();
        if (unlikely(ret & 1)) {
                cpu_relax();
                goto repeat;
        }

        return ret;
}

static __always_inline int read_seqretry(const seqlock_t *sl, unsigned start)
{
        smp_rmb(); //这里也是？？？

        return (sl->sequence != start);
}

accessory

可以参考下这篇BLOG，讲内存屏障的。

http://blogold.chinaunix.net/u3/93713/showart_2061476.html

amarant

是不是因为这不是一个普通的函数，是一个static inline的，就相当于是宏一样直接插入代码的。所以要用屏障，而不是像普通函数一样通过call调用的。

zjh2005456

回复 2# accessory


   你好！

    感觉也没法说清楚write_sequnlock里面的smp_wmb，及read_seqretry里面的smp_rmb，究竟要保证什么~~~

    按照内存屏障的意义，这里要保证的只是sl->sequence，如果正确使用write_seqlock及write_sequnlock， 那么write_sequnlock中的smp_wmb
    就完全没有必要了。因为lock与unlock之间两没有对sl->sequence的操作了。

    所以， 我怀疑是不是防止用户不使用Seq锁函数，直接操作sl->sequence，从而导致问题？

accessory

我觉得INLINE 是有关系。

同意这个： “防止用户不使用Seq锁函数，直接操作sl->sequence，从而导致问题”

amarant

内存屏障就是防止代码重排嘛。既然一个函数内的开始和结束当然不需要用内存屏障防止了。

所以我觉得，因为这个是static inline，其作用等价与宏。
所以要用内存屏障防止重排