Zum Inhalt springen

Resource Allocation Graph

aus Wikipedia, der freien Enzyklopädie
Datei:Resource-allocation-graph.svg
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.<ref>{{#ifexist:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|0471694665}} | {{bibISBN/{{#invoke:URIutil|plainISBN|0471694665}}

  |record = Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|0471694665}}
  |format = Literatur
  |Autor = 
  |Titel = 
  |TitelErg = 
  |Band = 
  |Auflage = 
  |Kommentar= 
  |Kapitel = 
  |Seite = 258
  |Seiten = 
  |Spalten = 
  |ArtikelNr = 
  |Fundstelle = 
  |DOI = 
  |Online = 
  |URL = 
  |Linktext = 
  |Format = 
  |KBytes = 
  |Abruf = 
  |Typ = 

}}{{#ifeq: 0 | 0

   | {{#invoke:TemplatePar|check
       |all= 1=
       |opt= 2= format= Autor= Titel= TitelErg= Hrsg= Sammelwerk= WerkErg= Band= Nummer= Auflage= Datum= Sprache= NummerReihe= BandReihe= HrsgReihe= Kommentar= Kapitel= Seite= Seiten= Spalten= ArtikelNr= Fundstelle= DOI= Online= URL= Linktext= Format= KBytes= Abruf= Typ=

|template=Vorlage:bibISBN |cat=Wikipedia:Vorlagenfehler/Vorlage:BibISBN}}

     }}

| {{#if:||{{#if:{{#invoke:URIutil|plainISBN|0471694665}}|Der BibISBN-Eintrag [[Vorlage:BibISBN/{{#invoke:URIutil|plainISBN|0471694665}}]] ist nicht vorhanden. Bitte prüfe die ISBN und lege ggf. einen {{#ifeq:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|0471694665}}|Resource Allocation Graph|{{#switch:{{{LINK}}}|JA=|NEIN=}}}}[[[:Vorlage:Neuer Abschnitt/URL]] neuen Eintrag] an.|Die angegebene ISBN „0471694665“ ist fehlerhaft. Bitte prüfe und korrigiere die ISBN.}}{{#ifeq: 0 | 0 | }}}}}}</ref>

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

Einzelnachweise

<references />