Question

嗨，我是gcc内置原子功能的新手。我正在使用test-and-set一个。您可以找到参考here

以下是问题：

我已经完成了这段代码：

#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，那么您可以继续锁定，否则您需要等待，因为其他人已经拥有它。

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

1 个答案: