利用管程解决哲学家进餐问题