Linux系统下用mutex解决哲学家问题