Esercizi di Sistemi operativi sulla gestione dello stallo

(P)

10 No

1100 0112 130 =

1

= -

- - (P2)

Ok

1100 2100 =

000020

=

- (P3)

= No

1110 00

1100 100

=

- - (P4)

010 =

1100 10

1001 No

- -

=

1100 1111

0011

+ = (P)

=

1211 Ok

0111 1000 20

=

- (Pz)

Ok

=

000120

1110

1111 =

- Ok (P4)

=

1001 011020

1111 =

-

Ps 2111

1000

1121 +

: = (Pz)

= Ok

100120

2112 1120 =

- (Pa)

> Ok

111020

2111 =

1001

- =

P3 2112

2121 0001

+ =

:

2122 1111

1001 =

-

2112 2222

0110

+ = stato

ad

Arriviamo

· sicuro

uno

Esame 226 21

J

Need Available

D

A

A D

B B

C C

2001 0201

0 (P)

22005 =

0201-2001 No

= - (Pa)

Ok

010010

0201-0102 = (P)

= No

1111

0201 100

2

0

=

- - -

1213

1012

0201 + = (PI)

1213 12120 No

2001 =

=

- - (P3)

Ok

010210

1111

1213 =

=

-

1213 2324

1111

+ = Ok (82)

2324 2001 032320 =

=

-

2334 + 2120 4444

= Available

Alloc Need

D BCD D

B

A

A C

BC

A P re

p re 020

2

2 001

120 1

1012 1111

111I P1111

0

000 (P)

22000 No

2001

0201 =

= -

- (Pa)

0201 01000 Ok

=

0101

- = (P)

1211

0201 = NO

111060

=

- - (P)

NO

=

0201 11 100

1111 =

- -

-

1213

0201 1012

+ = NO (Pz)

=

121230

2213 2001 = -

- (P3)

=

111220 Ok

1213 0101 =

- (P4)

= Ok

010220

1211

2213 =

-

P3 2324

1913 1111

+

: = (Pe)

) Ok

2324 2001 032310 =

=

- 0k(P)

=

121320

2324 1111 =

-

P 2324 2324

0000

+ =

: Ok(P)

2334 032320 =

2001 =

- Pa

) P

2334 P3 P

4444

2130

+ +

+

=

= +

20

· seq : (P)

22000 No

0201-2001 =

= - (Pa)

0201 01000 Ok

=

0101

- = (P)

1211

0201 = NO

111060

=

- - (P)

NO

=

0201 11 100

1111 =

- -

-

1213

0201 1012

+ = NO (Pz)

=

121230

2213 2001 = -

- (P3)

=

111220 Ok

1213 0101 =

- (P4)

= Ok

010220

1211

2213 =

-

P3 2324

1913 1111

+

: =

23-03

Pe 2324 2230 4444

+ =

: Ok(P4)

=

4444 1111 333320

=

- Pe

Pa Pz"

4444 P

+ 4444

0000 =

= + +

·

3

· seg : (P)

22000 No

0201-2001 =

= - (Pa)

0201 01000 Ok

=

0101

- = (P)

1211

0201 = NO

111060

=

- - (P)

NO

=

0201 11 100

1111 =

- -

-

1213

0201 1012

+ = NO (Pz)

=

121230

2213 2001 = -

- 02028IP

1112

1213 0101 =

=

- 2122

2213 =

-

P4 1913

1213 0000

+ =

: (P)

2001 19120 No

1913 =

= -

- (Pz)

=

0101 Ok

111220

1223 =

-

1213 1111

+ 2324

= (P1)

Ok

2324 =

2001 032320

- = P2 Pat P3 P

2120 )

4444

2324 + = = + ·

Available Need

Allo

o P

1 caso per : Bo

D

BC

A

010 2

I 12

P 101

(P)

=

2001 No

21000

0101 = -

- (B)

Ok

0101 000030

0101 =

- (P3)

=

1111

0102 200

10 No

=

- - - (P)

1011 100

11

0101 = No

- - -

= 1113

1012

0101 + = (PI)

1113 2001 = No

112240

=

- - (B3)

=

000220

1112 Ok

1113 =

- Ok (P4)

010230

2113 1012 >

=

=

-

P 1113 + 1213

0100

: =

2213-2012NIP

3

2324

1213 1111

+ = (Ps)

2324 Ok

032320

2001 )

=

=

-

2324 2120

+ 4444

=

possibile P-P-Ps-

Una Ps

è

· seq . Nel

·

Available

° P

2 caso per : (Pe)

2130

0200 -21-200 = No

- = (Pa)

-12-1-10

0200 1021 No

=

- (P3)

11-10No(P4)

-11-1 s

1111 1 NO

0300 =

- -

0200-1110 = -

Lo stato è sicuro

· non . me

E

bea

Available

° P

3 caso per : · or 01 0

(P1)

2001 210-10 No

=

0100 = -

- (Pa)

0202 No

000-20

0100 =

=

- (Pz)

=

1111 No

10

10

0100 1

=

- - - - (P)

= No

1010

0100 11 100

=

- - -

Lo stato è sicuro

· non .

Esame 722

6 uniti uniti tratteggiati

R P

p R

- - Pe R

1

↑ q che cicli

Lo stato visto

è sicuro ci .

· sono

non

- Need Available

=>e

Max

Ry Re Ra

Ra

Ra Re Ra Ra Re

P100 1

Se non 000

RO O

(P)

=

000-001 00-10 No

= (Pa)

Ok

0000

000

000 =

- (Pa)

