pytania - Wazniak MIMUW

1. Proszę przedstawić sieć przejść pomiędzy stanami w systemie, opisanym przez poniższy
graf przydziału zasobów odzyskiwalnych, uwzględniającą wszystkie możliwe zdarzenia
przy założeniu, że nie będzie nowych zamówień.
P1
Z2
Z1
P2
2. Proszę ustalić czy istnieje i ewentualnie wyznaczyć supeł w poniższych grafach.
v2
v2
v1
v1
v3
v5
v3
v4
v5
v4
v2
v2
v1
v1
v3
v5
v4
v3
v5
v4
3. Proszę przedstawić dwa różne ciągi akcji, w wyniku których system przejdzie ze stanu,
opisanego przez graf przydziału zasobów nieodzyskiwalnych po lewej stronie, w stan,
opisany przez graf po prawej stronie.
P1
P2
Z1
P3
Z2
P1
P2
Z1
P3
Z2
4. System znajduje się w stanie S1 opisanym przez graf przydziału zasobów
odzyskiwalnych, przedstawiony na rysunku po lewej stronie.
(a) Proszę przeanalizować osiągalność stanów i związaną z tym poprawność przejść
pomiędzy stanami w grafie przedstawionym na rysunku po prawej oraz dokonać
ewentualnych korekt.
(b) Proszę przeanalizować stan systemu pod kątem zjawisk związanych z problemem
zakleszczenia (wystąpienie zakleszczenia, zagrożenia lub stan bezpieczny),
uwzględniając możliwość zmiany stanu zgodnie ze skorygowanym grafem przejść.
r3(Z2)
P2
P1
P3
S1
d3(Z1)
Z1
Z2
S4
a2(Z1)
S4
a3(Z2)
S2
S3
d3(Z2)
d3(Z1)
d3(Z1)
r3(Z2)
S5
a3(Z2)
S6
d3(Z2)
a2(Z1)
a2(Z1)
r3(Z2)
S5
a3(Z2)
S6
d3(Z2)
5. Rysunek po lewej przedstawia fragment grafu przejść pomiędzy stanami w systemie.
Stan S3 opisany jest przez graf przydziału zasobów odzyskiwalnych przedstawiony na
rysunku po prawej.
(a) Proszę narysować graf przydziału zasobów dla stanu S2 i S4.
(b) Proszę uzupełnić graf przejść uwzględniając następujące zdarzenia: r1(Z1), a1(Z1).
a1(Z2)
S1
d2(Z1)
r1(Z2)
S2
S3
P2
d1(Z2)
d2(Z1)
d2(Z1)
S4
P1
a1(Z2)
d1(Z2)
S5
r1(Z2)
S6
Z1
Z2
6. Proszę przedstawić w stanie systemu, opisanym przez poniższy graf przydziału zasobów
nieodzyskiwalnych, ciąg akcji, który:
(a) doprowadzi do zakończenia przetwarzania wszystkich procesów,
(b) doprowadzi do zakleszczenia.
P1
P2
Z1
P3
Z2