A maior rede de estudos do Brasil

Grátis
28 pág.
Sistemas Operacionais e Programação Concorrente - Capítulo 14

Pré-visualização | Página 8 de 13

po r
q l i e m c o n c o r d a c o m a s s e g u i n te s c o n s ide r a çõe s Se e x is te de a dl o c k
, 
é po r cl u e e x i s te m p r o c e s s
o s
d e f i n i t i v a m e n t e b l o q u e a d o s , q u e v ão pe r m a n e c e r b l o qu e a do s pa r a s e m p r e , i n de pe n de n tc m e n
t e
d o q u e f a ç a m o s p r o c e s s o s n ão b l o q u e a d o s I s t o é
, pa r a qu a lq u e r c o m p o r t a m e n t o q u e se po s
s a
i m a g i n a r p a r a o s i s t e m a , e s s e s p r o c e s s o s v ao pe r m a n e c e r b l o q u e a do s I s t o e q u i v a l e a d i z e r q
u c
n i o e x i s t e n e n h u m a m a n e i r a de a l o c a r o s r e c u r s o s d i s po n : v e i s
, 
de m o d o a de sb lo qu e ar o s
p r o c e s s o s e m d e a d l o c k N e m m e s m o a s o pe r a çõe s m a i s f a v o r áv e i s q u e po de m s e r c o n c e b
ida s
v ão s e r s u f i c i e n t e s p a r a d e s m a n c ha r a c a de i a de p r o c e s s o s q u e e s tão e m de a d l o c k
Scanned by CamScanner
C a p fF 1l o 14 D e a d l o c k s 20 1
Po i s o a l g o r i t m o d e d e t e c ç ão c o n s i s te s i m p l e s m e n te e m v e r i f i c a r o q u e a c o n t e c e s e o s
p r o c e s s o s s e c o r n p o r t a m d a m e l ho r m a n e i r a p o s s : v e l , c o n f o r m e é e x p l i c a do a se g u i r O
c o m p o r t a m e n t o m a i s f a v o r á v e l q u e po de s e r c o n c e bid o é o s e g u i n t e C a da p r o c e s so n
b l o q u e a d o r e c e b e o s r e c u r s o s qu e e s t á r e qu i s i t a n do e , e m s e g u i da , t e r m i n a s u a e x e c u ção O
tér m i n o d a e x e c u ç ão (e c o n s e q ü e n t e l i be r a ç ão do s r e c u r s o s ) p o de de s b l o q u e a r n o v o s p r o c e s s o s ,
o s q u a i s r e p e t e m e s s e p r o c e d i m e n t o fa v o r áv e l Se , de s s a m a n e i r a , to d o s o s p r o c e s s o s fo r e m
c o n c l u íd o s , é p o r q u e n ão e x i s t e d e a d to c k n o e s t a do o r i g i n a l Se , m e s m o c o m e s t e
c o m p o r t a m e n t o , a l g u n s p r o c e s s o s p e r m a n e c e r e m b l o q u e a d o s , é p o r q u e e s s e s p r o c e s s o s e s t ão e m
d e a d lo c k
N o c a s o d o m o d e l o d e H o l t
, 
a s i m u l a ção d a s o pe r a çMe s m a i s f a v o r á v e i s c o n s i s t e e m
pe r c o r r e r o g r a f o d e e s t a do e e l i m i n a r , s u c e s s i v a m e n t e , a s a r e s t a s c o r r e s po n d e n t e s a o s p r o c e s s o s
n ão b l o q u e a d o s A r e m o ç ão d e a r e s t a s po d e d e s blo q u e a r n o v o s p r o c e s s o s , o s q u a i s po d e m 
t e r
,
e n t ão
, 
s u a s a r e s t a s e l i m i n a d a s Se t o d a s a s a r e s t a s f o r e m e l i m i n a d a s (i é , s e t o d o s o s p r o c e s s o s
fo r e m d e s b l o q u e a d o s ) é p o r q u e n ão e x i s t e d e a d lo c k n o e s t a d o o r i g i n a l
p a r a e x e m p l i f i c a r , s e r á c o n s i d e r a d o o s i s t e m a r e p r e s e n t a d o n a f i g u r a 1
4 4
, 
o q u a l é
f o r m a d o p o r 3 p r o c e s s o s e 3 r e c u r s o s D e s ej a s e s a be r s e o e s t a d o c a r a c t e r i z a d o p e l o g r a fo (a ) é
u m e s t a d o d e d e a d l o c k o u n ão N e s s e e s ta d o , o ún i c o p r o c e s s o n ão b l o q u e a d o é P2 E l i 1 n i n a n
s e a s a r e s t a s d e p 2 , o g r a f o f i c a r e d u z i do àq u e le m o s t r a d o e m (b ) N o e s t a d o c o r r e s po n de n t e a
(b )
, 
p l c o n t i n u a b l o q u e a d o m a s p 3 j á n ão e s t á m a i s b l o q u e a d o E l i m i n a n d o s e a s a r e s t a s d e P 3 , o
g r a f o r e d u z s e a o m o s t r a d o e m (c ) N o e s t a d o (c ) , P 1 n ão e s t á m a i s b l o q u e a do e s u a s a r e s t a s
po d e m s e r r e m o v i d a s , o r i g i n a n d o u m g r a f o s e m 
a r e s t a s P o r t a n t o , o e s t a d o o r i g i n a l d a ' g i 1r a (a )
n ão é u m e s t a do d e d e a d l o c k
回 回
F Ig u r a 14 4 o p e r a ç ö e * d e r e
d u ç 1 o e m u m g r i to d · m ta
d o
Scanned by CamScanner
20 2 s i s t e 1n a s ® l e r a c i o n a i s e p r o g r a m a ç o c o n c o r r e n t e
S S T o s c a n i R S d e O l i v e i r a e A S Ca r i ss i m i
H o l t de n o m i n a a s o pe r a çã e s d e e l i m in a ç ão 
d a s a f e s t a s d o s p r o c e s s o s n ão b l o q u e a do s de
o p e r a çö e s d e r e d u çä o Se to d a s a s a r e
s t a s s o e l i m i n a d a s d i z s e q
u e 0 g r a f o é c o m p te t a n ze m e
r e d u t l v t l E x i s te s i t u a ç ão de d e a d l o c k e m u m e
s t a d o s e e s o m e n t e s e 0 g r a
f o c o r r e s po n de n te a
e s s e e s t a d o n ão é c o n q»le t a m e n t e r e d u t ív e l
O s p r o c e s s o s c u j a s a f e s t a s n ão p u de r e m se r
e l i m i n a d a s e s t a r ão e m d e a d l o c k
D u r a n t e a s o pe r a çõ e s de r e du ção po de s e t e r 
m a i s d e u m c a n d id a t o p a r a a e s c o
l h a (m a is
d e u m p r o c e s s o n ìi o b l o q u e a do ) N e s s e c a s o a e s c o l ha é i n d
i fe r e n t e : q u a l q u e r q u e s e j a a o r de m
v a i s e c h e g a r a o m e s m o r e s u l t a d o f i n a l A j u s t i f i c a t i v a é s i m p l e s : q
u a l q u e r q u e s e j a o p r o c e s s o
e s c o l h i d o
, 
o s o u t r o s c a n d i d a t o s c o n t i n u a r ão p o de n do t e f s u a s 
a r e s t a s r e m o v i d a s , Po i s , a pós u m a
r e d u ç ão , o n o v o e s t a do o b t i d o é s e m p r e m a i s f a v o r
áv e l p a r a c o n t i n u a r a s r e
d u çõ e s (a s r e d u çõe s
a n t i g a s c o n t i n u a m a s e r p o s s ív e i s e n o v a s r e du çõe s p
o de m s e t o m a r p o s s ív e i s ) 
E x i s t e m d i v e r s a s m a n e i r a s de r e p r e s e n t a r o s g r a f o s 
de e s t a do n o c o m p u t a d o r (m a tr i z e s ,
l i s t a s
, 
e t c ) U m a f o r m a p a f t i c u l a n n e n t e a de q u a d a é m o s t r a d a a s e g u
i r
, 
j u n t a m e n t e c o m o
a l g o r i t m o p a r a de t e c ção de d e a d l o c k s
A l g o r i t m o p a r a d e t e c t a r d e a d l o c k
O a l g o r i t m o a s e g u i r d e t e r m i n a s e e x i s t e o u n
ão de a d l o c k e m u m d e t e r m i n a d o e s t a d o Se e
x i s te
d e a d l o c k , o a l g o r i t m o i n d i c a q u a i s p r o c e s s o s e s
t ão e m d e a d lo c k O s i s t e m a é f o r m a d o p o r n
p r o c e s s o s e m r e c u r s o s C a da r e c u
r s o é fo r m a do p o r u m n ú m e r o f i x o d e u n i d a d e s e o s p r
o c e s s os
p o de m r e q u i s i t a r v ár i a s u n
i d a de s de v ár i o s r e c u r s o s de u m a s ó v e z
E s t r u t u r a s d e d a d o s
R = [ r
,
'
2
'
1n 
]
ヘ
a
l l 
a
12 
a
, 
b
l l 
b
12 
b
. . .
A =
a
2 1 
a
22 
a
21n 
B · 
b
2 1 
b
22 
b
2 . . .
a
n 1 
a
n 2 L 
b
n 1 
b
n 1 
b 
m 1J
D . [ d
, 
d
, 
d
. . 
] ( dj = r j E . U )
i = B
o n de
* R o v e t o r q u e in d i c a o n úm e r o de u n i d a de s de c a d a u m do s m r e c u r s o s
Scanned by CamScanner
C a pfn 1lo 14 D e a d lo c