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

e a d lo c k s 19 1
Se t o d o s o s p r o c e s s o s f o r e m p r o d u t o r e s de to d o s o s r e c u r s o s
, 
e n t ão s ó ha v e r á d e a d l o c k
q u a n do l o d o s o s p r o c e s s o s e s t i v e r e m b l o q u e a d o s , po i s s e pe lo m e n o s u m e s t i v e r n ã o b l o q u e a d o
e s te p o d e p r o d u z i r u n id a d e s s u f i c i e n te s p a r a de s b lo q u e a r t o d o s o s de m a i s p o r t a n t o , s ó f a z
s e n t ido e s tu d a r o p r o b l e m a q u a n d o o c o n j u n t o d e pr o d u t o r e s de c a d a r e c u r s o é u m s u bc o n j u n t o
p r ó pDo d o c o n j u n t o d e p r o c e s s o s d o s i s t e m a
P o r o u t r o l a d o
, p a r a e s t u d a r o p r o b l e m a do s d e a d lo c ks é n e c e s s ár i o c o n he c e r q u e m s ão
o s p r o du t o r e s d e c a d a r e c u r s o c o n s u m í v e l C o n f o r m e r e f e r i do a n t e r i o r m e n te
, 
é n e c e s s ár i o
c o n he c e r o r e l a c i o n a m e n t o c o m p le t o 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 o s i s t e m a , e a i n f o r m a ç ão
m a i s i m po r t a n t e s o b r e u m r e c u r s o c o n s u m í v e l d i z r e s p e i t o a q u e m p o de l i be r a r (p r o d u z i r )
u n i d a d e s de s s e r e c u r s o
N a s s e çöe s s e gu i n t e s o p r o b le m a do s de a d lo c k s s e r á e s t u d a do c o n s i de r a n do a pe n a s
r e c u r s o s r e u s áv e i s R e c u r s o s c o n s u m f v e i s s e r ão t r a ta do s n a s e ção 14 10
14 3 C o n d i ç õ e s n e c e s s á r i a s p a r a o c o r r ên c i a d e d e a d l o c k
So m e n t e o c o r r e d e a d l o c k n o s s i s t e m a s e m q u e a s s e g u i n t e s t r ês c o n d içõ e s s ão p o s s í v e i s
 q u a n d o um pr oc e s s o qu e já tem um r ec u r s o po d e r eq u i si tar ou t ro r ec l i r so
