ymc4444 发表于 2016-09-02 19:39

chengxta 发表于 2016-09-04 23:58

ATOMIC_OP_RETURN宏定义了内存屏蔽操作smp_mb,不过"memory"命令也有内存屏蔽的功能;
#define ATOMIC_OP_RETURN(op, asm_op)                                        \
static inline int atomic_##op##_return(int i, atomic_t *v)                \
{                                                                        \
        asm volatile("// atomic_" #op "_return\n"                        \
      ... ...
        : "memory");                                                        \
                                                                        \
        smp_mb();                                                        \
}

#define ATOMIC_OPS(op, asm_op)                                                \
        ATOMIC_OP(op, asm_op)                                                \
        ATOMIC_OP_RETURN(op, asm_op)

下面两个宏定义了4个原子操作:
ATOMIC_OPS(add, add) -> atomic_add/atomic_add_return
ATOMIC_OPS(sub, sub) -> atomic_sub/atomic_sub_return

其它操作基本都是基于这两个操作:
#define atomic_inc(v)                atomic_add(1, v)
#define atomic_dec(v)                atomic_sub(1, v)

#define atomic_inc_and_test(v)        (atomic_add_return(1, v) == 0)
#define atomic_dec_and_test(v)        (atomic_sub_return(1, v) == 0)
... ...

atomic_read/atomic_set/atomic_add/atomic_sub没发现内存屏蔽,带return的操作有多处理器内存屏蔽;

amarant 发表于 2016-09-05 09:04

原子操作指的是在多cpu的系统里,避免由于多个cpu竞争总线带来的不一致。
所以单核系统是没有原子操作一说的。因为每一次的内存访问都是原子操作。

lock是x86引入的锁总线前缀,x86不太熟悉,大概是保证对总线的独占
我理解,读写都是一条指令完成的,本来就是原子的。
但是例如,读出加一写回,这样的操作,不可能由一条指令完成,就需要借助锁总线或者ll/sc之类的机制帮助,才能具有原子性。

ymc4444 发表于 2016-09-07 13:59

nswcfd 发表于 2016-09-13 19:30

x86架构保证,对齐的读写是原子的。
要么读到其它core修改前的值,要么读到修改后的值,不会读到修改一半的值。
页: [1]
查看完整版本: 请教ULK3 上一个内存屏障问题?