Graf alokace zdrojů je obrazovým znázorněním stavu systému. Jak jeho název napovídá, graf alokace zdrojů je kompletní informací o všech procesech, které drží nějaké zdroje nebo čekají na nějaké zdroje.
Obsahuje také informace o všech instancích všech zdrojů, ať už jsou dostupné nebo používané procesy.
V grafu alokace zdrojů je proces reprezentován kruhem, zatímco zdroj je reprezentován obdélníkem. Podívejme se podrobně na typy vrcholů a hran.
Vrcholy jsou převážně dvou typů, zdroj a proces. Každý z nich bude reprezentován jiným tvarem. Kruh představuje proces, zatímco obdélník představuje zdroj.
Zdroj může mít více než jednu instanci. Každá instance bude reprezentována tečkou uvnitř obdélníku.
Hrany v RAG jsou také dvou typů, jeden představuje přiřazení a druhý představuje čekání procesu na zdroj. Výše uvedený obrázek ukazuje každý z nich.
Zdroj je zobrazen jako přiřazený k procesu, pokud je konec šipky připojen k instanci zdroje a hlava je připojena k procesu.
Proces je zobrazen jako čekání na zdroj, pokud je konec šipky připojen k procesu, zatímco hlava ukazuje na zdroj.
Příklad
Uvažujme 3 procesy P1, P2 a P3 a dva typy zdrojů R1 a R2. Zdroje mají každý 1 instanci.
Podle grafu R1 využívá P1, P2 drží R2 a čeká na R1, P3 čeká na R1 stejně jako R2.
Graf je bez uváznutí, protože se v grafu nevytváří žádný cyklus.