q u a n do o s r e c u r s o s a l o c a do s a u m p r o c e s s o n ão p o d e m s e r c o n f i s c a d o s (p r e e m p t a d o s )
p a r a s e r e m a l o c a do s te m p o r a r i a m e n t e a o u t r o p r o c e s s o i s t o é , q u a n d o u m r e c u r s o R
a l o c a d o a u m p r o c e s s o p só p o d e s e r l i b e r a d o a t r a v és de u m a o pe r a ç ão ( t i p o
r e l e a s e (R )) e x e c u t a d a pe l o p r óp r i o p r o c e s s o p
q u a n d o é p o s s í v e l a fo r m a ção de u m c i c l o (c a de i a f e c h a d a ) n o qu a l c a d a p r o c e s s o
e s t á b l o q u e a do à e s pe r a d e r e c u r s o s q u e e s t ão a l o c a do s p a r a o u t r o s p r o c e s s o s do
m e s m o c i c l o
Qu a l q u e r da s c o n d içö e s a c i m a q u e s e j a e l i m i n ad a f a z c o m q u e s i t u a çMe s d e d e a d l o c k
n ão p o s s a m o c o r r e r A p r i m e i r a c o n d ição é e l i m i n a d a s e , p a r a c a da p r o c e s s o , t o d o s o s r e c u r s m
n e c e s s ár i o s s ão r e q u i s i t a do s a n te s do i n íc i o d a s u a e x e c u ç o (a l o c a çäo e s tát ic a ) D e s s a m a n e i r a
o s p r o c e s s o s s ó i n i c i a m a e x e c u ção c o m t o d o s o s r e c u r s o s a lo c a d o s e , p o r t a n t o , n ao f a z e m n o v a s
r e q u i s i çöe s d u r a n t e s u a s e x e c u çõe s In fe l i z m e n te , a a p l i c a ção de s t a r e g r a r e s t r i n g e ba s t a n te o
c o m p a r t i l h a m e n t o de r e c u r s o s
A s e g u n da c o n d iç o e l i m i n a da q u a n do o s p r o c e s s o s s e d is pðe m a r e c e be r o s e g u i n t e
t r a t a m e n t o (q u e , de f a t o , i m p le m e n t a o c o n f is c o , po r m c o m a pa r t i c i pa çao do p r o c e s s o
c o n f i s c a do ) : pe r m i t id o r e q u i s i t ar e l ibe r a r r e c u r s o s d u r a n te a e x e c u çao (a l o c a çäo d i n am i c a ) ,
m a s s e m p r e q u e u m r e c u r s o r e q u i s i t a d o e n o há u n ida de s d i s po n f v e i s . o p r o c e s s o o b Dg a do a
de v o l v e r ( l ib e r a r ) t o d o s o s r e c u r s o s q u e e le po s s u i pa r a e n t o r e q u i s i t a r t u do c o le t i v a m e n te
(r e q u i s i t a t o d o s o s r e c u r s o s de v o l v i d o s , m a i s o r e c u r s o c a u s a do r do b l o q u e i o ) Po r t a n to ,
Scanned by CamScanner
192 s i s t e m a s o pç r a c io n a i s e p r o s r a
m a çao c o n c o r r e n t e
S S T o s e R S d e O l i v e i r a e A S Ca r i s s i m i
r e q u i s i t a r u m r e c u r s o n ão d i s po n
l v e l e q u i v a l e a l ib e r a r 
t o d o s o s r e c u r s o s p o s s u íd o s e fi c a r
b l o q u e a do I n f e l i z m e n t e , a m a i o r
i a d o s r e c u r s o s n ão p o d e m s
e r l i b e r a d o s t e m p o r a r i a m e n te
d u r a n t e s u a s u t i l i z a çö e s
A t e r c e i r a c o n d i ção (f o r m a ção de c ic l o s ) é e l i m i n a da s e o s r e c
u r s o s s ão h i e r a r qu i z a do s e
o s p r o c e s s o s f a z e m a s r e q u i s i çõe s se m p r e n a o r
de m c r e s c e n te d a h i e r a r q u i a E s t a r e gr a de
c o m p a r t i l ha m e n t o p o d e s e r i m p le m e n t a da , po r e x e m p
l o
, 
n u m e r a n do o s r e c u r s o s de 1 a n (o n de n
é o n ú m e r o t o t a l d e r e c u r s o s )
, 
e o bDg a n do o s p r o c e s s o s a j a m a i s r e q u i s i t a r e m u m r e c u r s o de
o r d e m m e n o r o u i g u a l a o r e c u r s o de m a i s a l ta o rde m j á a l o c a do A s s i m , s e u m p r o c e s s o
n e c e s s i t a
, po r e x e m p l o , o r e c u r s o 5 n o i n fc i o de s u a e x e c u ção e 
o r e c u r s o 2 n o f i m de s u a
e x e c u ç ão , e l e é o b r i g a d o a r e q u i s i ta r p r i m e i r o o r e c u r s o 2 p a r a d e p o
i s r e q u i s i t a r o r e c u r s o 5
75
E s t a r e g r a é b a s t a n t e u t i l i z a d a n a p r át i c a p o r q u e n ão r e s t r i n g e t a n t o o c o m p a r
t i l h a m e n t o de
r e c u r s o s
N a s e ção 14 4 é m o s t r a do c o m o a s t r ês r e g r a s a c i m a f o r a m u t i l i z a d a s n a a l o c a ção de
r e c u r s o s d o O S/ 3 60 d a I B M
, 
u m s i s t e m a o p e r a c i o n a l m u l t i p r o g r a m a d o t i p o b a t c h m u i t o p o p u l a r
n a d éc a d a d e 7 0 E s t e f o i o p r i m e i r o SO c o m e r c i a l p r o g r a m a d o d e f o r m a a g a r a n t i r a n ão
o c o r r ên c i a d e d e a d to c ks
A f o r m a ç ão d e c i c l o s t a m b ém p o d e s e r e v i t a da a p a r t i r d a hi e r a r q u i z a ç ão d o s p r o c e s s o s
(a o i n v é s d o s r e c u r s o s ) e e s s a M e r a r q u i z a ção p o d e s e r e s t a be l e c i d a a t r a v és d a i d e n t i f i c a ção
(n ú m e r o ú n i c o ) q u e c a d a p r o c e s s o p o s s u i n o s i s te m a V a m o s r e f e r i r p o r i dp a i de n t i f i c aç ão ún i c a
do p r o c e s s o p e v a m o s s u po r qu e idp < id q s i gn i f i c a q u e a p D o r i da d e d e p é m a i o r q u e a de q (o s
p r o c e s s o s m a i s v e l ho s têm p r e fe r ên c i a ) A s du a s téc n i c a s s e gu i n t e s s ão c o m u m e n te u s a d a s pa r a
e v i t a r a f o r m a ção d e c i c l o s
h b ,
T éc n i c a w a u d i e (m a i s v e l ho e s pe r a , m a i s n o v o m o r r e ) Se m p r e q u e o c o r r e u m