先到先得，而且有queue排队等待。得到一个叉子的Lock 后再等下一个叉子的lock，用完放下 （release lock). 后台有进程监视deadlock 杀掉其中一个，这是数据库的解决方案。五个哲学家是个例可以有更优化的算法。我这么理解对吗？另外这跟离散数学有关系吗