如何理解汇编级别的原子test_and_set？

Question

您好，我是 gcc 内置原子函数的新手。我正在使用那个test-and-set。您可以在这里找到参考

这是问题：

我已经完成了这段代码：

#define bool int
#define true 1
#define false 0

int main() {
    bool lock = true;
    bool val = __sync_lock_test_and_set(&lock, true);

    return 0;
}

我打算做的是检查 的汇编指令__sync_lock_test_and_set。我用过：

gcc -S [filename].c

结果是：

        .file   "test_and_set.c"
        .file   "test_and_set.c"
        .text
        .globl  main
        .type   main, @function
main:
.LFB0:
        .cfi_startproc
        pushl   %ebp
        .cfi_def_cfa_offset 8
        .cfi_offset 5, -8
        movl    %esp, %ebp
        .cfi_def_cfa_register 5
        subl    $16, %esp
        movl    $1, -8(%ebp)
        movl    $1, %eax
        xchgl   -8(%ebp), %eax
        movl    %eax, -4(%ebp)
        movl    $0, %eax
        leave
        .cfi_restore 5
        .cfi_def_cfa 4, 4
        ret
        .cfi_endproc
.LFE0:
        .size   main, .-main
        .ident  "GCC: (GNU) 4.8.1"

但是，我找不到 test_and_set 指令在哪里......

正如你所看到的，我使用的是gcc-4.8.1，环境是MAC OSX 10.10（我确定这个gcc不是Apple提供的，我自己编译的）

谢谢！

Answer 1

    movl    $1, -8(%ebp)    # lock = true
    movl    $1, %eax        # true argument
    xchgl   -8(%ebp), %eax  # the test-and-set

它是一个原子交换，它返回先前的值（即测试部分）并写入1变量（设置部分）。这用于实现互斥体。操作完成后，锁将由某人持有——要么是原始所有者，要么是刚刚获取它的代码。这就是为什么写入 的值是安全的1。返回原始值，因此您可以区分这两个事件。如果原始值是0，那么您就获得了锁并可以继续，否则您需要等待，因为其他人拥有它。