如何在基於Linux GCC的彙編語言中實現__sync_fetch_and_sub原子操作GCC

Question

我需要自己用基於GCC 3.4的彙編語言編寫__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的原子版本：交換和添加：它原子地向右（這裏是內存）添加右操作數並返回右操作數內存中的初始值。在確保操作的原子性之前，先聲明lock聲明。

但是，gcc使用AT & T表示法，所以本說明中的左右參數（取自英特爾手冊）相反。

至於有基於英特爾架構的無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屬性，我不覺得它們在這種情況下是相關的。