c++ - InterlockedDecrement 使用 XADD 但 InterlockedIncrement 使用 INC？

Question

我正在使用 boost C++ 库调试一些代码，该库使用 Windows InterlockedDecrement 和 InterlockedIncrement。

在输出的程序集中，InterlockedIncrement 使用 LOCK INC，而 InterlockedDecrement 使用 LOCK XADD。

为什么他们不都使用LOCK XADD？

(这是在Win 7 64、64位编译和MSVC 11上)

Answer 1

INC 指令的编码较短。您可以使用 LOCK XADD 来实现两者，但代码会占用更多内存空间。一旦它们变成微指令，它们可能是相同的。

现在，为什么不使用LOCK DEC？

我的猜测是有问题的代码是这样的:

InterlockedIncrement(&refcount);
...

if (InterlockedDecrement(&refcount) == 0)
    ...

这是引用计数的常见模式。在这种情况下，您不能使用 LOCK DEC，因为 LOCK DEC 不会返回结果值。

// WRONG WRONG WRONG WRONG
InterlockedDecrement(&refcount);
    // <-- another thread might modify refcount here
if (refcount == 0)
    ...