哲学家问题ucos-ii.