C语言解决哲学家就餐问题