操作系统实验 - 题目三 P、V原语的模拟实现（消费者问题）

3．1 题目的主要研究内容及预期达到的目标

【设计目的】
理解信号量相关理论；掌握记录型信号量结构；掌握P、V原语实现机制。
【课题描述】
本课题针对操作系统中信号量相关理论进行设计，要求编写程序并进行测试。代码主要模拟信号量的P操作（wait）和V操作（signal）。
【课题内容】
（1）编写程序；
（2）进行功能测试并得出正确结果。

3．2 题目研究的工作基础或实验条件

（1）硬件环境：Windows 10
（2）软件环境: vs2017

3．3 设计思想

使用PV原语模拟，T 表示有T个生产者。同时也有T个消费者，然后每个生产者总共生产T个数据。
每个消费者总共消费T个数据，N表示最大随机数大数值。
在同一个进程地址空间内执行两个线程。生产者线程生产物品，然后将物品放置在一个空缓冲区中供消费者线程消费。消费者线程从缓冲区中获得物品，然后释放缓冲区。当生产者线程生产物品时，如果没有空缓冲区可用，那么生产者线程必须等待消费者线程释放一个空缓冲区。当消费者线程消费物品时，如果没有满的缓冲区，那么消费者线程将被阻挡，直到新的物品被生产出来。

3．4问题描述图

图3-1 消费者问题描述图

3．5 主要程序代码

#include <iostream>
#include <string>
#include <thread>
#include <mutex>
#include <queue>
#include <vector>
#include <ctime>
#include <random>
using namespace std;

class Semaphore {
public:
	Semaphore(long count = 0) :count_(count) {}
	void Signal() {
		unique_lock<mutex> lock(mutex_);
		++count_;
		cv_.notify_one();
	}
	void Wait() {
		unique_lock<mutex> lock(mutex_);
		//第二个参数为false时才会阻塞，
		//为使用Lambda表达式创建匿名函数
		cv_.wait(lock, [=] { return count_ > 0; });
		--count_;
	}
	void setCount(long count = 0) {
		count_ = count;
	}
private:
	mutex mutex_;
	condition_variable cv_;
	long count_;
};


int T, N;
int BufferSize;
queue<string> output;
queue<int> Buffer;
Semaphore BufferChoose, BufferCnt, BufferLast;

void Poducer(int cnt) {
	srand(time(NULL) + cnt);
	int data;
	for (int i = 0; i < T; ++i) {
		BufferLast.Wait();
		BufferChoose.Wait();
		data = rand() % N;
		Buffer.push(data);
		string temp = string("生产者") + to_string(cnt) + string("向缓冲区输出了") + to_string(data);
		output.push(temp);
		BufferChoose.Signal();
		BufferCnt.Signal();
	}
}

void Consumer(int cnt) {
	int data;
	for (int i = 0; i < T; ++i) {
		BufferCnt.Wait();
		BufferChoose.Wait();
		data = Buffer.front();
		Buffer.pop();
		string temp = string("消费者") + to_string(cnt) + string("从缓冲区取到了") + to_string(data) + string(",平方得") + to_string(data * data);
		output.push(temp);
		BufferChoose.Signal();
		BufferLast.Signal();
	}
}

int main() {
	T = 4;
	N = 100;
	BufferSize = 10;
	_ASSERT(BufferSize > 0);

	BufferChoose.setCount(1);
	BufferCnt.setCount(0);
	BufferLast.setCount(BufferSize);

	vector<thread> vt;
	for (int i = 0; i < 2 * T; ++i) {
		if (i < T) vt.push_back(thread(Poducer, i));
		else vt.push_back(thread(Consumer, i - T));
	}
	for (int i = 0; i < 2 * T; ++i) {
		vt[i].join();
	}
	while (!output.empty()) {
		cout << output.front() << endl;
		output.pop();
	}
	system("pause");
}

3．6 运行结果及分析

图3-2 结果图

3．7心得体会

生产者与消费者是一个与现实有关的经验问题，通过此原理举一反三可以解决其他类似的问题。 通过本实验设计，我们对操作系统的P、V进一步的认识，深入的了解P、V操作的实质和其重要性。课本的理论知识进一步阐述了现实中的实际问题。