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();
}