进餐问题及其他信号量