"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).
Mutual exclusion / Wederzijdse uitsluiting
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-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 tot Pj een hulpbron vrijgeeft die Pi nodig heeft.
