Logo Passei Direto

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

l qu e n u n c a é p r o d u z id a , e m b o r a o p r o d u t o r n i lo e s t e j a
b lo q u e a d o
Si t u a çõ e s d e po s t e r g a ção i n de f i n ida p o de m o c o r e r , a r
i go r , c o m qu a l q u e r r e c u r s o m a l
a dm i n i s t r a do Se a s u n id a de s s ão e n t r e gu e s p r e fe r e n c i a l m e n te a o s p r o c e s s o s qu e po s s u e m m a i o r
pr i o Dda de (o u a p r o c e s s o s qu e r e qu e r e m po u c a s u n id a de s ) e n ão de a c o r do c o m a o r d e m de
c he ga da da s r e qu i s i çõe s , e n t ão o s p r o c e s s o s de b a i x a p r
i o r ida de (o u o s q u e r e q u e r e m v ár i a s
u n i da de s ) po de m f i c a r e m po s te r ga ção i n de f i n i da Ev ide n te m e n te , s i t u a çõe s de s t e t i po s ão
d i fe r e n t e s d a s s i t u açð e s de d e a d l o c k r e a i s n a s q u a i s to do s o s p r o c e
s s o s e n v o l v ido s e s t o
b lo qu e a d o s e m u m a c a de i a
, 
s e m q u a lq u e r po s s ib i l i da de lóg ic a de p r o d u z
i r o u l ibe r a r r e c u r s o s
Scanned by CamScanner
2 10 s i s t e m a s o pe r a c i o n a i s e p r o 8r a m a Æ 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 Si n i
14
. 
12 E X E R C I C l O S
E x e r c fc i o 14 1 C o n s ide r e u m s i s t e m a c o m r e c u r s o s h i e r a r q u i z a do s n o q u a l o s p r o c e s s o s fa ze m
r e q u i s içõ e s s e m p r e n a o r de m c r e s c e n t e da h i e r a r q u i a M o s t r e qu e s e o s r e c u r s o s são a lo c a do s n a
o r d e m F IF O e u t i l i z a d o s p o r u m t e m po l im i ta do , e n t o j a m a i s o c o r r e de a d to c k o u po s te r gação
i n de f i n i d a
E x e r c f c i o 14 2 C o n s i d e r e u m s i s t e m a n o qu a l o s p r o c e s s o s r e q u i s i t a m u m r e c u r s o de c a da v
Su po n h a q u e a s e g u i n te r e g r a s e j a u s a da Qu a n do u m p r o c e s s o r e qu i s i t a u m r e c u r s o e o m e sm o
e s t á d i s p o n ív e l , o r e c u r s o é a lo c a do Qu a n do o r e c u r s o e s t á s e n d o u s a do p o r o u t r o p r o c e s so
, 
é
v e r i f i c a do s e o r e qu i s i t a n t e é m a i s v e l h o q u e o p r o c e s s o q u e p o s s u i o r e c u r s o (a v e r i f i c a ção é
f e i t a a t r a v és d o s n ú m e r o s de c Da ção d o s p r o c e s s o s ) ; s e fo r , o r e q u i s i t a n t e f i c a b l o q u e a do à
e s p e r a d o r e c u r s o ; s e n ão
, 
o r e qu i s i t a n t e l i b e r a t o d o s o s r e c u r s o s q u e p o s s u i e r e in i c i a l i z a su a
e x e c u ç ão P o d e a c o n t e c e r d e a d l o c k n e s t e s i s t e m a ? (Ju s t i f i q u e a r e s p o s t a )
E x e r c í c i o 14 3 C o n s i d e r a n do qu e o e s t a d o d e u m s i s t e m a s e j a r e p r e s e n t a do p o r u m gr a fo
d i D g id o c u j o s n o d o s r e p r e s e n t a m p r o c e s s o s (n ão e x i s t e m n o d o s d o t i p o r e c u r s o ) e n o qu a l u m a
a r e s ta d iDg i d a d o n o d o i p a r a o n o d o j s i gn i f i c a qu e o p r o c e s s o i e s t á e s pe r a n do p o r u m r e c u r so
q u e e s t á a l m a d o p a r a o p r o c e s s o j , m o s t r e c o m o a s t éc n i c a s w a i t d i e e w o u n d w a i t i m pe de m a
f o r m a ção d e c i c l o s
E x e r c :c i o 14 4 C o n s i de r e 3 s e m áf o r o s X
, 
Y e Z t o d o s i n i c i a l i z a d o s c o m 1
, 
e 3 pr o c e s so s
e x e c u t a n do a s s i n c r o n a m e n t e a s e gu i n t e s e qü ên c ia de c ód ig o
P l 丝
P (X ) P (Y ) P (Z )
V (X ) V (Z )
V (Z ) V (X )
A s e t a e m c a d a c o l u n a i n di c a a i n s t r u ç o c o r r e n te m e n te e x e c u t a da
(a) I n t e r p r e t a n d o c a d a s e m áfo r o c o m o u m r e c u r s o e a s o pe r a çöe s p c v c o m o o pe r a ç
ðe s de
r e qu i s iç !io e l i b e r a çao , de s e n he o g r a f o de e s t a d o c o r r e s po n de n te à s i t u a ç o 
a c im a 
Scanned by CamScanner
旧
C a 14 D e a d l o c k s 2 1 1
(b) Fa ça o pe r a çMe s d e r e d u ç ão n o g r a f o , m o s t r a n d o q u c e l e r e p r e s e n t a u m e s t a do de
de a d l o c k
(c ) Se v o c ê p u d e s s e a u m e n t a r o n ú m e r o de u n i da de s d e qu a lq u e r d o s 3 r e c u r s o s , q u a l o
a u m e n t o (s e é q u e e x i s t e ) r e s o l v e Da o de a d l o c k T
E x e r c :c i o 14 5 C o n s i d e r e u m s i s te m a f o r m a do po r 5 f i l ós o f o s e 5 g a r f o s (v e r s e ção 7 5 3)
s u po n ha qu e t o do s o s f 1i o s o f o s pe ga m p r i m e i r o o s e u ga r f o da e s qu e r da , de po i s o da d
i r e i ta
. 
Co m
e x c e ção de u m de l e s , qu e é d o c o n t r a D e m o n s t r e qu e e s te s i s te m a é l i v r e de d e a d to c ks
E x e r c fc i o 14 6 C o n s i de r e u m s i s t e m a f o r m a d o po r 3 p r o c e s s o s e u m ún i c o r e c u r s o r e u s áv e
l de
4 u n ida de s
, 
n o q u a l c a d a p r o c e s s o p o d e r e qu i s i t a r n o m áx i m o 2 u n ida de s d o r e c u r s o M o s t r e q
u e
n e s t e s i s t e m a n ão p o d e m o c o r r e r s i t u a çõ e s de d e a d l o c k
E x e r c í c i o 14 7 0 s e g u i n t e g r a f o m o s t r a a s r e q u i s i çõ e s m áx i m a s q u e p o d e m a c o n t e c e
r e m u m
s i s t e m a de 2 p r o c e s s o s e 2 r e c u r s o s
(a ) M o s tr e u m a s e qü ên c i a d e o pe r a çõ e s qu e l e v e o s i s t e m a a u m e s t a do de d e a d l o c k
E x p l iq u e c o m o o a l g o r i t m o de p r e v
e n ção d i n âm i c a i m pe d i r i a a o c o r r ên c i a d a s e qü ên c i a
a c i m a
E x e r c fc i o 14 8 C o n s ide r a n do o g r a f o de r e qu
i s içõe s m áx i m a s à e s qu e r da . Re s po n da s e u m
a lo c ad o r i n te l ige n t e pe r m i t i r i a qu e f o s s e 
a t i n g ido o e s ta do m o s t r a do à d i r e i ta USt i f i que a
r e spo s t a )
 R
