The Little Book of Semaphores 信号量小书 第七章 不太遥远的经典问题 7.6 餐厅问题