《操作系统》-吸烟者问题

什么是吸烟者问题？

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

如何对吸烟者问题进行分析

互斥关系
对临界资源(桌子)的访问是互斥的
同步关系
第一个抽烟者取走东西的前操作是桌子上有组合一
第二个抽烟者取走东西的前操作是桌子上有组合二
第三个抽烟者取走东西的前操作是桌子上有组合三
供应者将下一个组合放在桌子上的前操作是发出完成信号

如何实现

代码可如下：

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

抽烟者进程1

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

抽烟者进程2

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

抽烟者进程3

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