就餐座位问题——操作系统课程讲义

简介：
本讲义为《操作系统》课程设计，聚焦于“就餐座位问题”，深入解析该问题在进程同步与互斥中的应用及其解决方案，帮助学生理解操作系统的高级概念。 在教师餐厅的就餐座位问题中，有20个座位可供顾客使用。最多可能同时有30位顾客前来就餐。每位顾客进出餐厅都需要通过电子读卡机进行刷卡操作，并且同一时间只允许一人刷卡。请用P、V操作描述这种情况下顾客就餐时所涉及的同步制约关系，并给出设置信号量的最大值和最小值。 具体来说，可以定义一个整型变量seats来表示当前可用座位的数量（初始值为20）。当有顾客进入餐厅时执行P(seats)操作以减少可用座位数；当顾客离开并刷卡后则执行V(seats)操作增加可使用座位数。这样就保证了任何时候餐厅内的实际就餐人数都不会超过其最大容纳量。 信号量seats的可能取值范围是0到20，其中最小值为0（即所有座位都被占用），最大值为20（表示此时没有任何顾客在餐厅内）。