c - 为什么 CompareAndSwap 比 TestAndSet 更强大的指令？

Question

请考虑下面的 CompareAndSwap 代码，让我知道为什么这个原子指令比原子 TestAndSet 更强大，因为它是一个互斥原语？

char CompareAndSwap(int *ptr, int old, int new) {
unsigned char ret;
// Note that sete sets a ’byte’ not the word
__asm__ __volatile__ (
" lock\n"
" cmpxchgl %2,%1\n"
" sete %0\n"
: "=q" (ret), "=m" (*ptr)
: "r" (new), "m" (*ptr), "a" (old)
: "memory");
return ret;
}

Answer 1

test-and-set 修改内存位置的内容并将其旧值作为单个原子操作返回。

compare-and-swap 以原子方式将内存位置的内容与给定值进行比较，并且仅当它们相同时，才将该内存位置的内容修改为给定的新值。