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 1 de 13

Scanned by CamScanner
C a p f t u l o 14
D E A D L O C K S
El 1?Bo r e n o
Y s i o t r a o c a s i ó n pa y a m o s
p a r a qu e e s t o s e c o m p le t e
po r m u c h o qu e lo r e s pe t e
c a n t a r e m o s s i l e gu s t a
s o b r e l a s m u e r t e s i n ju s t a s
qu e a l gu n o s h o m b r e s c o m e t e n
Y a qu f pu es s e i ïo r e s m i o s
d i r é c o m o e n d e s pe d id a
qu e t o d a v f a a n d a n c o n v i d a
lo s h e r m a n o s de l d i j u n t o
qu e r e c u e r d a n e s t e a s u n t o
y a qu e l l a m u e r t e n o o l v id a n
Y e s m i s t e r i o t a n pr o ju n do
l o qu e e s t á po r s u c e d e r
qu e n o m e d e b o m e t e r
a e c h a r l a a q u í de a di v i n o
lo qu e de c i da e l de s t in o
d e s pu és lo ha b r án de sa be r
p o de s e d i z e r q u e a s s i t u a çõ e s de ad l o c k e n v o
l v e m a pe n a s do i s t i po s de e n t id a de s : p - s s o s e
r e c u r s o s Qu a lq u e r o u t r a e n t id a de po de s e r a b s t r a :da n o 
e s t u do de s t e p r o b le m a Po r t a n t o , a s
c o n c l u s öe s de i n t e r e s s e po de m s e r o b t id a s a t r a v és 
do e s t u do d e u m m o de lo s i m p l e s , d e s de q u e
e l e pe r m i t a r e p r e s e n t a r a s r e q u i s içö e s e a l o c a ç
ö e s de c a da p r o c e s s o e a d i s po n ib i l id a de de c a d a
r e c u r s o d o s i s te r n a
O s c o n c e i to s e a l g o r i t m o s a p r e s e n t a do s n e
s t e c a p :t u lo v a le m i n d i s t in t a m e n t e pa r a
s i s te m a s c e n t r a l i z a do s o u d i s t Db u fd o s D e s d e q u e s
e j a m c o n he c id a s a s r e q u i s içö e s e a lo c a çõ e s
d o s p r o c e s s o s e a d i s po n i b i l id a d e do s 
r e c u r s o s t a n t o f a z o s i s t e m a s e r c e n t r a
l i z a do o u
Scanned by CamScanner
188 s i s t e m a s O pe r a c i o n a i s e pT o g r a F a g 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 s s i m i
d i s t Db u ído N o c a s o d e u m s i s t e m a d i s t r i b u fd o , a c o
le t a e a m a n u te n ção d e s s e s d a do s é m a i s
d i f i c i l
, 
e v i d e n t e m e n t e
14 1 C o n c e i t o s i n i c i a i s
p a r a e s t u d a r a s p r o p r i e d a d e s de u m s i s t e m a e m r e l a ção a o p r o
b l e m a do s d e a d l o c k s
, 
é p r e c i so
c o n h e c e r o r e l a c i o n a m e n t o e x i s t e n t e e n t r e o s p r o c e s s o s e o s r e c u r s o s 
d e s s e s i s t e m a O s p r o c e s so s
p o d e m s e ]. v i s t o s c o m o a s e n t i d a d e s a t i v a s q u e p a s s a m s u
a s v i d a s r e q u i s i t a n d o , u s a n do e
l i b e r a n d o r e c u r s o s O s r e c u r s o s s o a s e n t i d a de s p a s s i v a s , q u e v ão s e r a
l o c a d a s (o c u pa da s )
,
u s a d a s e l i b e r a d a s du r a n te o f u n c i o n a m e n t o do s i s t e m a U m r e c u r s o p o de s e r c a r a c
t e r i z a do c o m o
s e g u e
U m r e c u r s o é q u a l q u e r e n t i d a de q u e p o d e o c a s i o n a r o b l o q u e
i o d e u m p r o c e s s o
O p r o c e s s o s e b l o q u e i a (p a s s a p a r a o e s t a do b l o q u e a d o ) q u a n d o r e q u i s i t a u m
r e c u r s o q u e n ão e s t á d i s p o n í v e l n o m o m e n t o d a r e q u i s iç ão
E x e m p l o s d e r e c u r s o s s ão o s d i s p o s i t i v o s d e E / S o s e s p a ço s d e m e m ó r
i a
, 
o d i r e i t o de
e n t r a r n u m a r e g i ão c D t i c a , o s s i n a i s d e c o m u n i c a ção , a s m e n s a g e n s , e t c D e v e s e r o b s e r v a
do qu e
u m a U C p n ão s a t i s f a z a def +ni çi o a c i m a (p o r t a n t o , n ão é u m r e c u r s o n a t e o r i a d o s d e a d l o c k s) ,
p o i s u m p r o c e s s o q u e e s t á à e s pe r a d a U C P n ão e s t á b l o q u e a
d o
, 
m a s s i m e s t á n o e s t a do r e a dy
N a v e r d a d e , a U C p é u m d i s p o s i t i v o e s p e c i a l qu e n ão é r e q u i s i t a d o e x p l i c i t a m e n t e p
e l o s
p r o c e s s o s e q u e é
" p r e e m p t a d o
"
a c a d a f i m de f a t i a d e t e m po U m p r o c e s s o s ó é c o l o c a d o n a f i la
d e e s p e r a d a U C P (r e a dy l i s t ) q u a n do e l e e s t á de p o s s e d e to d o s o s r e c u r s o s q u e n e c e s s i t a
O e x e m p l o c l ás s i c o d e s i t u a ção de d e a d lo c k e n v o l v e d o i s p r o c e s s o s P r e P2 e do
is
r e c u r s o s R r e R 2 , d a s e g u i n te m a n e i r a
P
, 
: Re q u i s i t a (R r ) ; Re qu i s i t a (R 2) ; I ib e r a (R 1 e R 2) ;
P2 : Re q u i s i t a (R z) ; Re q u i s i t a (R 1) ; I ib e r a (R 1 e R 2) ;
A s i t u a ção d e d e a d l o c k a c o n t e c e s e o s do i s p r o c e s s o s a dqu i r e m o p r i m e i r o r e c m o q
u c
n e c e s s i m N e s te c a s o , c a da p r o c e s so s e b l o q u e i a q u a n do r e q u i s i t a o s e g u n d o r e c u r s o P1 
f ic a à
e s p e r a d e R 2 (po r t a n to , p l f i c a de pe n de n do de p 2) e p 2 f ic a à e s p e r a de R , (de pe n de n do de 
P l ) 
c o m o n e n h u m do s p r o c e s s o s po d e s e r e x e c u t a do (n e n hu m v a i p a r a a r e a dy l is t ) , é i m po ss :v e
l
q u e R , o u R 2 v e n ha a s e r l ib e r a d o Po r t a n t o , e s s a e s pe r a v a i s e p r o l o n g a r p a r a t o do o s e m p
r e 
O té r m i n o d e u m p r o c e s s o p o r c o n d iç o de e r r o s ó o c o r r e q u a n do o p r o c e s s o e
x e c u ta
u m a o pe r a qão i l e g a l o u q u a n d o e le u l t r a p a s s a s e u l i m i t e d e t e m p o de e x e c u ç o S
Ó n e s sa s
c o n d i çõ e s o s i s t e m a o p e r a c i o n a l a bo r t a (m a t a ) u m p r o c e s s o N o e x e m p l o a c i m a , n e m P l n e r
r1 Pz
e x e c u t a m q u a l qu e r o pe r a ç o (v ál id a o u i n v ál id a ) , ta m p o u c o g a s t a m te m p o de U C P Po r t
a n to
Scanned by CamScanner
C a p f tu l o 14 D e a d l o c k s 1 89
e s te s p r o c e s s o s p e r m a n e c e r o i n de f i n id a m e n te o c u p a n d o a m e m ó r i a d o c o m p u t a d o r e o s de m a i s
r e c u r s o s a l o c a d o s a o s m e s m o s
G e n e r a l i z a n do o e x e m p l o a n te D o r t e m se a s e gu i n t e de f i n ição
U m c o n ju n t o d e N p r o c e s s o s e s t á e m de a d lo c k q u a n do c a d a u m do s N p r o c e s s o s
e s t á b l o q u e a do à e s p e r a de u m r e c u r s o qu e s o m e n te p o d e s e r l ibe r a d o p o r u m
d o s p r o c e s s o s d e s s e c o n j u n t o
É i m p o r t a n t e o b s e r v a r qu e v a i h a v e r u m a c a de i a f e c h a d a (c i c l o ) v i n c u l a n d o t o d o s o s N
p r o c e s s o s e m d e a d l o c k
, 
d o s e g u i n t e t ip o p l de p e n d e de p 2 , p 2 de pe n de d e P 3 . , PN I d e pe n d e d e
PN e PN d e pe n d e d e P 1 
14
. 
2 T i p o s d e r e c u r s o s
N o e s t u d o d o s d e a d l o c k s o s r e c u r s o s p o d e m s e r d e d o i s t i p o s : s e r i a tm e n t e r e 1Bs á v e i s e
c o n s u m f v e i s O s p D m e i r o s p o s s u e m v i d a pe r m a n e n t e e o s ú l t i m o s s ão c r i a d o s e c

Crie agora seu perfil grátis para visualizar sem restrições.