c++使用智能指针的线程安全队列

整理自C++并发编程实战

使用std::shared_ptr<>的线程安全队列

/*
 * threadsafe_queue_ptr.cpp
 *
 *  Created on: Mar 2, 2018
 *      Author: clh01s@163.com
 *      为了防止在wait_and_pop()中引发异常,
 *      所以将shared_ptr<>的初始化移动到push()
 *      调用,并且存储shared_ptr<>的实例而不是
 *      存储值。将内部的queue复制到shared_ptr<>
 *      并不会引发异常。
 */

#include <iostream>
#include <queue>
#include <mutex>
#include <memory>
#include <condition_variable>

using namespace std;

template<typename T>
class threadsafe_queue
{
public:
	threadsafe_queue(){}
	void wait_and_pop(T& value)
	{
		//使用了条件变量之后如果队列中没有元素会等待队列push之后再pop,这里需要操作队列所以解锁互斥锁
		unique_lock<mutex> lk(_mut);
		cout<<"解锁_mut"<<endl;
		//调用等待函数时使用lambda判断队列中是否为空
		_data_cond.wait(lk,[this]{return !_data_queue.empty();});
		value = std::move(*_data_queue.front());
		_data_queue.pop();
	}

	bool try_pop(T& value)
	{
		//为了防止竞争先加锁队列
		lock_guard<mutex> lk(_mut);
		cout<<"加锁_mut"<<endl;
		//如果
		if(_data_queue.empty())
			return false;
		value = move(*_data_queue.front());
		cout<<"pop:"<<value<<endl;
		_data_queue.pop();
		return true;
	}

	shared_ptr<T> wait_and_pop()
	{
		unique_lock<mutex> lk(_mut);
		cout<<"等待pop"<<endl;
		//在pop之前确认队列中是否有元素,否则不解锁
		_data_cond.wait(lk,[this]{return !_data_queue.empty();});
		cout<<"开始pop"<<endl;
		shared_ptr<T> res = _data_queue.front();
		_data_queue.pop();
		return res;
	}

	shared_ptr<T> try_pop()
	{
		lock_guard<mutex> lk(_mut);
		if(_data_queue.empty())
			return shared_ptr<T>();
		shared_ptr<T> res = _data_queue.front();
		_data_queue.pop();
		return res;
	}

	void push(T new_value)
	{
		shared_ptr<T> data(
				make_shared<T>(move(new_value)));
		lock_guard<mutex> lk(_mut);
		_data_queue.push(data);
		//唤醒一个线程供给wait_and_pop使用
		_data_cond.notify_one();
	}

	bool empty() const
	{
		lock_guard<mutex> lk(_mut);
		return _data_queue.empty();
	}
private:
	//互斥锁变量
	mutable mutex _mut;
	//使用智能指针保存的队列类型
	queue<shared_ptr<T> > _data_queue;
	//条件变量
	condition_variable _data_cond;
};

int main()
{
	threadsafe_queue<int> my_queue;
	my_queue.push(1);
	my_queue.push(2);
	my_queue.push(3);
	my_queue.push(4);
	my_queue.push(5);
	my_queue.push(6);
	my_queue.push(7);
	int a = 1;
	my_queue.try_pop(a);
	shared_ptr<int> i = my_queue.try_pop();
	cout<<"try_pop pop出的数是:"<<*i<<endl;
	i = my_queue.wait_and_pop();
	cout<<"wait_and_pop pop出的数是:"<<*i<<endl;
	return 0;
}

运行结果:

clh01s@clh01s:~/testcode/并发$ g++ threadsafe_queue_ptr.cpp -pthread -std=c++11
clh01s@clh01s:~/testcode/并发$ ./a.out 
加锁_mut
pop:1
try_pop pop出的数是:2
等待pop
开始pop
wait_and_pop pop出的数是:3

  • 0
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
当设计一个线程安全的模板队列时,你需要考虑以下几个方面: 1. 数据访问的互斥保护:使用互斥量(`std::mutex`)来保护对队列的读写操作,确保同一时间只有一个线程可以访问队列。 2. 条件变量的使用使用条件变量(`std::condition_variable`)来实现线程的等待和唤醒机制,以避免忙等待和降低 CPU 占用。条件变量可以用于等待队列非空的条件和等待队列为空的条件。 3. 内存管理:确保在队列中存储的元素的内存管理是正确的,避免内存泄漏或悬空指针的问题。 下面是一个基本的线程安全队列的示例代码: ```cpp #include <queue> #include <mutex> #include <condition_variable> template<typename T> class ThreadSafeQueue { public: ThreadSafeQueue() = default; void Push(T value) { std::lock_guard<std::mutex> lock(m_mutex); m_queue.push(std::move(value)); m_cv.notify_one(); // 唤醒一个等待的线程 } T Pop() { std::unique_lock<std::mutex> lock(m_mutex); m_cv.wait(lock, [this] { return !m_queue.empty(); }); T value = std::move(m_queue.front()); m_queue.pop(); return value; } bool Empty() const { std::lock_guard<std::mutex> lock(m_mutex); return m_queue.empty(); } private: std::queue<T> m_queue; mutable std::mutex m_mutex; std::condition_variable m_cv; }; ``` 在上述代码中,`ThreadSafeQueue` 类使用了一个 `std::queue` 来存储元素,并使用 `std::mutex` 来保护对队列的读写操作。`std::condition_variable` 用于实现线程等待和唤醒。 `Push()` 函数用于向队列中添加元素,会先获取互斥锁,然后将元素推入队列,并通过条件变量的 `notify_one()` 唤醒一个等待的线程。 `Pop()` 函数用于从队列中取出元素,如果队列为空,则会等待条件变量的通知,直到队列非空。一旦满足条件,就会取出队列的前端元素,并将其从队列中移除。 `Empty()` 函数用于检查队列是否为空,同样需要获取互斥锁来保护对队列的访问。 通过使用互斥锁和条件变量,这个模板队列可以在多线程环境下安全地进行读写操作。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值