10

在我尝试开发线程安全的 C++ 弱指针模板类时，我需要检查一个指示对象仍然存在的标志，如果是，则增加对象的引用计数，我需要原子地执行这两个步骤。

我知道编译器提供的内在函数的存在，例如 _InterlockedCompareExchange() 和 _InterlockedIncrement()。但是我想要的是一个 interlockedCompareIncrement() 函数，是否有一种有效的方法可以使用其他原语来模拟这个内在函数，至少在 Windows x86 平台上是这样？

4

3 回答 3

7

假设这value是您的标志变量。应该声明它volatile。

long curvalue;
long newvalue;

do
{
    curvalue = value;
    newvalue = curvalue + 1;
}
while( _InterlockedCompareExchange( &value, newvalue, curvalue ) != curvalue );

如您所见，您可以通过更改应用于计算的操作将其推广到您需要的任何类型的算术newvalue。

如果您想同时比较两个值，最好的办法是将两个值打包到一个变量中，然后对该单个变量进行操作。由于您使用的是结合引用计数的标志，我建议使用最低位value作为“活动”标志，然后一次递增/递减 2。这允许您将标志和引用计数编码为单个 32 位变量。

于 2010-03-04T04:27:10.640 回答
1

如果您希望您的库在多个 CPU 或多核机器上运行，您必须使用 CPU 提供的硬件支持。这里有一些参考资料供您参考：

http://en.wikipedia.org/wiki/Test-and-set http://software.intel.com/en-us/forums/showthread.php?t=47498

或者您必须使用操作系统提供的锁定机制。如

http://msdn.microsoft.com/en-us/library/ms684841%28VS.85%29.aspx 或 http://en.wikipedia.org/wiki/POSIX_Threads

于 2010-03-04T04:39:19.503 回答
0

由于您使用的是 C++，因此您可以编写自己的汇编代码。

也许这与使用原子交换实现原子增量有关？

于 2010-03-04T04:28:59.313 回答