2 . R
2
Scanned by CamScanner
2 12 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 m a ç
s o c o n c o r r e n te
S S T o s c a n i R S de O l i v e i r a e A SSSi mi
E x e r c fc i o 14 9 c o n s id e r e u m s i s t e m a 
f o r m a d o po r 4 p r o c e s s o
s e 3 r e c u r s o s , COnf or me
m o s t r a d o n a f i g u r a a b a i x o , c u j a s r e q u i s içö e s m áx
i m a s s e j a m a s i n d i c a d a s n a ta b e l a a o l a do da
f i g u r a
四 Rggç ões i m a s
R 2 
p 1 1 1 0
R l R 2 R 3
P2 1 2 2
P3 1 0
回 回 P4 0
@
. 3
Su p o n h a q u e o c o r r a m a s s e g u i n t e s r e q
u i s i çMe s (n e s t a o r de m )
( 1) p l r e q u i s i t a 1 u n id a de de R 1
(2 ) p 2 r e q u i s i t a 1 u n i d a de de R 2 e 1 u n i da de de R 3
(3 ) p 3 r e q u i s i t a 1 u n i d a de de R 3
(4 ) p 4 r e q u i s i t a 1 u n id a de de R 3
(5 ) p 2 r e q u i s i t a 1 u n i d a de de R 2
(6 ) p 4 r e q u i s i t a 1 u n id a de de R 2
(7 ) p 1 r e q u i s i t a 1 u n i da de d e R2
R e s po n da o q u e u m a
l o c a d o r de r e c u r s o s
" i n te l i ge n t e
" f ar á p a r a c a d a u m a da s r e q u i s içõe s a c
i m a
E m p a r t i c u l a r , m o s t r e 
a s i t u a ção (e s t a d o ) d o s i s t e m a a pó s o a l o c a do r t e r t r
Página1...8910111213