操作系统实验三程序分析

直接上代码~

#include 
#include 

const unsigned short SIZE_OF_BUFFER = 2; //缓冲区长度
unsigned short ProductID = 0; //产品号
unsigned short ConsumeID = 0; //将被消耗的产品号
unsigned short in = 0; //产品进缓冲区时的缓冲区下标
unsigned short out = 0; //产品出缓冲区时的缓冲区下标
int buffer[SIZE_OF_BUFFER]; //缓冲区是个循环队列
bool p_ccontinue = true; //控制程序结束
HANDLE Mutex; //用于线程间的互斥
HANDLE FullSemaphore; //当缓冲区满时迫使生产者等待
HANDLE EmptySemaphore; //当缓冲区空时迫使消费者等待
DWORD WINAPI Producer(LPVOID); //生产者线程
DWORD WINAPI Consumer(LPVOID); //消费者线程
int main() {
//创建各个互斥信号
//注意，互斥信号量和同步信号量的定义方法不同，互斥信号量调用的是 CreateMutex 函数，
//同步信号量调用的是 CreateSemaphore 函数，函数的返回值都是句柄。
    Mutex = CreateMutex(NULL,FALSE,NULL);
    EmptySemaphore = CreateSemaphore(NULL,SIZE_OF_BUFFER,SIZE_OF_BUFFER,NULL);
//将上句做如下修改，看看结果会怎样
//EmptySemaphore = CreateSemaphore(NULL,0,SIZE_OF_BUFFER-1,NULL);
    FullSemaphore = CreateSemaphore(NULL,0,SIZE_OF_BUFFER,NULL);
//调整下面的数值，可以发现，当生产者个数多于消费者个数时，
//生产速度快，生产者经常等待消费者；反之，消费者经常等待
    const unsigned short PRODUCERS_COUNT = 3; //生产者的个数
    const unsigned short CONSUMERS_COUNT = 1; //消费者的个数
//总的线程数
    const unsigned short THREADS_COUNT = PRODUCERS_COUNT+CONSUMERS_COUNT;
    HANDLE hThreads[THREADS_COUNT]; //各线程的 handle
    DWORD producerID[PRODUCERS_COUNT]; //生产者线程的标识符
    DWORD consumerID[CONSUMERS_COUNT]; //消费者线程的标识符
//创建生产者线程
    for (int i=0; i

• 运行结果&结论：

正常运行图

从运行结果中能看到，生产的速度大于消费，生产者就要经常等待；生产速度小于消费，消费者就需要经常等待。 步骤3中，线程的第一个执行函数是Producer,位于第三个参数。 hThreads[i]=CreateThread(NULL,0,Producer,NULL,0,&producerID[i]);

• 步骤5 修改EmptySemaphore的初始化方法后结果：

无法输出

• 步骤6

1. CreateMutex 中有几个参数，各代表什么含义。

根据MSDN中函数解析，可以得出CreateMutex中的参数分别代表

LPSECURITY_ATTRIBUTES lpMutexAttributes  //代表安全属性指针
BOOL bInitialOwner //代表布尔bInitialOwner
LPCTSTR lpName //代表LPCTSTR类型lpName

2. CreateSemaphore 中有几个参数，各代表什么含义，信号量的初值在第几个参数中。

四个参数：1.安全性2.设置信号量的初始计数3.设置信号量的最大计数4.指定信号量对象的名称

3. 程序中 P、V 原语所对应的实际 Windows API 函数是什么，写出这几条语句。

P:Take() V:Append()

4. CreateMutex 能用 CreateSemaphore 替代吗？尝试修改程序 3-1，将信号量 Mutex 完全用CreateSemaphore 及相关函数实现。写出要修改的语句。

CreateMutex能用CreateSemaphore代替，
Mutex = CreateSemaphore(NULL, false, false, NULL);