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

14 2 E s q u e m a d e f in i t i v o , l iv r e d e d e a d l o c k s
14
. 
5 A t i t u d e s p e r a n t e o s d e a dl o c k s
Qu a t r o a t i t u de s po de m s e r t o m a da s e m r e la ção a o p r o b l e m a do s de a d1o c ks
( 1) n ão f a z e r a b s o l u t a m e n te n a da , i s to é , de ix a r qu e o c o r r a m d ¬ a d l o c ks e , qu a n
do Isso
a c o n te c e r , f a z e r o 1 ' r e se t 
" do s i s te m a
(2 ) p r o g r a m a r o s i s te m a de t a l m a n e i r a qu e s i t u a çöe s de de a d lo c k n o po s s a r n o
c o r f e r
(3) de i x a r o s i s te m a l i v r e e m r e l a ção a o u s o de r e c u r s o s , m a s de te c t a r a s s i tu aç
õe s de
deadl ock
Scanned by CamScanner
C a p f t u l o 14 D e a d lo c k s 199
(4 ) u t i l i z a r u m a l o c a do r d c r e c u r s o s i n te l ig e n te q u e e v i t e d i n a m i c a m e n t e a o c o r r ên c i a
d e d e a d lo c ks
N o p r i m e i r o c a s o , a d e t e c ção de de a d to c ks é v i s u a l e h á o r i s c o d e s e f a z e r
"
r e s e t
"
e m
s i t u a çMe s e m q u e a p e n a s a p a r e n t e m e n te o s i s t e m a e s t á e m tl e a d l o c k
N o s e g u n d o c a s o o s p r o c e s s o s a d o t a m r e g r a s d e c o m p o r t a m e n t o q u e e l im i n a m a s
c o n d i çõ e s n e c e s s ár i a s p a r a d e a d l o c k E s t a e s t r a tégi a fo i u s a d a n o s i s t e m a O S/ 3 60 , c o n f o r m e
v i s t o n a seçi o a n t e D o r 7 6
N o t e r c e i r o c a s o é n e c e s s ár i o u t i l i z a r u m a l g o r i t m o p a r a d e t e c ç ão d e d e a d l o c k s
N a
p r ó x i m a s e ção s e r á v i s t o u m a l g o r i t m o c o m p l e t o p a r a e s s e f 1m U m a v e z d e t e c t a d o o d e a d lo c k ,
e m g e r a l o s i s t e m a t e m q u e s e r r e i n i c i a l i z a d o So m e n t e s e o s p r o c e s s o s n i o d e p e n
d e m u n s d o s
o u t r o s (n ã o c o o p e r a m n a r e a l i z a ção d e u m a t a r e f a ) é q u e t a l v e z a l g u n s d e l e s p o s s a m c o n t i n u a r
s u a s e x e c u ç Me s N o c a s o d a n e c e s s i d a de d e e l i m i n a r p r o c e s s o s , d e v e m s e r e s c o
l h i d o s o s
p r o c e s s o s d e m e n o r p r i o r i d a d e o u a q u e l e s p a r a o s q u a i s f a l t a m a i s t e m p o p a r a o 
t ér m i n o d a
e x e c u ç ã o
N o q u a r t o c a s o o a l o c a d o r d e r e c u r s o s d e v e , d i n a m ic a m e n t e , p r e v e r e e v
i t a r s i t u a çõ e s d e
d e a d lo c k U m a l g o r i t m o p a r a p r e v e n ção d i n âm i c a d e d e a d to c ks s e r á v i s t o n a s e ç
ão 14 8
14 6 0 m o d e l o d e H o l t
H o l t fo i o p r i m e i r o a f o r m a l i z a r a n o ç ão de d e a
d l o c k [H O L 7 2 ] N o s e u m o d e l o o s e s t a d o s d e
u m s i s t e m a s ão r e p r e s e n t a do s p o r g r a f o s d i Dg i d o s q u e m o s
t r a m o r e l a c i o n a m e n t o e n t r e
p r o c e s s o s e r e c u r s o s O s g r a f o s t êm 
d o i s t i p o s d e n o d o s : q u a d r a d o s , q u e r e p r e s e n t a m p r o c e s s o s
e c i r c u n f e r ên c i a s , q u e r e p r e s e n t a m r e c u r s o s Po r e x e m p
l o
, 
o g r a f o d a f i g u r a 14 3 r e p r e s e n t a u m
e s ta do de u m s i s te m a c o m 2 p r o c e s s o s e 2 r e c u r s o s
a l o c a u i s i çüo
ズ ー し
R 2
F Ig u r a 14 3 G r a fo d e e s t a d o n o m o
d e l o d e Ho l t
76 D e v e s e r o b s e r v a d o qu c n a q u e le s i s t e m a , e m b o r a n äo pu
de s s e o c o r r e r d e a d l o c k e n t r e o s p r o c e s s o s d o SO ( i s to ¢ ,
e n t r e o s IN i T I A T o R s )
, 
n a da e r a ga r a n t i do (n e m de te c t a do ) e 1n r e l a çao a o s p r o c e s s o s do s u s u
ó i o s (o s u s u ár io s
p o d i a m c f i a r p r o c e s s o s u s a n do , po r e x e m pl o A i 
fa c i l ida d e s d e m u 1t i l a s ki n g da l i n gu a 吕 e m PU I )
Scanned by CamScanner
2 00 S i s t e m a s O pe r a c i o n a i s e Pr o g>a 1n a ç o C o n c o r n 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 Ssi Tni
O s g r a f o s s ão b ip a r t id o s , p o i s n £io e x i s te m a r e s t a s l ig a n d o n o d o s d o m e s m o t ipo(r e c u r s o c o m r e c u r s o o u p r o c e s s o c o m p r o c e s s o ) O s n o d o s r e c u r s o s t êm i n t e r n a m e n t e p e qu e n a s
m a r c a s q u e r e p tr s e n t a m a s u n i d a de s e x i s te n t e s N o e x e m p l o a n te r io r , R I t e m u m a u n ida de e R2
t e m d u a s u n id a d e s U n i a a r e s t a d i r i g id a de u m a u n id a d e d e u m r e c u r s o p a r a u m p r o c e s s o in d i c a
q u e a u n i d a d e e s t á a l o c a d a p a r a o p r o c e s s o U n i a a r e s t a d i r ig i da d e u m p r o c e s s o p a r a u m r e c u r so
i n d i c a qu e o p r o c e s s o e s t á r e qu i s i t a n d o u m a u n id a de (q u a l q u e r ) de s s e r e c u r s o N o e s t ado
r e p r e s e n t a d o a c i m a u m a d a s u n i d a de s d e R 2 e s t á d i s po n í v e l e a o u t r a e s t á a l o c a d a p a r a P2 
N o r e s t a n t e d e s t e c a p í t u l o , o p r o b l e m a d o s d e a d l o c k s é e s t u d a d o a t r a v és d o m o d e l o de
H o l t N o s a l g o r i t m o s q u e s e r ão a p r e s e n t a d o s é i m p o r t a n t e q u e s e te n h a b e m c l a r o o s i g n i fi c ado
d e p r o c e s s o b l o q u e a d o I s t o é d a d o u m g r a fo q u e r e p r e s e n t a u m e s t a do d o s i s t e m a é
n e c e s s á r i o s a b e r i d e n t i f i c a r q u a i s p r o c e s s o s e s t o (e q u a i s n ão e s tão ) b l o q u e a d o s n e s s e e s ta do
T a l v e z s e j a m a i s f ác i l e n t e n d e r o s ig n i f i c a d o de " b l o q u e a d o a p a r t i r d o e n t e n d i m e n t o de " n
b l o q u e a d o
U m p r o c e s s o e s t á n ã o b l o q u e a d o q u a n d o e l e n o e s t á r e q u i s i t a n d o r e c u r s o s o u
q u a n d o e x i s t e m r e c u r s o s d i s p o n í v e i s s u f+c i e n t e s pa r a a te n d e r (c o m p l e t a m e n t e ) o s e u
p e d id o
* U m p r o c e s s o e s t b l o q u e a d o q u a n d o e l e e s t il r e q u i s i t a n d o r e c u r s o s e t o d o s o s
r e c u r s o s r e q u i s i t a d o s n ão e s t ì:o s i m u l t a n e a m e n t e d i s p o n í v e i s
N o e x e m p l o a n t e r i o r P 1 e s tá n ão b l o q u e a d o e P2 e s t á b l o q u e a d o
O B SE R V A ÇÃ O IM P O R T A N T E
Se u m p r o c e s s o e s t á r e q u i s i t a n do v ár i o s r e c u r s o s s i m u l t a n e a m e n te e a l g u m n ìio e s t i l d i s po n ív e l ,
e n t ão o p r o c e s s o f i c a b l o q u e a do s e m r e c e be r n e n h u m r e c u r s o A r e g r a é : " o u o p r o c e s s o é
a t e n d i d o d e f o r m a c o m p le ta (s e há d i s po n ib i l i da de ) o u e n tão e l e n o r e c e b e n a da e f ic a
b l o q u e a d o
"
14 1 D e t e c ç ã o d e d e a d l o c k
Qu a n d o e x i s t e m p r o c e s s o s e m d e a d l o c k n u m e s t a do d o s i s t e m a
, 
d iz s e q u e o s i s te 1n a e s tá e m
e s t a d o d e d e a d l o c k O a lg o r i t m o p a r a d e t e c ção de de a d l o c k po de s e r f a c i l m e n te e n te n d ido