NO

=

101 20 140

000 = -

- - (PG)

No

=

1

0 10

011

000 = - -

- 001

001

000 + = (P)

0000 OK

001-001 = (P)

=

100 10

002-101 No

= - (Pp)

=

0 - 1010 No

001-021 = 101

100

001 + = 000VP

101-1 = 111

101 + 010 = 0k(P)

111 )

10020

011 =

=

-

+

111 111

000 =

L'unica è PrPsPP

· sicura

seg

Nel Pa rilascia seguenti

Rz

in cui i

si

. caso co

avere

possono

si : cicli

prende formerebbero

Rz

o E = 2

2 si

caso : :

Rze Ra

P Pre

i Ra

-

+

. E SICURO

=> NON .

R3 P

P Ra Ry

ii R3

P1

. + + = = -

formerebbe

prende ciclo

Rz

P

o

2 si

caso :

: :

un

E

R3- R1

Pe SICURO

=

P Rz

i NON

+ +

prende cicli

formano alterna

Rz

o Pr OK in

3 =

si i

caso :

: non

che di

tiva Pr rilasci permettere Rz

RI

un'altra sol è per a

.

prendere Rs .

Esame 24

34 perché

Lo stato cicli

è

. sicuro ci sono

non ·

*ll Nobel

Available

Max

o

A BC 1

00

1001 (P)

= No

1

1

1120 110

0001 =

- - - - (Pal

0001-0101 1000 No

0

= - (P)

OK

=

=

0002-0001 00000 (P)

10000 NO

1001

0001 = -

- 0111

0001 + 0110 = (P)

)

10010 No

1110 =

0111 -

=

- 111058k

0010

0101

0111 =

-

0111 2001 = -

- 1000

0111 1111

+ = Ok (Pe)

000120

1111 )

1110 = =

- Ok (P4)

)

1001

1111 011020 =

- =

Pe 1111 1111

+ 0000

: = (P)

022020)

1111 2001 Ok

=

-

1111 1111

+ 0000 =

P4 1111 0000 1111

+ =

: Ok (PI)

1210

1121 000220 =

=

-

1111 + 1111

0000 = P

Le PPC

sicure sono

seg Available

Need

Allo

Pa : BCD

D

ABC D

A A B C

1110

P

P re 000

O 0

000 0100

100 1 re 1

0110 000

100 1

000 O (P)

= No

1-1 100

1110

0000 = -

-

- (Pa)

No

0-1000 =

0100

0000 =

- (B)

000-10 No

0000-0001 = (PG)

10 No

1001

0000 100

= -

- -

A partire da ad

P stato

arrivare

possiamo

· sicuro

uno

non .

il

Available

Need

· BCD D

A A B C

00 0

(Py)

No

=

100

2110 1-1

0000 = -

- - (Pa)

=

0-10-10

0000-0101 No

= (P)

000020 OK

0000 =

0000 - (P)

10

1001 No

100

0000 -

- = -

0111

0000 0111

+ = (Ps)

100150 = No

1110

0121 = -

- (P)

=

0101 Ok

00100

0111 =

- (P4)

=

11100 No

2001

0111 = -

- 1111

0111 1000

+ = (Pz)

Ok

1111 1210 =

000110

=

- (Pp)

Ok

1111 1001 0110 >

0

=

= =

-

Ps 1111

1111 + 0000 =

: Ok (P4)

1111 =

1001 011020

=

-

P4 1111

1111 + 0000 =

: (P)

Ok

=

000120

2122 1110 =

- P3-PPP

Le sicure

seq sono

· :

.

il no Available

Need

· BCD D

A A B C

.

(P1)

) No

1110 1 100

1

0000 =

=

- -

-

- (Pa)

= No

0-10-10

0000-0102 = (P)

000-10 No

0000-0001 = (P4)

10000

1000 No

0000 =

- -

A partire da ad

P stato

arrivare

possiamo

· sicuro

uno

non .

11/6/19

20 itinere

in

prova

di

Ass Rs Pr :

a -

-

-

-00 - - - -

RI ciclo

no

D

· R3

a

7 ↑

-

P

PC

di

Ass Pz

Ry :

a

Dir con

B

di

Ass Pa

Ra a -

-

*

By =- .

Par CICLO

=> NO

↑ R3

R ↑

7 M ↑

-

P

PC

di Pa

Ass Ra a :

che

R3

-

Pa banchiere

l'alg del

Dimostriamolo con :

. Available

Allo Need

Max Re

Ra

R2 Re

Ra Ra

Ra

Ra

Re Ra Re

R3

POO P110100

R11I POT

11

33000 13101

(P)

=

111

100 No

0 240

1

=

- - - stato

> Lo

(P) è

= sicuro

10-10 No

=

100-002 asse

se

non

= (Pa) Ra P

No

00-10

201 griamo

=

200 a

- .

23/6

Esame 20

Istante To : Minilable

Max

Allo D

A BC D

p B C

A

Pe 2222

0

0

0 0 P

P20000 12

I 2

POOO P3IT

Istante TI :

.

Max

Allo Need D

A BC

1122 P re 01

I O I

1111 ·

1111

111I

Ok (P)

1122 =

111120

0011

- = (Pa)

ok

=>

1192 1111 00110

i

=

- (Pz)

=

1111 Ok

1222 00110

=

- (P)

= Ok

00110

2111

1122 =

-

P2 2222

1122 1100

+

: = Ok (Pa)

121110 =

3292 1211 =

- (P3)

121120 Ok

1111 =

3922 =