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

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 a r iss im i
C r i a v a m s e
, 
d e s s a m a n e i r a
, 
c o n d içð e s p a r a o c o r r n c i a de d e a d to c ks R a c i o c fn io a n álo go fo i
a p l ic a do e m r e l a ção à r e q u i s i ção d c e s p a ço d c m e m ó r i a a n t e s d a r e q u i s i ção de a r q u i v o s Che go u 
s e e n tão à c o n c l u s o q u e a o r d e m d a s r e qu i s içõ e s d e v i a s e r A R Q > {D ISP , M E M } Re stav a
a pe n a s d e c i d i r e m q u e o r d e m s e r i a m r e q u i s i ta d o s o s d i s p o s i t i v o s e a m e m ó r i a
U m a d a s de c i s õ e s do s p r o j e t i s t a s , r e l a t i v a m e n te a a l o c a ç ão d e m e m ó r i a , e r a a de
a p r o v e i t a r a p r óp r i a r e g i ão a ] o c a da p a r a a execuçi o de u m s t e p , p a r a e x e c u t a r o IN IT IA T OR
(c o m o o I N IT IA T O R o c u pa v a 132 K , i s t o s i g n i f i c a v a q u e o t a m a n h o m ín i m o d e u m a r e gi o er a
132 K ) D u a s ár e a s d a m e m ó r i a e r a m f u n da m e n t a i s n o e s q u e m a q u e p e r m i t i u a t in gi r e sse
o b j e t i v o : a á r e a d i n âm i c a (d yn a m i c a r e a ) , o r g a n i z a d a n a fo r m a d e u m p o o l de r egiões
d i s po n í v e i s q u e p o d i a m s e r u s a d a s t a n t o pa r a e x e c u t a r j o b s t ep s c o m o p a r a e x e c u t a r c e r ta s tm b
do s i s t e m a (t a i s c o m o in p u t r e a d e r s e o u tp u t w r i t e r s , r e s p o n s áv e i s p e l a p a r t e de s p o o l in g do OS),
e u m a ár e a f i x a
, 
d e n o m i n a d a t i n k p a c k á r e a (L PA ) , o n de r e s i d i a m r o t i n a s f r e qü e n te m e n te
u s a d a s
, 
s e l e c i o n a d a s d a b ib l i o t e c a d o s i s t e m a
U m d o s e s qu e m a s e x p e r i m e n t a d o s c o n s i s t i u e m m a n te r n a L P A u m a p e qu e n a r o t in a
c o m a s f u n ç õ e s d e l i b e r a r a r e g i ão u s a d a p e lo s t e p a n t e r i o r e s e u I N IT IA T O R , a l o c a r u m a n o v a
r e g i ão p a r a a e x e c u ção d o n o v o s l e p , d i s p a r a r o n o v o s l e p c o m o u m a t a s k s o b o c o n t r o le do
S U PE R V I SO R (n a r e g i ão a l o c a d a ) , e s p e r a r o tér m i n o d a t a s k e , f i n a l m e n t e , c a 】r e g a r e e x e c u tar
(n a r e g i ão a l o c a d a ) a s r o t i n a s r e s p o n s áv e i s pe l o tér m i n o d o s t e p a t u a l (f e c h a m e n t o de a r qu i v o s ,
l i b e r a ç ão d e d i s p o s i t i v o s , e t c ) e p e la p r e p a r a ção p a r a e x e c u ç ão d o n o v o s t e p O & u x o g r am a da
f i g u r a 14 1 i l u s t r a e s te e s q u e m a
TLR E A D IN ÃM I CA ÁR E A F I X A
【ロロニ西门匡证 si i ív c ij 4
L ibe r a u qw
l ijm m e m ór ia
FIg u r a 14 1 U m e s q u e m a p a r a a lo c a ç a o d e r e c u r s o s
Scanned by CamScanner
C a p f t u lo 14 D e a d l o c k s 
19 7
O e s q u e m a p a r e c e s a t i s fa z e r a c o n d iç o d e s e m p r e s e r s e g u i d a a m e s m a o r d e m n a
a ] o c a ç äo d e r e c u r s o s : p r i m e i r o s ão a l o c a do s o s a r q u i v o s p a r a o j o b i n t e i r o
, 
d e p o i s s ão a l o c a d o s
,
p a r a c a da s t e p , o s d i s p o s i t i v o s d e E /S e a r e g i ão d e m e m ó r i a
, 
n e s ta o r de m E n t r e t a n t o
, 
i s t o n ão é
t o ta l m e n t e v e r d a d e i r o e d e a d to c k s p o d e m a c o n te c e r O t r e c h o de p r o g r a m a a s e g u i r m o s t r a c o m o
o s r e c u r s o s s ão a l o c a d o s e l i b e r a do s d u r a n te a execuçi o d o s s t ep s de u m j o b , f a c i l i t a n d o a
v e r i f i c a ç ão d e q u e a o r d e m A R Q >D I Sp M E M n ão é s e m p r e o b e de c i d a
r e q u i s i t a (M E M ) / * m e m ó r i a p a r a o I N IT I A T O R * /
k »o p
s e l e c i o n a j o b
r e q u i s i t a (A R Q)
l o o p
s e l e c io n a s t e p
r e q u i s i t a (D I SP)
l ib e r a (M E M )
r e q u i s i t a (M E M )
e x e c u t a s t ep
l i b e r a (D i s P )
e x i t w h e n ú l t i m o s t e p
e n d l o o p
l i b e r a (A R Q)
e n d l o o p
C o n s i d e r a n d o r l - A R Q
, 
r 2 - D I S P
, 
r 3 = M E M t e m s e q u e j á n o i n fc i o a o r d e n a ç ão r l , r 2
r 3 n ão é o b e d e c i d a
, p o i s o p r o c e s s o e s t á d e p o s s e do r e c u r s o r 3 e r e q u i s i t a o r e c u r s o r l D e p o i s , o
p r o c e s s o p r o s s e g u e d a s e g u i n t e m a n e i r a r e q r 2 , l i b r 3 , r e q r 3 , l i b r 2 r e q r 2 , l i b r 3 . , r e q r 2 , l i b
r 3
, 
r e q r 3 , l ib r 2 , l i b r l , r e q r l ,
A s o l u ç ão d e f i n i t i v a u s a d a p e l o s p r o je t i s t a s do O S/ 360 e s t á r e p r e s e n t a d a n o f l u x o g r a m a
d a f i g u r a 14 2 0 s e g u i n te t r e c h o de p r o g r a m a f a c i l i t a a v e D f i c a ç ão de q u e a o r d e m r l - A R Q ,
r 2 - M E M
, 
r 3 = D I Sp é s e m p r e o b e de c id a A go r a a s r e q u i s i çMe s e l i b e r a çõe s p a s s a m a o c o r r e r n a
o r de m r e q r 2 , l i b r 2 , r e q r l , r e q r 2 , r e q r 3 , l ib r 3 , l ib r 2 , r e q r 2 , r e q r 3 . , l ib r 3 l ib r l l i b r 2 , r e q
r l
, 
r e q r 2 , r e q r 3 .
r e q u i s i t a (M E M ) / * m e m ó r i a p a r a o I N IT I A T O R * /
lo o p
s e l e c i o n a j o b
l o o p
s e l e c i o n a s t e p
l i b e r a (M E M )
I f I ° s t e p t he n r e q u i s i t a (A R Q)
r e q u i s i t a (M E M )
r e q u i s i t a (D I S P)
e x e c u t a s l e p
l i b e r a (D IS P)
e x i t w he n ú l t i m o s rep
e n d lo o p
l i b e r a (A R Q)
e n d l o o p
Scanned by CamScanner
19 8 s i s t e m a s O pe r a c io n a i s e p r o g r a 1n a ç=o C o n c o r r e n t e
S S T o s c a n i R S de O l i v e i r a e A Sssi mj
A p e s a r d e s e t e r o p r o c e s s o de e x e c u çko p a s s a n
do de u m a r e g i ão de m e m ó r i a p a r a o u t r a
,
e n v o l v e n d o v ár i o s p r o g r a m a s d i s t i n to s , t u do p o de s e r v i s t o c
o m o u m ú n i c o p r o c e s s o c íc l i c o qu e
r e pe t e a s s e g u i n te s a çMe s : e x e c u t a a s r o t i n a s qu e f a z e m 
a a l o c a ção do s r e c u r s o s n e c e s s ár i o s pa r a
o s t e p , e x e c u t a o p r o g r a m a c o r r e s po n de n te a o s t ep , e x e c u
t a a s r o t in a s r e s p o n s áv e i s pe l a l ibe r ação
d o s r ec u r s o s
, 
f a z a s e l e ção do p r ó x i m o s t ep , e tc I s to é , o I N IT IA
T O R s e c o m p o r t a c o m o u m
p r o c e s s o e n v e l o pe q u e , r e pe t i t i v a m e n te , o b t ém r e c u r s o s p a r a o p r
ó x i m o s t e p , e x e c u t a o pr o gr m
c o r r e s p o n d e n t e a o s t ep e l ib e r a o s r e c u r s o s a l o c a do s A de n o m i n a ção
"
e n v e l o p e
" de r i v a do f a to
d o p r o c e s s o e n v e l o p a r (e n c a p s u l a r ) o p r o g r a m a c o r r e s po n de n te a o s t e p e e x e c u t á l o c o m o se e le
fi z e s s e p a r t e d o p r óp r i o p r o c e s s o
A D 1N M I CA ÁR EA F I
-
B k t «
L i be r a m e m óDa j
i s i t a d i s- !
pbeEos M v5&
Fig u r a