semaphore mutex = 1; // 取号机互斥 semaphore empty = 10; // 空座位数 semaphore full = 0; // 等待服务的顾客数 semaphore queue_mutex = 1; // 等待队列的互斥（入队/出队操作） cobegin process 顾客i { P(empty); // ① 申请空座位：无空座位则阻塞，有空则占用（empty减1） P(mutex); // ② 申请取号机：互斥访问取号机 从取号机获得一个号码; V(mutex); // ③ 释放取号机：允许其他顾客取号 P(queue_mutex); // ④ 申请队列互斥：准备加入等待队列 将自己加入等待队列; // （逻辑操作，需互斥保护队列） V(queue_mutex); // ⑤ 释放队列互斥 V(full); // ⑥ 通知营业员：等待服务的顾客数加1 等待叫号; // （在队列中等待，由营业员出队触发） 获得服务; } process 营业员 { while (TRUE) { P(full); // ① 等待顾客：无等待顾客则阻塞，有则继续（full减1） P(queue_mutex); // ② 申请队列互斥：准备取出顾客 从等待队列中取出一个顾客（叫号）; V(queue_mutex); // ③ 释放队列互斥 为顾客服务; V(empty); // ④ 释放座位：服务完成，空座位数加1 } } coend