用管程（monitor）实现哲学家进餐问题：数据结构、pickup / putdown / test 过程与一个完整解法。