Esercizi svolti – Gestione dello stallo

NEED

ALLOC Alloc

R3

Re R3

Re R2

Re R3 Re

R1 (P1)

0-100 )

100 No

110 = =

-

Pr No(Pz)

1

1 O

10

0

0 O

1 100 001 10 >

110 =

= -

-

Pros (P3)

0 1

0 00-110

O NO

100 101 )

=

=

-

B00 O 201

ESAME GENNAIO

13 2025 AVAILABLE

NEED

Alloe Re Re

R4

R2 Rs Re

R2 R3 Ra

Re R3 R4

R 1100 O

0 1 000

0 X

o

Ro 1020

0100X

1

1

0

B X 2120

0

2020 o

0 0

PK X 2131

200001

0

2 3141

Per più

verifica stallo

dello

l'algoritmo istanze di

tipo

di ha

risorsa si

con per :

10,0

available 05

work 0

= = ,

, work 01

Request[P3]

P work

quindi

l'unico

è nongià 12

terminato 0

= 2

processo con = ,

, ,

,

Pr work

Request[Pr] 0

work

quindi

l'unico

è nongià 12

terminato 22

=

processo con = ,

,

,

Pr work 17

Request[P2] 12

work

quindi

l'unico

è nongià 3

terminato 1

=

processo con = .

. ,

,

work [3 1]

[P4]

P4 work

quindi

l'unico

è nongià 4

Request

terminato 1

=

processo con = , ,

, ,

Potendo terminare tutti stallo

stato .

in

siamo di

i processi uno

non

Pe richiede R4

> :

- AVAILABLE

NEED

Alloe Re Re

R4

R2 Rs Re

R2 R3 Ra

Re R3 R4

R 1100 2 00

O 1

O 0

Ro 1 010 1020

O

1

0

B Non quindi

terminare altri

X

0

o

2020 processi

o si

0 posso

stallo

PK ha

1

0

1000

0

2

richiede

Pe R4

> :

- AVAILABLE

NEED

Alloe Re Re

R4

R2 Rs Re

R2 R3 Ra

Re R3 R4

R 1100 00

0010 0

X

Ro 1020

L

1 010

1

0

B 2120

X

0000

2020 Non quindi

PK terminare altri processi si

posso

1

0

1000

0

2 stallo

ha

Ps Re

richiede

> :

- AVAILABLE

NEED

Alloe Re Re

R4

R2 Rs Re

R2 R3 Ra

Re R3 R4

R 1100 0

01 O

O 0

.

O Non

Ro quindi

terminare altri

1 010 processi si

O

1

0 posso

B stallo

ha

1

2020 O

O 0

PK 1

0

1000

0

2 R2

richiede

P

> :

- AVAILABLE

NEED

Alloe Re Re

R4

R2 Rs Re

R2 R3 Ra

Re R3 R4 Tutti

R i terminano

1100 X processi

00

01

O 0

o

Ro ha stallo

quindi

1 0100X si

1020

1

0 non

B X

0

o

2020 o

0 2120

PK 2131

01X

2

O

010

2 3141

2025

APRILE

22

ESAME AVAILABLE

ALLOC NEED MAX-ALLOC

= R3 Rz

R2

R4

R4 Re

R3 Ra

Re Re

R2

Re

Pro X 100

1

100

211 o

Rooo 1211

1111X

o Siamo

B0011 stato

1222 in uno

1100X perché tutti

PK 12 22 sicuro processi

X i

0111

100 O 22 I elaborati

2 vergone

richieste

Le 0]

70

Pr 0]

11

possibili di 1

sono 0

0 0 e

, , . ,

,

,

0]

[1 diventano

tabelle

Se Pr le

chiede

> 0 0

- ,

, , AVAILABIF

NEED MAX-ALLOC

Alloc = Re R2

Re

R2 R3 Ra

R4 R4

R2 Ry

Re R3 Nessun

Pr termine

100

111 0

0 1 processo

--

P quindi stato

100 111

o siamo in

& uno

P3 la

sicuro

0011 risorsa

110 & non e non

P4 può

111

O

1000 concessa

essere

0]

[0 diventano

tabelle

Se Pr le

diede

> 1 0

- ,

, , AVAILABIF

NEED MAX-ALLOC

Alloc = Re R2

Re

R2 R3 Ra

R4 R4

R2 Ry

Re R3 Le

Pr Available permettono

10 00

00oX

111 risorse

0 1

P2100 libera

la che

Pr

terminazione

1111 di

O S 011 X

P3 1211 abbastanza terminare lutti

-

risorse

0011 110 -X per

quindi

altri

P4 gli stato

1222

X

1 processi

12

O

100 uno

O ,

la può

risorsa

2 sicuro

2 essere concessa

2

2 e

2025 A

FILA

20 GIUGNO

ESAME grafonon

perché il cicli

stato

trova ha

sistema

Il .

si sicuro

in uno l'algoritmo

Per determinare si banchiere

del

sicura

sequenza .

una usa AVAILABLE

AllOC NEED R3

Re R2

R4

Re R2 Ra R4

R4 Rz

R3

R2

Pr 1

0101X 0

1000 0

O P3-P1-P2

Pro Pp

0011

2001X

o o o -

Ps0100 0011X 111

O

P4001 X

1

0 0 0 111

I

& 1111

potrebbe

R4 tutti

che

L'unica da

i

disponibile richiesta i .

risorsa essere processi

R4

Si Pr

assegna a

1 :

caso : ALLOC AVAILABLE

NEED

R4 Re R2 R4

R2

Re Rg Rz

Ra Rz R3R4

Pr

M 10010100 0000

Pr Nessun

0000 2001 processo

40 termina

1

1000 0 1

P4 00

0010 1

0

R2-

Si Pr

forma P3- R4

RpePr stato pud

questo

ciclo quindi

il è

non quindi

sicuro

+ >

> non

e

,

P1

essere concessa a . Pr

R4

Si assegna

2 a :

laso : ALLOC AVAILABLE

NEED

R4 Re R2 R4

R2

Re Rg Rz

Ra Rz R3R4

Pr 2

0

o

0

1 0 1 0000

0

Pr Nessun

1 O

o processo

0

0 O

1 8

E P termina

1

10 0 0

o 1

o

P4 00

0010 1

0

PetRs R

Si P1 Pr

forma R4

stato pud

questo

ciclo quindi

il è

= + non quindi

sicuro

+- non

e

,

Pr

essere concessa a Pz

R4a :

si

3:

caso ALLOC AVAILABLE

assegna NEED

R4 Re R2 R4

R2

Re Rg Rz

Ra Rz R3R4

101

Pr 0000

1 0000

1 Pr Nessun

1002

0000 processo

P0101 termina

010

&

4001000 O 2

Pz

R3 PKtR4-

Si P3

forma R4

stato pud

questo

ciclo quindi

il + è

> non quindi

+ sicuro non

, e

Pz

essere concessa .

a PP

R4

Si

4 assegna

caso a

: ALLOC AVAILABLE

NEED

R4 Re R2 R4

R2

Re Rg Rz

Ra Rz R3R4

Pr 0201X

1 0

0 0000

0

100001001X0011

P3

> 001lX 111

200

O 0

P 1111

X

000 0

40011 1111

Non quindi R4

lo stato può Tutti

P4

abbiamo è

cicli i

sicuro processi

.

e essere concessa a essere

possono

terminati

= stato sicuro