什么是C++11原子库与Java的原子库等价物?

2022-04-18 00:00:00 atomic c++ java c++11 lock-free

需要此调用来实现无锁的链表。 ATOMICMarkableReference是一个来自java.util.concurent.atom包的对象,它封装了对类型T的对象的引用和布尔标记。这些字段可以一起更新,也可以单独更新。

谢谢。


解决方案

假设对象的对齐大于1,则可以将指针的最后一位用作布尔标记:

template<class T>
class MarkableReference
{
private:
    uintptr_t val;
    static const uintptr_t mask = 1;
public:
    MarkableReference(T* ref = NULL, bool mark = false)
    {
        val = ((uintptr_t)ref & ~mask) | (mark ? 1 : 0);
    }
    T* getRef(void)
    {
        return (T*)(val & ~mask);
    }
    bool getMark(void)
    {
        return (val & mask);
    }
};

为了执行原子操作,您需要从这个类创建原子变量。例如,如果引用指向的对象类型应为int,则可以创建此变量:

atomic<MarkableReference<int>> mRef;

对于变量mRef,您可以应用任何操作,这适用于普通的原子。例如,比较并设置(CAS):

int a;
int b;
...
// Atomically change pair (&a, true) to (&b, false).
MarkableReference<int> old = mRef.load();
if(old == MarkableReference(&a, true))
{
    if(mRef.compare_exchange_strong(old, MarkableReference(&b, false)))
    {
        // Successful CAS
    }
}
// 'old' contains other value. (Unsuccessfull CAS)

相关文章