"Leereenheid 7 Deadlock" Flashcards
Assignment edge
Toewijzingspijl in een hulpbronallocatiegraaf.
Circular wait
Circulair wachten. Elk proces in een cyclische keten wacht op een hulpbron die wordt vastgehouden door het volgende proces in de keten.
Claim edge
Gestippelde verzoekpijl Pi Rj in een hulpbronallocatiegraaf die aangeeft dat een proces in de toekomst een verzoek voor hulpbrontype Rj kan doen.
Cycle (in directed graph)
Gerichte lus (kort: cykel).
Cycle-detection
algorithm Algoritme voor het bepalen of een hulpbronallocatiegraaf een gerichte lus bevat.
Deadlock avoidance
Vermijden (ontwijken) van deadlock; nodig is dat aan het systeem op voorhand informatie over de voor een proces benodigde hulpbronnen wordt gegeven.
Deadlock / Dodelijke omarming
Dodelijke omarming. Een situatie waarin twee of meer processen onbepaalde tijd wachten op een gebeurtenis die alleen door één van de wachtende processen kan worden veroorzaakt.
Deadlock prevention
Voorkomen van deadlock; een verzameling methoden die garanderen dat minstens één van vier noodzakelijke voorwaarden voor deadlock nooit geldt.
Deadlock-avoidance algorithm
Algoritme voor het vermijden (of ontwijken) van deadlock.
Deadlock-detection algorithm
Algoritme voor het bepalen of deadlock is opgetreden.
Gerichte graaf
Directed graph
Hold-and-wait / Vasthouden en wachten
Vasthouden en wachten. Terwijl een proces wacht, houdt het een hulpbron vast.
Hulpbron (systeem-) / Resource (system)
(Systeem)hulpbron.
Hulpbronallocatiegraaf / Resource-allocation graph
Een gerichte graaf bestaande uit de verzamelingen punten P en R en de verzameling pijlen E. P duidt alle actieve processen in een systeem aan. R duidt alle hulpbrontypen in het systeem aan. E bestaat uit verzoekpijlen (request edges) Pi -> Rj en toewijzingspijlen (assignment edges) Ri -> Pj. Ten behoeve van deadlockvermijding kan E worden uitgebreid met mogelijk toekomstige verzoeken (claim edges) Pi -> Rj
Resource type / Hulpbrontype
Hulpbrontype (zoals type printer of type disk).