Deadlocks - Deadlock Characterization

Question

Wat zijn de vier noodzakelijke voorwaarden voor het optreden van een deadlock?

Answer 1

Mutual exclusion: een gemeenschappelijke hulpbron mag slechts aan één proces tegelijk worden toegewezen;
Hold and wait: terwijl een proces wacht houdt het een hulpbron vast;
No preemption: een hulpbron kan door een proces alleen vrijwillig worden vrijgegeven;
Circulair wait: er is sprake van een cyclus waarin elk proces wacht op een hulpbron die wordt vastgehouden door een volgend proces.

Answer 2

De graaf bevat een gerichte lus (cykel)
Het aantal benodigde instanties van een hulpbron is groter dan het aantal beschikbare hulpbronnen

Answer 3

Een resource-allocation graph bestaat uit een verzameling vertices P (de actieve processen), een verzameling vertices R (de resourcetypen) en een verzameling gerichte edges E.

Een edge van process P naar resourcetype R betekent dat proces P een instantie van resourcetype R heeft aangevraagd. Zo'n edge heet een request edge.

Een edge van resourcetype R naar process P betekent dat een instantie van resourcetype R is toegewezen aan process P. Zo'n edge heet een assigment edge.

Door middel van stippen wordt het aantal instanties van een resourcetype aangegeven.