如何基于Linux GCC以汇编语言实现__sync_fetch_and_sub原子操作

Question

我需要使用基于GCC 3.4的汇编语言编写自己的__sync_fetch_and_sub原子操作的实现， __sync_fetch_and_sub语言没有内置__sync_fetch_and_sub 。 但是我对组装一无所知。

谁能帮我？ 任何帮助将不胜感激！！

这是__sync_fetch_and_add的实现

inline unsigned int __sync_fetch_and_add(volatile unsigned int* p, unsigned int incr)
{

    unsigned int result;
    __asm__ _volatile_ ("lock; xadd %0, %1" :
            "=r"(result), "=m"(*p):
            "0"(incr), "m"(*p) :
            "memory");
    return result;
}

__sync_fetch_and_add(int *ptr, int a_count)是将a_count自动添加到ptr指向的变量中。 返回以前在内存中的值。

__sync_fetch_and_sub(int *ptr, int a_count)是从ptr指向的变量中自动减去a_count。 返回以前在内存中的值。

Answer 1

此代码段使用xadd的原子版本：exchange和add：将原子的右边操作数原子地添加到左边（这里是内存），并在右边的操作数中返回内存中的初始值。 之前的lock语句可确保操作的原子性。

但是，gcc使用AT＆T表示法，因此该解释中的左右参数（取自intel手册）是相反的。

由于intel体系结构上没有xsub指令，因此最简单的模拟方法是首先取与要减去的数字相反的值，然后原子地对其进行添加/交换：

inline unsigned int __sync_fetch_and_sub(volatile unsigned int* p,
    unsigned int decr)
{
    unsigned int result;

    __asm__ __volatile__ ("lock; xadd %0, %1"
            :"=r"(result), "=m"(*p)
            :"0"(-decr), "m"(*p)
            :"memory");
    return result;
}

我还删除了 unsigned属性，在这种情况下我发现它们不相关。