A maior rede de estudos do Brasil

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

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

Scanned by CamScanner
C a p f t u l o 12
R E N D E Z V O U S
E t m o r e n o
L N o h an v i s t o e m m e d i o d e l c a m po
a l h o m b r e q u e a n d a pe r d id o
d a n d o g t l e l t a s a f l i g i d o
s i n s a be r d o n d e r u m b i a r ?
A n s i 1e s u e l e pa s a r
a u n po b r e c a n t o r v e n c i d o
T a m b ién lo s ár bo l e s c n 1j e n
s i e l v e n t ar r ón lo s a z o t a
y s i a qu f m i qu e j a b r o t a
c o n a m a r gu r a c o n s i s t e
e n qu e e s m u i la r ga e m u i t Ds t e
la n o c h e de 1a r ed o 1a
Y de n d e h o y e n a d e l a n t e
po n go de t e s t igo a l c i e lo
pa r a de c i r s i n l o
q u e s i m i pe c h o s e i n f l a m a
n o c a n t a r é po r 1a fa m a
s i n ó po r b u s c a r c o n s u e lo
E s t e c a p : t u l o d i s c u te o m e c a n i s m o d e c o m u n i c a ção e s i n c r o n
i z a ção de a l t o n í v e l , de n o m i n a do
r e n d e z v o u s O c o n c e i t o d e r e n d e z v o u s j á fo i a p r e s e n t a d o n a s e ç o 10 5 , o n de tb i v i s t o q u e e s te
m e c a n i s m o s u r ge " n a t u r a l m e n t e
"
a o s e i n t r o d u z i r a lg u m a s m o d i f ic a çõ e s n a e s t r u t u r a 
de u m
m o n i t o r c o m p a t h e x p r e s s i o n
0 c o n c e i t o d e r e n d e z v o u s i m p le m e n t a do d e f o r m a c o m p le t a n a 
l i n g u a ge m A D A e de
f o r m a si mpl i f i cada m a s n ao m e n o s ge r a l ) n a l i n g u a ge m V a le 4 C o m o a l i n g u a ge m C SP
(C o 1?1m t t n i c a t i n g Se q u e n t i a l p r o c e s s e s ) f o i fo n t e d e i n s pi r a ç o pa r a A D A e , a lém d i s s o , c o m o
Scanned by CamScanner
14 8 s i s t e m a s o Re g c /o n a i s e Pr ogr amaç1o C o n c o r r e n te S S T o s c a n i , R S d e O l i v e i r a e A 
m i
c s p f a z p a r t e do c o n he c i m e n t o o b r i g a tó r
io q u e s e e x ig e d c u m e s tu d a n te de c iên c ia da
C o m p u t a ção , e s te c a p : tu l o i n ic i a c o m u m r e s u l T l o 
de C SP
12
. 
1 A Hn g u a g e m C SP
C Sp [H O A 7 8 ] é t a l v e z a l in g u a ge m m a i s u t i l i z a d a n o e s tu do d o s a s pe c t o s s e m ân t ic o s dos
s i s t e m a s c o n c o r r e n t e s e
, po r i s s o , s u a i m po r tân c i a te ôDc a é m u i t o g r a n de E n t r e a s in o v açõe s
i n t r o du z id a s po r e s t a l i n g u a ge m e s tá o
"
c o m a n do al t er nat i vo" , q u e p o s t e r i o n n e n t e in spi r a l
c o m a n d o s e l e c t d a l in gu a ge m A D A
C o n f o r m e f o i v i s t o n o c a p í t u l o a n t e r i o r , a o p e r a ção r e c e i v e (a n y , m s g ) i m p le m en ta
e s p e r a n i o d e t e r m i n ís t i c a c o m n o m e a ção i m p l íc i t a E s t e m e c a n i s m o n ão é d i f íc i l de
i m p l e m e n t a r , n a p r át i c a A l i n g u a ge m C SP , c o n t u d o , i n t r o d u z i u a e s pe r a n ão d e t e r m i n ís t ic a c o m
n o m e a ção e x p l fc i t a 
62 E s t e e s q u e m a de c o w w n i c a ção o r i g i n a l d e C SP t e m i n f l u e n c i a do o pr o je to
d e d i v e r s a s l i n g u a ge n s d e p r o g r a m a ção e s e r á a p r e s e n t a do a s e g u i r , a p ó s s e r e m fe i t as a lgu m as
c o n s i d e r a çõe s i n i c i a i s
U m p r o g r a m a C SP d e f i n e u m c o n j u n t o d e p r o c e s s o s q u e s e c o m u n i c a m a t r a v és de do is
c o m a n d o s
, 
d e n o m i n a d o s in p u t e o u tp u t , s i m i l a r e s às o p e r a çõ e s s e n d e r e c e i v e b l o q u e a n te s e c o m
n o m e a ção e x p l fc i t a A t r o c a de d a d o s a c o n te c e q u a n do u m p r o c e s s o p n o m e i a u m p r o c e s so q
e x p l i c i t a m e n ce c o m o o d e s t in a t ár i o d e s u a o pe r a ção o u tp u t e o p r o c e s s o q n o m e ia P
e x pl i c i t a m e n t e c o m o f o n te p a r a o s e u c o m a n do in p u t Qu a n d o a m b o s o s p r o c e sso s se
s i n c r o n i z a m (i s t o é , c he g a m às s u a s o pe r a çõe s i n p u t e o u tp u t ) , a c o n t e c e a tr o c a da m e n s age m
d i r e t a m e n te (s e m u s o de b u j$e r i n te r m e di ár i o ) p o r e x e m p l o , a p a s s a ge m de u m a m e n s agem de
u m p r o d u t o r p a r a u m c o n s u m i do r é r e a l i z a d a a t r a v és do s e gu i n te c ó d i go
P r o c e s s o p r o d u c e r P r o c e s s o c o n s u m e r
1 ,
c o n s u n 1e r ! n 1s g 1 p r o d u c e r ? n 1s g2
o n de " p t I 11
"
s i gn i f i c a e n v ia r a m e n s a ge m I 11 pa r a o p r o c e s s o p e
"
q ? n
"
s ign ik c a r e
c eber
m e n s a ge m d o p r o c e s s o q e de po s i tá la e m n
N o e x e m p lo a n te r i o r , o e fe i t o d a e x e c u ção do s c o 1n a n do s b Bp u t e Q
u IpI IL se
ria
e qu i v a le n te à a t r i b u iç i1o m s g 2 - m s g l (e x ige s e qu e o s t ipo s de n Bs g l e n Bs g2 se j a m igu a is , 
sen
o
a c o m u n i c a ç i io fa lha )
62 I s t o c o n s e g u id o a t r a v s do r cBm u n do a 1t e r n u r i v o
, qu e pe r m i t e u m pr o c e ss o e s pe ra r a l ce
m a t iv a I n e
n te (nso
de t e r m i n is t ic a m e n t e ) po r u m e n t r e d i v e r s o s e v e n t o s de c l a r a do s e x p l ic i t a m e n t e
Scanned by CamScanner
C a p f t u l o 12 R e n d e z v o u s 14 9
Pa r a t o m a r a s o pe r a çð e s i n p u t e o u lp u l m a i s p o d e r o s a s , a l i n g u a g e m C S P i m p le m e n t o u
o c o n c e i t o d e c o n ra n d o s g u a r d a d o s [ D IJ 75 ] U m c o m a n d o g u a r d a d o po s s u i a s e g u i n t e s i n t a x e
« g u a r d a » + « 【i s ta de c o m a n d o s »
s e n d o q u e < g 1t a rd a > p o d e c o n t e r u m a l i s t a d e de c l a r a çõe s , u m a l i s t a d e e x pr e s s öe s b o o le a n a s e
u m c o m a n d o i n p u ir (t o d o s o p c i o n a i s )
U m a g u a r d a f a l h a s e qu a l q u e r u m a de s u a s e x p r e s s õ e s b o o l e a n a s t e m v a l o r Ta ts e o u s e o
p r o c e s s o n o m e a d o n o s e u c o m a n d o in p u t n ão e x i s t e m a i s Se a g u a r d a f a lh a , o p r o c e s s o qu e
e x e c u t a o c o m a n d o g u a r d a d o m o r r e (d e i x a de e x i s t i r ) Se a g u a r d a n ão f a l h a , a l i s t a d e c o m a n d o s
p o de s e r e x e c u t a d - a e x e c u ç ão s ó i n i c i a a pó s a o pe r a ç ão in p u t (s e p r e s e n t e ) t e r s i do
r e a l i z a d a Po r t a n t o
, 
s e a g u a r d a n ão f a l h a , o p r o c e s s o f i c a b l o qu e a d o n a o pe r a ç ão i n p u t A p ó s a
e x e c u ção d a l i s t a d e c o m a n d o s , a e x e c u ç ão p r o s s e g u e s e qü e n c i a l m e n t e
D i v e r s o s c o m a n d o s g u a r d a do s p o d e m s e r a g r u p a do s e m u m c o n 1a n d o a l 1e r n a 1i v o , o
q u a l p o s s u i a s e g u i n t e s i n t a x e
【G 】 旁 C 1 1 G 2 台 C 2 1 G n + C n 】
A e x e c u ç ão d o c o m a n d o al t er nat i vo ons i s t e e m l e v a r a c a b o u m d e s e u s c o m a n d o s
g u a r d a d o s C o n s e q t1e n t e m e n t e , s e t o d a s a s g u a r d a s f a l hm o c o m a n d o al t er nat i vo f a l h a e o
p r o c e s s o m o r r e Se m a i s d e u m c o m a n d o gu a r d a d o p o d e s e

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