A maior rede de estudos do Brasil

Grátis
10 pág.
Sistemas Operacionais e Programação Concorrente - Capítulo 10

Pré-visualização | Página 3 de 3

. . 
53 , Sj )
(d) E n c o n t r a e l e m e n to n u m ér i c o
o s e [A B ]" o s d
e n tão s e l e c i o n a do i s se m áfo r o s 5 4 e 5 3 i n ic i a l i z a do s c o m n e z e r o ,
r e s pe c t i v a m e n t e , e s u bs t i tu i a e x p r e s são a c im a po r
P (54) o s e A o s d V (5 3) P (53) o se B o s d V (54)
(e ) E n c o n t r a n o m e de p r o c e di m e n to i . 
> 
: ì î
o s e < n o m e > o s d
e n t ão c o lo c a o se n o pr ó l o go e o sd n o e pílo go do pr o c edi m e n to < n o m e >
Is to d, o
c o r po do p r o c e di m e n t o v a i i n i c ia r c o m o s e c te r m i n a r c o m o sd (e s t á a se s u por q
u e 
·
c a da n o m e de p r o c e d im e n to a pa r eça u m a ún ic a v e z n a pa th e x p r e ss io n ) : /
Scanned by CamScanner
C a p f tu lo I O M o n i t o r e s c o m P a th E x p r e s s i o n s 133
O s p r o c e d i m e n t o s P P(C . . 5 3 , Sl) e w( C1 , 5 3 , Sj ) r e fe r i d o s n o i t e m c i m p l e m e n ta m a
e x e c u ção s i m u l t ân e a r e a l i z a n do a s s e g u i n te s o pe r a çö e s
P (5 3) P (5 3)
C r : = C r + l C t : = C 1 1
i f C l = 1 t he n P(Su i f C 1= O t he n V (Sj )
V (5 3) V (5 3)
O s e m áf o r o 5 3 é u s a do a pe n a s p a r a i m pe d i r qu e m a i s de u m p r o c e s s o u t i l i z e o c o n t a d o r a o
m e s m o t e m p o
A s e g u i r s ão a p r e s e n t a d a s c o n v e r s õ e s d e a l g u m a s p a t h e x p r e s s i o n s p a r a s i n c r o n i z a çðe s
e q u i v a l e n t e s a tr a v s de s e m áf o r o s
E x e m p l o 1 p a t h A , B e n d
r e s u l t a e m P (S 1) A V (5 2) P (5 2) B V (S 1)
Pr o c e d i m e n t o A P r o c e d i m e n t o B
b e g i n be g i n
PSÙ PSz
C o r p o de A C o r p o d e B
V S z VS I
e n d e n d
E x e m p l o 2 p a t h A , (B IC ) , D e n d
r e s u l t a e m P (S 1) A V (5 2) P (5 2) B V (5 3) P (Sz ) C V (5 3) P (5 3) D V (S l )
p r o c e a m e n t o A Pr o c e d i m e n t o B : P r o c e d im e n t o C P r o c e d i m e n t o D
b e g i n be g i n be g in b e g in
P (S r ) P (5 2) P (Sz ) P (5 3)
C o r p o d e A C o q »o de B C o r po de C C o r po de D
V (5 2) V (5 3) V (53) V (S l )
e n d e n d e n d e n d
E x e m p l o 3 p a th {A , B }IC e n d
r e s u l t a e m P P(C 11Sz , S 1) A V (5 3) P (5 3) B W (C . . Sa , S 1) P (S 1) C V (S t )
P r o c e d i m e n t o A p r o c e di m e n t o B : Pr o c e d i m e n t o C
b e gi n be g i n be g i n
PP (C 1, 5 2 1S 1) P (53) P (S t )
C o r po de A C o r p o de B C o 中 o de C
e n d e n d e n d
Scanned by CamScanner
Scanned by CamScanner
Ca p í tu l o I O M o n i t o r e s c o m Pa t h E x p r e s s i o n s 135
s e u c ód i g o (e x q a t h e x p r e s s i o n ) , c o n tém d a d o s e p r o c e d i m e n t o s (e x m o n i t o r ) qu e p o de m s e r
u s a d o s p o r o u t r o s p r o c e s s o s O s e g u n d o p o n t o d e v i s t a o a d o t a d o pe l a s l in g u a g e n s A D A e V 4
,
q u e u s a m a d e n o m i n a ç ão t a s k p a r a a e s tm t u r a r e s u l t a n t e
É i n t e r e s s a n t e f f is a r q u e a lgu m a s p e qu e n a s m u d a n ça s c o n c e i t u a i s (b a s i c a m e n t e a t r o c a
d a p a t h e x p r e s s i o n p o r u m p r o c e s s o ) a c a b a r a m p o r o c a s i o n a r u m a g r a n d e t r a n s f o r m a ç ão n a
e s t r u t u r a de u m m o n i t o r D e i x o u de s e te r u m a e n t id a d e p a s s i v a , c o n te n do d a d o s , p r o c e d i m e n t o s
e c ód i g o d e i n i c i a l i z a ç o (q u e é o m o n i t o r t r a d ic i o n a l )
, 
e p a s s o u s e a t e r u m a e n t i d a d e a t i v a (i s to
é
, 
u m p r o c e s s o ) q u e c o n t ém i nt er nament e e s s e s m e s m o s c o m p o n e n t e s O c ód i g o d o p r o c e s s o é o
a n t i g o c ód ig o d e i n i c i a l i z a ç ão d o m o n i t o r
, 
a g o r a t r a n s f o r m a do e m u m c ó d i g o (p o s s i v e l m e n t e )
c fc l i c o e a p r o v e i t a d o p a r a r e a l i z a r o u t r a s fu n çõ e s O s de m a i s c o m p o n e n te s ( i s t o é , o s d a d o s e o s
p r o c e d i m e n t o s
, q u e a n t e s e s t a v a m d e n t r o d o m o n i t o r )
, 
a g o r a e s t ão de n t r o d e s s e p r o c e s s o
10
. 
6 E X E R C I C l O S
E x e r c fc i o 10 1 E s c r e v a u m p a t h m o n i t o r p a r a i m p l e m e n t a r o p e r a çõ e s P e V s o b r e u m s e m áf o r o
b i n ár i o i n i c i a l i z a d o c o m z e r o
E x e r c : c i o 10 2 U s a n d o o a l g o r i t m o d a s e ção 10 3 , m o s t r e c o m o a s s e g u i n t e s p a l h e x p r e s s i o n s
s e D a m i r r 1p l e m e n t a d a s a t r a v és d e s e m áf o r o s
(a ) p a t h A , { B , C } , D e n d
p a t h A , { B l C } , D e n d
E x e r c íc i o 10 3 M o s t r e c o m o p o d e r i a s e r fe i t a a i m p le m e n t a ção de m o n i t o r e s e s t e n d i d o s c o m
p a t h e x p r e s s io n s t \ o ke r n e l d o SO
E x e r c íc i o 10 4 M e s m o h a v e n d o e x c l u s ão m ú tu a n a e x e c u ç o do s p r o c e d i m e n t o s de u m
m o n i t o r
, 
f o i v i s t o q u e e s s e s p r o c e d i m e n t o s p r e c i s a m s e r r e e n t r áv e i s E o s p r o c e d i m e n t o s d e u m
p a t hm o n i t o r p r e c i s a m s e r r e e n t r áv e i s ?
Scanned by CamScanner
136 S i s te m a s O pe r a c io n a i s e P r o gr a m am C o n c o r r e n t e S S r o s c a n i R S de O l i v e i r a s S 
rni
ベ幺1村
l +
: ? ñ
/ ;¬ <Ê Ar / i§ /
节雄心甘山 / 多3秧飞矿啾 铛
Æ m o r e n o
'
. ) . 8 s
x gu n t ' x Bd o y la de r e c ha a l m e jo r : e l t ie m po só lo e s t a r dan z ay r e $pón da m e a l m o m e n to de lo qu e e s t i l po r v e n i rc u án do fo r m ó D io s e l t ie m po n o tu v o n u n c a pr i n c ipioy po r qu ¢ to d i v id ió 
n i j a in üs a c aba r ápo r qu e e B t ie m po e s \m a r u eda
,. 
ì
y r u e da e a e t e m ida ç
y 1i e l ho m b r e Io d i v ide
1ö lo l o ha c e
, 
e n M i se n t l r
, 
d ? f
Po r aa be r lo qu e ha v i v id o
! i
i :

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