吸烟者问题

问题描述

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

问题分析

同步关系（从事件的角度来分析）：

桌上有组合一→第一个抽烟者取走东西

桌上有组合二→第二个抽烟者取走东西

桌上有组合三→第三个抽烟者取走东西

发出完成信号→供应者将下一个组合放到桌上

如何实现

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

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

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

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

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