如何做原子比较和增量？

Question

在我尝试开发一个线程安全的C++弱指针模板类时,我需要检查一个指示对象仍处于活动状态的标志,如果是,则增加对象的引用计数,我需要以原子方式执行这两个步骤.

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

Answer 1

假设这value是你的标志变量.应该宣布volatile.

long curvalue;
long newvalue;

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

如您所见,您可以通过更改应用于计算的操作来将此概括为您需要的任何算法newvalue.

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