OS课程设计,实现死锁的检测和化简。