使用CAS操作实现的无锁栈

最新推荐文章于 2024-08-15 09:22:58 发布

CL_XYZ

最新推荐文章于 2024-08-15 09:22:58 发布

阅读量622

点赞数 1

分类专栏： C++11多线程网络编程

本文链接：https://blog.csdn.net/qq_33113661/article/details/89072355

版权

本文探讨了使用CAS（Compare And Swap）操作实现无锁栈的概念，指出C++11中提供的五种原子操作，包括两种CAS操作。尽管CAS能保证单步原子性，但无法确保整个函数的原子性，可能导致错误执行，如栈内数据错误判断和并发删除问题。文章提到，面对这些问题，自旋锁+yield有时可能是更好的选择，因为它在效率上接近无锁编程，同时避免了上述问题。

摘要由CSDN通过智能技术生成

CAS（compare and set），是原子数支持的一种操作，假如我们有一个原子数类，那么他其中的CAS函数大致可以理解为这样

bool compare_and_set(T&a,T&b)
{
    if(*this==a)
    {
        *this=b;
        return true;
    }
    else
    {
        a=*this;
        return false;
    }
}

并且可以保证上边这个函数是原子性的，我们可以通过这样一个函数在许多地方代替锁的使用，提高程序的速度，比如下面一个无锁栈。

template<typename T>
struct Node
{
	Tvalue;
	Node*next;
	Node(const T& data):value(data),next(NULL)
	{ }
};
template<typename T>
class free_lock_stack
{
private:
	atomic<Node<T>*>head;
public:
	free_lock_stack():head(NULL)
	{ }
	void push(const T& data)
	{
		Node* new_node=new Node(data);
		new_node->next=head.load();
		while(!head.compare_exchange_weak(new_node->next,new_node))
			;
	}
	T pop()
	{
		Node*result=head.load();
		while(!result&&!head.comp