https://123dok.com/ir/docs/parallel-deadlock-detection-algorithm-dl-edi-info-ir.11151775