嵌入式操作系统及其应用——哲学家就餐问题的实验和课件。