吸烟者问题

问题描述

假设一个系统有三个抽烟者进程和一个供应者进程。每个抽烟不停地卷烟并抽掉它，但要卷起并抽调一支烟，抽烟者需要三种材料：烟草、纸和胶水。三个抽烟者中，第一个拥有烟草，第二个拥有纸，第三个拥有胶水。供应者进程无限地提供三种材料，供应者每次将两种材料放到桌子上，用于剩下那种材料的卷烟者卷一根烟并抽掉它，并给供应者一个信号告诉已完成，此时供应者就会将另外两种材料放到桌子上，如此重复（让三个抽烟者轮流地抽烟）。

关系分析 

1.供应者进程和抽烟者进程之间是同步关系；

2.抽烟者之间是互斥关系。

3.首先需要三个信号量同步供应者和三个抽烟者之间的发生顺序；其次可以把桌子看成是大小为1的缓冲区，可以设置一个互斥信号量来实现对桌子的互斥访问；最后可以设置一个finish信号量来让抽烟者抽烟告诉供应者已抽烟完毕。

代码 

//没有设置对桌子互斥访问的信号量，因为下面四个信号量在同一时刻，至多只有一个得值为1
semaphore offer1 = 0;
semaphore offer2 = 0;
semaphore offer3 = 0;
semaphore finish = 0;
int i;                
porvider(){
	while(true){
		if(i == 0){
			将组合一放在桌子上;
			V(offer1);
		}
		if(i == 1){
			将组合二放在桌子上;
			V(offer2);
		}
		if(i == 2){
			将组合三放在桌子上;
			V(offer3);
		}
		
		//实现供应者对抽烟者的轮流供应
		i = (i+1)%3;
		
		//如果抽烟者未抽烟完毕，供应者进程运行到此处便会被阻塞
		P(finish);
	}
}

smoker1(){
	while(true){
		P(offer1);
		从桌上拿走组合一;
		卷烟;
		抽掉;
		P(finish);
	}
}
smoker2(){
	while(true){
		P(offer2);
		从桌上拿走组合二;
		卷烟;
		抽掉;
		P(finish);
	}
}
smoker3(){
	while(true){
		P(offer3);
		从桌上拿走组合三;
		卷烟;
		抽掉;
		P(finish);
	}
}