LE 7 Deadlock Flashcards
Assignment edge
Toewijzingspijl in een hulpbronallocatiegraaf.
Circular wait
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. Een situatie waarin twee of meer processen onbepaalde tijd wachten op een gebeurtenis die allen 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.
Directed graph
Gerichte graaf.
Hold-and-wait
Vasthouden en wachten. Terwijl een proces wacht, houdt het een hulpbron vast.
Mutual exclusion
Wederzijdse uitsluiting. Kritieke secties met betrekking tot een gemeenschappelijke hulpbron kunnen niet gelijktijdig worden uitgevoerd.
Preemption
Een proces wordt onvrijwillig een hulpbron ontnomen.
Request edge
Verzoekpijl in een hulpbronallocatiegraaf.
Resource (system)
(Systeem)hulpbron.
Resource type
Hulpbrontype (zoals type printer of type disk).
Resource-allocation graph
Een gerichte graaf bestaande uit de verzameling 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 (assignment edges) Ri => Pj. Ten behoeve van deadlockvermijding kan E worden uitgebreid met mogelijk toekomstige verzoeken (claim edges) Pi => Rj.
Resource-allocation state
Het aantal beschikbare en toegewezen hulpbronnen en het maximum aantal verzoeken van ieder proces.
Wait-for-graph
Een gerichte graaf bestaande uit een verzameling punten P en een verzameling pijlen E; de graaf wordt afgeleid uit een hulpbronallocatiegraaf met voor ieder hulpbrontype slechts één instantie. P duidt alle actieve processen in een systeem aan. Een pijl Pi=>Pj in E geeft aan dat Pi wacht to Pj een hulpbron vrijgeeft die Pi nodig heeft.
