atomic_add_return 函数分析

这个函数实现原子的加操作，并同步。

那么它是如何实现的呢？如何实现在多处理器的情况下，实现同步呢？

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： 执行。这样实现同步。