Resource Allocation Graph

Ein Resource Allocation Graph

Ein Resource Allocation Graph (kurz RAG) ist ein gerichteter Graph, der Ressourcen und Prozesse in Beziehung stellt. Er dient der Analyse von Deadlocks. Wenn in dem RAG kein Zyklus existiert, kann kein Deadlock auftreten.

Jeder Knoten ist entweder ein Prozessknoten P_i oder ein Ressourcenknoten R_j. Eine Kante von einem Ressourcenknoten R_j zu einem Prozessknoten P_i bedeutet, dass der Prozess P_i die Ressource R_j hält, und eine Kante von einem Prozessknoten P_k nach R_j bedeutet, dass der Prozess P_k darauf wartet, dass die Ressource R_j frei wird.