我们已经介绍了MutexLock(互斥锁)类和Condition(条件变量)类的封装,现在我们组合在一起封装存取任务的仓库TaskQueue。
条件变量:学习记录(4.3)---面向对象的条件变量类的封装
1、类图
由类图可知, 互斥锁(MutexLock)和条件变量(Condition)为TaskQueue的数据成员,这是常见的组合关系。
同时还有empty()和full()两个返回值为bool的函数作为成员函数来判断队列为空或者为满,当对列为空的时候,消费者wait生产者生产数据,当对队列full时候通知消费者来取数据,生产者阻塞。
下面是示例代码,pop是消费者取数据,push是生产者生产数据
2、头文件 TaskQueue.h
#ifndef __TASKQUEUE_H
#define __TASKQUEUE_H
#include<queue>
#include"Mutex_lock.h"
#include"Condition.h"
using std::queue;
class TaskQueue
{
private:
size_t _queSize;
//定义一个队列,用于存储数据
queue<int> que;
//定义一个互斥锁,用于保护队列的操作
MutexLock _mutex;
//定义两个条件变量,用于实现阻塞和非阻塞的队列操作
Condition _notEmpty;
Condition _notFull;
public:
//构造函数,用于初始化队列的大小
TaskQueue(size_t queSize);
//析构函数,用于释放队列占用的资源
~TaskQueue();
//判断队列是否为空
bool empty() const;
//判断队列是否已满
bool full() const;
//向队列中添加数据
void push(const int &value);
//从队列中取出数据
int pop();
};
#endif
3、具体实现 TaskQueue.cc
#include"TaskQueue.h"
#include<algorithm>
#include <unistd.h>
TaskQueue::TaskQueue(size_t queSize)
:_queSize(queSize)
,que()
,_mutex()
,_notEmpty(_mutex)
,_notFull(_mutex)
{
}
TaskQueue::~TaskQueue()
{
}
bool TaskQueue::empty() const
{
return 0 == que.size();
}
bool TaskQueue::full() const
{
return _queSize == que.size();
}
void TaskQueue::push(const int &value)
{
_mutex.lock();
while(full())//生产者等待, 防止虚假唤醒
{
_notFull.wait();
}
que.push(value);//将数据压入队列
_notEmpty.notify();//通知消费者消费数据
_mutex.unlock();//解锁
}
int TaskQueue::pop()
{
_mutex.lock();
while(empty())//防止虚假唤醒
{
_notEmpty.wait();
}
int tmp = que.front();
que.pop();
_notFull.notify();
_mutex.unlock();
return tmp;
}
void TaskQueue::wakeup()
{
_notEmpty.notify();
}