#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的操作有多处理器内存屏蔽; 原子操作指的是在多cpu的系统里,避免由于多个cpu竞争总线带来的不一致。
所以单核系统是没有原子操作一说的。因为每一次的内存访问都是原子操作。
lock是x86引入的锁总线前缀,x86不太熟悉,大概是保证对总线的独占
我理解,读写都是一条指令完成的,本来就是原子的。
但是例如,读出加一写回,这样的操作,不可能由一条指令完成,就需要借助锁总线或者ll/sc之类的机制帮助,才能具有原子性。
x86架构保证,对齐的读写是原子的。
要么读到其它core修改前的值,要么读到修改后的值,不会读到修改一半的值。
页:
[1]