自旋锁实现中的 mov vs xchg [重复]

Question

我正在阅读这个online book on x86，我很好奇他们用于实现自旋锁的示例代码中的实现细节。在示例中，他们使用 xchg 将内存位置设置为 0 而不是 mov，我试图理解为什么会做出这样的选择。

在自旋锁示例中，有一个函数spinUnlock 将0 放入内存位置[sLock]。 [sLock] 被设置为 0 如果锁是空闲的，1 被获取时。 spinUnlock 函数将 [sLock] 设置为 0 以释放锁。代码如下：

spinUnlock:
    push    ebp
    mov ebp, esp
    mov eax, 0
    xchg    eax, [sLock]
    pop ebp
    ret

为什么使用mov eax, 0; xchg eax, [sLock] 将[sLock] 设置为0 而不是mov [sLock], 0？在调用spinUnlock 之后，eax 寄存器不用于任何操作。我知道xchg 会锁定内存位置，但如果mov 已经是原子的，则不需要锁定。

Answer 1

只有作者才能说出做出选择的原因。

单个mov dword [sLock],0 可以正常工作；而xchg eax, [sLock]（隐含lock）可能更昂贵（对于性能和代码大小而言）。

示例的所有代码都很糟糕（例如，spinLock 例程中没有pause，尽管在根本不应该使用pause 的地方应该使用它）；他们选择的例子也不好。

注意：在用户空间使用自旋锁“几乎永远不会”正常，因为操作系统可能会在您获得锁之后但在您释放它之前执行任务切换，从而导致所有其他任务浪费大量 CPU时间在旋转，没有希望获得锁定。