4.维持一个图数据结构，一个事务代表一个节点，如果事务A等待事务B持有的资源，就会在等待图中添加一条从A指向B的边。循环检测图是否含有环（死锁）