使用细粒度锁的c++线程安全队列

Watson2016

关注

原创最新推荐文章于 2026-08-25 10:00:03 发布 2k 阅读 AI 写同款· GEO 优化 ›

C++线程安全数据结构：从互斥锁到无锁编程的实战指南在多线程编程中，数据竞争是导致程序崩溃、数据错乱的常见问题。其核心原理在于多个线程同时访问共享数据时缺乏同步机制，导致状态不一致。为解决这一问题，线程安全数据结构应运而生，它通过封装同步逻辑，确保并发访问下的正确性。从工程实践角度看，实现线程安全主要有三种技术路径：粗粒度锁简单易用但性能受限；细粒度锁通过缩小锁范围提升并发度，但设计复杂度高；无锁编程则利用原子操作彻底消除阻塞，是性能巅峰但实现挑战极大。这些技术在高并发服务器、任务调度、实时数据处理等场景中至关重要。本文以C++为例，深入剖析了互斥锁、条件变阅读详情

</pre><p>使用细粒度锁的c++线程安全队列实现：</p><p></p><pre name="code" class="cpp">#include<iostream>
#include<thread>
#include<mutex>
#include<memory>

template<typename T>
class threadsafe_queue
{
private:
	struct node
	{
		std::shared_ptr<T> data;
		std::unique_ptr<node> next;
	};
	std::unique_ptr<node> head;
	node* tail;
	std::mutex head_mutex;
	std::mutex tail_mutex;

	node* get_tail()
	{
		std::lock_guard<std::mutex> tail_lock(tail_mutex);
		return tail;
	}

	std::unique_ptr<node> pop_head()
	{
	std:; lock_guard<std::mutex>head_lock(head_mutex)
		if (head.get() == get_tail())
			return nullptr;

		std::unique_ptr<node>const old_head = std::move(head);
		head = std::move(old_head->next);
		return old_head;
	}

public:
	threadsafe_queue()
	{}
	threadsafe_queue(const threadsafe_queue& other) = delete;
	threadsafe_queue& operator=(const threadsafe_queue &other) = delete;


	void push(T new_value)
	{
		std::shared_ptr<T> new_data(std::make_shared<T>(std::move(new_value)));
		std::unique_ptr<node>p(new node);
		node* const new_tail = p.get();
		std::lock_guard < std::mutex。 tail_lock(tail_mutex);
		tail->data = new_data;
		tail->next = std::move(p);
		tail = new_tail;

	}
};

收录于