---

semaphore empty = 0; //顾客等待数

semaphore full = 10; //座位剩余数

semaphore mutex = 1; //互斥使用取号器

semaphore service = 1; //营业员是否在服务

cobegin

process 顾客 i{

P(full) //判断是否还有座位

p(mutex) //互斥访问取号器

从取号机获得一个号码；

v(mutex);

等待叫号；

获得服务；

v(full);

}

process 营业员{

while(True){

p(empty);//判断是否有顾客等待

p(service);

叫号；

为顾客服务；

v(service);

v(empty);

}

}

---