Tag: resource allocation graph in deadlock