///信号量及变量定义
//3个信号量
//mutex：互斥信号量 初始值1;
//empty:资源信号量，表示空缓冲 初始值为n;
//full：资源信号量，表示缓冲区满 初始值为0
Var mutex，empty，full: semaphore:=1,n,0；
//缓冲区，一个大小为n的数组
buffer:array[0，…，n-1] 
//输入，输出，初始值为0
in，out: integer:=0，0；

///过程描述
begin 
    //生产者描述
    Producer: 
    begin 
        repeat 
            //生产了一个产品，nextp：next product
            producer an item nextp；
            //申请empty。若empty为0时，阻塞挂起，进入等待队列
            wait(empty)；
            //申请mutex,mutex为互斥，避免同一时刻对缓冲区进行操作引起混乱
            wait(mutex)；
            //产品进入缓冲，in位置进1
            buffer(in):=nextp；
            in:=(in+1) mod n；
            //释放互斥信号量
            signal(mutex)；
            //释放full，full加1
            signal(full)；
        until false；
    end 
    //消费者描述
    Consumer: 
    begin 
        repeat 
            //申请full.若full为0，则挂起等待
            wait(full)；
            //申请互斥mutex，避免同一时刻对缓冲区进行操作引起混乱
            wait(mutex)；
            //取出产品，out位置进1
            nextc:=buffer(out)；
            out:=(out+1) mod n；
            //释放互斥信号量
            signal(mutex)；
            //释放empty,empty加1
            signal(empty)；
            //消费一个产品
            consumer the item in nextc；
        until false；
    end 
end

///管程*享变量
//定义一个管程，producer-consumer,简称PC
type producer-consumer=monitor 
//定义3个变量，in,out,count
Var in,out,count: integer；
//定义buffer数组，缓冲区
buffer: array[0, …, n-1] of item；
//定义条件变量，notfull、notempty
notfull，notempty:condition；

///管程中的一组操作
//生产者过程
procedure entry put(item) 
begin 
    //如果count>=n, 生产者进程由于notfull不满足而进入相应等待队列挂起
    if count>=n then notfull.wait；
    //如果count<n,则缓冲区仍有位置，放入产品
    buffer(in):=nextp；
    in:=(in+1) mod n；
    count:=count+1；
    //放入后，notempty队列存在进程，则唤醒
    if notempty.queue then notempty.signal；
end 

///消费者进程
consumer entry get(item) 
begin 
    //count<=0时，缓冲区为空，则消费者进程由于不满足notempty而在相应队列中挂起
    if count<=0 then notempty.wait；
    //count>0时，取出产品
    nextc:=buffer(out)；
    out:=(out+1) mod n；
    count:=count-1；
    //count-1后，若notfull条件队列不为空，则唤醒notfull中进程
    if notfull.quene then notfull.signal；
end 

///管程初始化代码
begin 
    in:=out:=0； 
    count:=0 
end 

///生产者
producer: 
    begin 
    repeat 
        produce an item in nextp；
        PC.put(item)；
    until false；
end 
///消费者
consumer: 
begin 
    repeat 
        PC.get(item)；
        consume the item in nextc；
    until false；
end

Var chopstick array of semaphore:=(1,1,1,1,1)；

repeat 
    ///思考
    think；
    wait(chopstick[(i+1)mod 5]，chopstick[i])；
    ///吃饭
    eat；
    signal(chopstick[(i+1)mod 5]，chopstick[i])；
until false；

///不过多解释，具体请查看，信号量机制中的AND型信号量。