8.11.2 哲学家进餐问题的同步处理