【王道考研】吸烟者问题

2.3.8 吸烟者问题

知识来源： B站王道考研

问题描述

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

semaphore offer1 = 0; // 桌上组合一的数量
semaphore offer2 = 0; // 桌上组合二的数量
semaphore offer3 = 0; // 桌上组合三的数量
semaphore finish = 0; // 抽烟是否完成
int i = 0;            // 用于实现“轮流抽烟”

供应者代码：

provider(){
	while(1){
		if(i == 0){
			将组合一放桌上;
			V(offer1);
		}else if(i == 1){
			将组合二放桌上;
			V(offer2);
		}else if(i == 2){
			将组合三放桌上;
			V(offer3);
		}
		i = (i + 1) % 3;
		P(finish);
	}
}

smoker1(){
	while(1){
		P(offer1);
		从桌上拿走组合一;
		V(finish);
	}
}

smoker2(){
	while(1){
		P(offer2);
		从桌上拿走组合二;
		V(finish);
	}
}

smoker3(){
	while(1){
		P(offer3);
		从桌上拿走组合三;
		V(finish);
	}
}