这个函数实现原子的加操作,并同步。
那么它是如何实现的呢?如何实现在多处理器的情况下,实现同步呢?
static inline int atomic_add_return(int i, atomic_t *v)
{
unsigned long tmp;
int result;
smp_mb();
__asm__ __volatile__("@ atomic_add_return\n"
"1: ldrex %0, [%3]\n"
" add %0, %0, %4\n"
" strex %1, %0, [%3]\n"
" teq %1, #0\n"
" bne 1b"
: "=&r" (result), "=&r" (tmp), "+Qo" (v->counter)
: "r" (&v->counter), "Ir" (i)
: "cc");
smp_mb();
return result;
}
smp_mb() 内存屏障,具体是什么 待分析。
先看这个汇编代码吧!
__asm__ __volatile__ 声明嵌入汇编 并且编译器不进行优化。
下面的这些代码翻译过来后应该是
1: ldrex result v->counter //将v->counter的数据存放到result里面 设置标记“Exclusive”。
add result,result,i; //result+=i
strex tmp,result,v->counter // 检查标记“Exclusive” 是否被设置,如果被设置 清除,然后将result 写会v->counter ,并将tmp写0,否则tmp写1 结束
teq tmp,#0//检查tmp是否为0
bne 1b//如果tmp不等于0 跳转1
下面我们分析如何实现同步的,假设线程1执行到strex命令 调度到线程2 线程2执行到strex后 发现exclusive 已经被清除,tmp写1 然后会重新跳转到1: 执行。这样实现同步。