Sistemas Operacionais e Programação Concorrente - Capítulo 12

Prévia do material em texto

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 er e x e c u t a d o , u m d e l e s é e s c o l h i d o
a l e a t o D a m e n t e É e s t a c a r a c t e r í s t i c a de C SP q u e pe r m i t e r e a l i z a r c o m u n i c a ção n ão
d e t e r m i n fs t i c a
, p o i s p e r m i t e q u e u m p r o c e s s o e s pe c i f i qu e v ár i o s c o m a n d o s i n p u 1 (u m p o r gu a r d a )
c o m f o n ce s d i f e r e n t e s Se m a i s d e u m p r o c e s s o f o n t e e s t á e s p e r a n do p o r c o m u n i c a ç ão , e n t ão a
c o m u n i c a ç ão é f e i t a c o m u m d e l e s , e s c o l hi do a l e a t o r
i a m e n t e Se n e n h u m p r o c e s s o f o n t e e s t á
de s e j a n d o c o m 11n i c a ção , e n t ão o p r o c e s s o d e s t i n o f i c a b lo q u e a do n o c o m a n d o a l t e m a t i v o \ a
e s pe r a d e a l g u m p r o c e s s o f o n t e
U m c o m a n d o a l t e m a i i v o po de s e r r e pe t id o s u c e s s i v a m e n t e , a t q u e e l e f a l he (o
c o m a n d o f a l h a a pe n a s q u a n d o t o d a s a s s u a s g u a r
d a s f a l ha m ) Pa r a i s t o e x i s t e o c o n 1a n d o
r e p e t i 1i v o q u e t e m a s e g u i n t e s i n t a x e
* t G l + C l I G 2 > C 2 I I G n } C n ]
Qu a n d o t o d a s a s g u a r d a s f a l h a m , o c o m a n d o r e pe t i t i v o t e r m i n a (n o f a l ha ) e o c o n t r o
ûe d a
e x e c u ç ã o t r a n s fe Ddo p a r a o p r ó x i m o c o m a n d o
N o c a p í t u l o a n t e r i o r o p r o b l e m a d o p r o d u t o r c o n s u m
id o r c o m b rt ûir , I i 1n i t a d o Fo i
s o l u c i o n a d o c o m a s o pe r a çö e s s e n d e r e c e i v e t r a d i c io n a is A s e g u
i r o p r o c e s s o bBdr n 1a n a g e r 
r e a p r e s e n t a d o e m C SP
Scanned by CamScanner
15 0 S i s te m a s - n a i s e Pr 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 W ssi , n j
P r o c e s s b u f f e r n 1a n a ge r
p /a c e : a m y t l 10 ] o f i n t e g e r
i11
, 
o l ¢t
, 
r e a d y i n t e ge r
i n : = 1 ; / * i n = o u t i n d i c a b 11j ìe r v a z i o * /
o u t : = 1 ; / * in = o u t + l o i n d i c a b1Bl ïe r c he io * /
i n < o u t + l o ; p r o d u c e r ? p ta c e [ i n m o d I O + l ]
+ i n : = i n + l
OU1«i n c o n s u m e r ? r e a dy
> c o n s u n ze r ! p l a c e [o u t m o d 10 + 1] ; o u t : = o u t + l
N e s t e e x e m p l o f i c a e v i d e n t e o m a i o r p o de r de r e p r e s e n t a ção d e C SP , e m c o m pa r a ção a
- l i n g u a g e m q u e u t i l i z e o p e r a çMe s s e n d e r e c e i v e t r a d i c i o n a i s E s t a s o l u ç ão p o d e r i a s e r a in da
m a i s s i m p l e s s e C SP p e r m i t i s s e o u s o d e c o m a n d o s d e s a íd a e m g u a r d a s N e s t e c a s o , a s e gu n da
al t er nat i va d o c o m a n d o r e pe ti t i v o p o d e r i a s e r " o u t < i n ; c o n s u m e r ! p ta c e [o u t m o d 10 + l ] >
o u t = o u t + 1" I n f e l i z m e n t e
, 
C SP n ão p e r m i t e o u s o d e o pe r a çõe s t ip o s e n d e m g u a r d a s
12
. 
2 A l i n g u a g e m A D A
A D A l RA F 9 7 ] é u m a l i n g u a g e m d e p r o g r a m a ção c o n c o r r e n t e m u i t o p o d e r o s a , v e n c e do r a de u m
e d i t a l 63 e m qu e c o m pe t i r a m v ár i a s p r o p o s t a s d e l i n g u a ge n s , n a b u s c a d e u m a qu e f o s s e adequ ada
p a r a o d e s e n v o l v i m e n t o d e s i s t e m a s c o n c o r r e n te s g r a n d e s e c o m p l e x o s E m A D A , o s pr o c e sso s
s ão de n o m i n a d o s t a s ks e u m p r o g r a m a e s pe c i f i c a v ár i a s t a s ks (p r o c e s s o s i n de pe n de n te s) Par a
s e r e m e x e c u t a da s e m p a r a l e l o
C a d a l a s k e s t a be le c e u m a l in ha (o u f lu x o ) de e x e c u ção , de n o m i n a da 1h r ¬ a d Qu alquer
t a s k p o de d e f i n i r o p e r a çðe s m u t u a m e n te e x c l u s i v a s pa r a s e r e m u s a da s p o r o u t r a s t a s ks 
Ma is do
q u e i s s o , u m a t a s k po d e de f i n i r t a m bém p r o c e d i m e n t o s r e e n t r áv e i s t r a d i c i o n a is pa r
a sere
m
c h - s l i v r e m n t e e e x e c u ta do s e m s i m u l t lin e o po r v ár i a s t a s ks
u m a o pe r a ção m u t u a m e n t e e x c lu s i v a é i m pl e m e n t a da po r u m t ipo e
spe c ia l 
d¢
p r o c e d i m e n t o , d e n o m i n a d o e n r r y p a r a e x e c u ta r u m a o pe r a qilo m u tu a m e n te e
x c l u s i v a , 
um
p r o c e s s o c h a m a a e n t r y a p r o p r i a d a d a ta s k , pa s s a n do o s pa r l lm e t r o s n e c e s s ár io s 
à e x e c u ç
o , 
e
a g u a r d a (blo q u e a d o ) a e x e c u çao d a o pe r a ç o Qu e m e x e c u ta a o pe r a ç o é o p r o c e s s o qu
e c o n
térl l
a e n t r y (n ão o q u e c h a m o u ) e p a r a i s s o e x i s te o c o m a n do a c c e p t , q u e s e r á e x p l i c ado a s
egu i r
1 1 O p r o je t o A D A fo i f i n a n c i a d o e c o o rd e n a do pe l o D e pa r t a m e n to d e D e fe sa do s E UA e s eu o b je t i
v o c ra 
c t iar k
ina
l i n i u a ge m qu e fa c i l i ta r l e a c o n s (r u çao e a pr o v a da c o r r e çao de pr o g r a m a s c o n c o r r e n t e s
Scanned by CamScanner
Ca p f t u lo 12 R e n d e z v o u s 15 1
12
. 
2 1 0 c o m a n d o a c c e p t e o r e n d e z v o u s
U m r e n d e z v o u s e n v o l v e e x a t a m e n t e du a s t a s ks : u m a c l i e n t e (c Ee n t o u c a l l e r ) e u m a s e r v id o r a
(s e r v e r ) N o q u e s e g u e , a s d e n o m i n a çõ e s c l ie n t e e s e r v i d o r s e r äo u t i l i z a d a s n o m a s c u l i n o , c o m o
é u s u a l O c l i e n t e c h a m a u m a e n t r a d a (e n t r y ) do s e r v id o r pa r a q u e e l e (o s e r v id o r ) e x e c u t e a
o pe r a ç ão c o n i e s p o n d e n t e a e s s a e n t r a d a O s e r v id o r , qu a n do d e s e j a , e x e c u t a u m c o m a n do a c c e p t
pa r a a e n t r y , p a r a a c e i t a r a c h a m a d a e e x e c u t a r a o pe r a ção
E n q u a n t o o s e r v i d o r n ão e x e c u t a o a c c e p t , o c l i e n t e f i c a à e s p e r a (b l o q u e a d o n a
c h a m a d a ) Se o s e r v i d o r e x e c u t a u m a c c e p t p a r a u m a e n t r a d a q u e a i n d a n ão f o i c h a m a da p o r u m
c l i e n t e
, 
e n t ão é o s e r v i d o r q u e e s pe r a (b l o q u e a d o n o a c c e p t ) , a t é qu e a l g u m a t a s k c h a m e e s s a
e n tr a d a É e s s e e n c o n t r o de d u a s t a s ks
, 
o n de a p r i m e i r a q u e c h e g a e s p e r a pe la s e g u n d q u e
c o n s t i t u i o r e n d e z v o u s
O c ó d i g o e x e c u t a d o p o r o c a s i ão d o r e n d e z v o u s é o c ód ig o i n c l u fd o n o c o m a n d o a c c e p t
d o s e r v i d o r p o r t a n t o
, 
d i f e r e n t e s a c c e p t s p a r a u m a m e s m a e n t r a d a , e m d i f e r e n t e s l o c a i s d o
s e r v i d o r
, p o d e m e x e c u t a r c ód i g o s d i s t i n t o s I s t o é o q u e s e d e n o m i n a p o Em o d ìs m o 
64 D e s s a
m a n e i r a
, 
a s e n t r i e s s ão m a i s g e r a i s q u e a s p r o c e d u r e s , p o i s p o d e m e x e c u t a r c ód i g o s d i f e r e n t e s ,
e m f u n ç ã o d o p o n t o e m q u ea e n t r y é a c e i t a
" pe l a t a s k
0 f o r m a t o g e r a l d e u m c o m a n d o a c c e p t é o s e gu i n t e
a c c e p t e n t r y n a m e (p l , p 2 . , p n ) d o
c o m a n d o s
e n d
Qu a n d o u m a c h a m a d a é a c e i t a , i n i c i a o r e n d e z v o u s N e s s e m o m e n t o , o s d a do s s i lo
p a s s a d o s d o c l i e n t e p a r a o s e r v id o r , 
a t r a v és do s p a r âm e t r o s da e n t r y E m s e g u i d a , o c ód i g o
(c o m a n d o s c o n t i d o s n o a c c e p t ) é e x e c u t a d o F in a l m e n t e , o s r e s u l t a d o s , s e e x i s te n t s ão
de v o l v i d o s a o c l i e n t e , t a m bém a t r a v és do s p a r âm e t r o s 
d a e n t 1y E n q u a n t o o s e r v id o r e x e c u t a o
c ód i g o c o r r e s p o n d e n t e a o a c c e p t e c a
l c u l a o s r e s u l t a do s , o c l i e n te e s pe r a Qu a n do a e x e c u çäo
d e s s e c ód i g o t e r m i n a , o s p a r âm e t r o s de s a
fda s ão p a s s a do s pa r a o c l ie n t e , o r e n de z v o u s a c a ba e
o s p r o c e s s o s c l i e n t e e s e r v i d o r p r o s s e g u e m s u a
s e x e c u çõe s de f o r m a i n de pe n de n t e
O s c l i e n te s de v e m c o n he c e r a s ide n t i d a de s d o s s e r v
ido r e s e de s u a s e n t r i e s (e o s t i po s
d o s p a r âm e t r o s d a s m e s m a s ) , m a s o s s e r v id o r e s po de m a c e i t a r c ha m a d a s 
do q u a lq u e r c l ie n t e
(n o m e a ç ão i r n p l fc i t a ) A e x c l u s ão m ú t u a d a s e n t r i e s g a r a n t id a pe l a i m p
le m e n t a qäo s u b j a c e n t e
So m e n t e u m c l i e n te de c a d a v e z r e a l i z a r e n de z v o u s c o m o s e r v ido r
O u t r a s c ha m a da s po r v e n t u r a
e x i s t e n t e s f i c a m b l o q u e a d a s , e o a t e n d i m e n t o d e s s a s c
h a m a d a s é r e a l iz a d o n a o r d e m FC FS
A l i n g u a g e m A D A p e r m i te u s a r a e x p r e s s
ão e n ¢1y n a m e ( o u n t q u e de n o t a o n úm ¢ r o de
p r o c e s s o s q u e e s t ão n a f i l a de e s pe r a d a e n t r a
d a e n 1r r n a n 1e ( i s to é . p r o c e s s o s à e s pe r a d e
p o l i m o r f i s m o s i g n i f i c a s i m p le s m e n t e a o b t e n çao de r e
s po s t a s d i fe r e n t e s pa r a u m a m e n sa ge m De pe n de n d o 
de
q u e m r e c e b e a m e n s a ge m (o u do po n t o e m q u e a m e n s age m ë r e c e b id a ) 
Scanned by CamScanner
152 s i s t e m a s
-
o n a i s e P r o g r a m a çi1o 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 r a e A 9 m i
r e n d e z v o u s n e s s a e m r y ) Po r e x e m p l o , - s t a r t w r i te ' c o u n t " é o n ú m e r o de p r o c e ssos
c o r r e n t e m e n t e (n o m o 1n e n t o e m q u e a e x p r e s s ão é u s a d a e m a lg u m c o m a n do ) à e spe r a de
r e n d e z v o u s n a e n t r y s t a r t w D te "
U m a t a s k po s s u I d o i s c o m po n e n te s : u 1n c a be ça th o , o n d e s ão e s pe c i f i c a da s as e n r r i e r e
p r o c e d u r e s de s t a t a s k q u e po de m s e r c h a m a da s po r o u t r a s t a s ks (i s to é , q u e po d e m se r charnadas
d o " a m b i e n t e ex t er no " )
, 
e u n ï c o rp o , q u e c o n tém o c ód ig o da l a s k A s e gu i r é a p r e s e n tada a
e s t r u t u r a d e u m a t a s k
t a s k n o m e i s
De c la ra çäo do s n o m e s e pa râm e tro s da s e n tr ie s e p r oce du re s qu e po de m s e r c ha m a da s do a m b ie n te ext er no Ex e m plo
e n tr y E 1(a r g l
. , 
a r g E l )
p r o c e d u r e P I (a r g ]
.
a r g p 1 )
e n d
t a s k b o d y n o m e i s
1 De c la ra çäo da s tas ks c u ja s e n tn tes e /o u pro c edu re s são u s a da s po r e s ta tas k Ex e m plo
u s e ra s kA
, 
t a s k B
De c la ra ç o da s v a r iáv e is i nternas e da s p ro c e du re s de s ta tas lc Ex e m plo
c o u n t i n t e g e r
d e c l a r a çõ e s l o c a i s d e p l 
/ * c o m o e s te pro c e dim e n to fo i de c la r ado n o c a beça lho , e le * /
b e g i n 
/ * Po de s e r e x e c u tado po r o u t ra s ta s ks * /
e n d P 1
1 l q u l m bém pode m s e r decl aradas o u t ras e n lDe s e o u tra s pr oc e du re s pa ra u so in te r n o de sta la s k Ex e m p lo
I ; , 1 e n t r y E2 {a r g l . , a rg E 2)
p r o c e d u r e P2(a r g 1
. , 
a r g P2 )
de c l a r a ç õe s lo c a i s de P2
be g i n
e n d P2
Fh a lm e n te
, 
v e m o c ödigo da tas lc o n de cada c o m an do ac cept o r lgin a u m rende zv o u s
b e g i n
a c c e p t E l (a r g J
.
.
, 
a r g E B) do c o m a n d o s e n d
a c c e p t : E 2{a r g 1
. , 
a r g E2 ) do c o m a n do s e n d
e n d n o m e
Scanned by CamScanner
C a p f t u l o 12 R e n d e z v o u s 153
N a v e r d a d e
, 
n a s d e c l a r a ç ð e s d a s e n t r i e s e p r o c e d u r e s d e v e s e d e c l a r a r o s t ip o s d o s
a r g u m e n t o s e , a lé m d i s s o , i n f o r m a r s e o s m e s m o s s ão d e e n t r a d a o u d e s a :d a O s e x e m p l o s a
s e g u i r d e i x a r ão i s t o c l a r o
12
. 
2
. 
2 I m p l e m e n t a çã o d e m u t e x b e g i n e m u t e x e n d
A t a s k a s e g u i r , d e n o m i n a d a n zu t e
, 
i m p l e m e n t a d u a s e n t r ie s d e n o m i n a d a s x be g i n e x e n d , q u e
s i m u l a m a s o p e r a ç Me s m u t e x b e g i n e m u t e x e n d A t a s k f i c a n u m l o o p i n f i n i t o a c e i t a n do ,
al t er nadament e
, 
a s c h a m a d a s p a r a e s s a s d u a s e n t r a d a s
t a s k m u t e i s
e n t r y ×begi n
e n t r y x e n d
e n d
t a s k b o d y m u l e i s
b e g i n
l o o p
a c c e p t × b e g i n
a c c e p t x e n d
e n d l o o p
e n d m u r e
A s d e m a i s t a s k s d o p r o g r a m a u s a m a e n t r y × b e g i n p a r a r e q u i s i t a r a c e s s o e x c l u s i v o e a
e n t r y x e n d p a r a l i b e r a r e s s e a c e s s o A t a s k t a s e g u i r u t i l i z a e s s e e s qu e m a p a r a g a r a n t i r a c e s s o
e x c l u s i v o a u m r e c u r s o c o m p a r t i l h a d o
t a s k t
t a s k b Ä y I i s
u s e m u t e
b e g i n
m u t e x be g i n
/ * u s a o r e c u r s o de f o r m a e x c l u s i v a * /
m u re x e n d
e n d 1
Su p ö e s e q u e o s t r e c h o s a s e r e m e x e c u t a d o s de 
f o r m a m u t u a m e n te e x c lu s i v a e s te j a m
s e m p r e de n t r o d e u m " p a r d e p a r ê n t e s e s
"
m u l e x be g in e m u t e x e 1Bd
12 2 3 0 c o m a n d o s e l e c t
A s c h a m a d a s d a s e n t r a d a s de u m a t a s k n ao p r e c i s a m s e r a c e i t a s n e c e s s a r
i a m e n t e e m u m a o r de m
r i g id a , p r é e s t a b e l e c id a E x i s te o c o m a n d o s ¬ l e e t q u e pe r m
i t e a c e i t a r a s c ha m a d a s d e f o r m a m a i s
f l e x f v e l O c o m a n d o s e te c 1 t e m a s e g u i n t e fo r m a
Scanned by CamScanner
154 S i s t e 1n a s O pe r a c i o n a i s e p r o g r a 1n a ç1o Co 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 im i
s e l e c t
l w h e n c o n d / = > ] a c c e p t e n t r y ] ( ) d o < c o m a n do s 0> e n d
o r
[w h e n c o n d 2 = > ] a c c e p t e n t r y 2( ) d o < c o m a n d o s 2 > e n d
o r
e l s e d o < c o n za 11d o s N > e n d
e n d s e l e c t
0 c o m a n d o s e l e c t é e x e c u t a d o c o m o s e g u e
 C a d a
 uma da s co n d i çõe s ( tamb ém den o m i na d a s gu a r da s ) é av a l i ad a . a d a co n d i ção
a v a l i a d a c o m o t r u e de t e r m i n a q u e o a c c e p t c o r r e s p o n d e n te s e j a c o n s ide r a do a be r t o
Se a c o n d i ção n ão é e s p e c i f i c a da , o a c c e p t c o r r e s p o n d e n t e é c o n s i d e r a do s e m pr e
a b e r t o
* P o d e m h a v e r v ár i o s a c c e p t s a b e r to s s i m u l t a n e a m e n t e D e s s e s , v ár i o s p o de m e s t ar
a p t o s p a r a r e n de z v o u s ( i é
, 
c o m a s c o r r e s p o n d e n t e s e n t r a d a s c ha m a da s po r o u tr as
t a s k s ) D e n t r e e l e s
, 
u m e a p e n a s u m é s e l e c i o n a d o a r b i t r a r i a m e n t e (n ão s e s a be qu a l
d e l e s ) e o r e n d e z v o u s é e x e c u t a d o
 S e
 e x i st e u ma c l áus u l a
 e l se e n ã o
 h á ch a ma d a s p a r a a s e n t ra d a s q u e n o mo me n t o
e s t ão a b e r t a s
, 
e n t ão o s c o m a n d o s d e s t a c l áu s u l a s ão e x e c u t a d o s Se n o e x i s te
c l áu s u l a e l s e
, 
a ta s k e s p e r a q u e s e ja c h a m a da u m a d a s e n t r a d a s a b e r t a s
 S e
 n ã o h á en t rad a s a b e r t as ,
 a c l áus u l a e l se é e x e c u t ad a . e s t e c a s o ,
 s
e n o h á
c l áu s u l a e l s e
, 
a c o n t e c e u m e r r o d e e x e c u ção s e l e c t e r r o r
0 úl t i m o c a s o c o n s id e r a do a c i m a c o r r e s p o n d e a u m a s i t u a ç iio de e r r o , po n Bu e as
c o n d i çõ e s (g u a r da s ) n o r m a l m e n te só p o de m s e r a l te r a da s pe l a p r óp r i a t a s k A s i t u a ç o " t o das as
g u a r d a s f a l s a s
"
c o r r e s po n d e r i a a u m a s i t u a ção de d e a d l o c k p o r qu e a t a s k e s t a r i a e s pe r an do qu
e
m u da s s e u m a c o n d i ção qu e s ó e l a po de m u da r V a le o b s e r v a r q u e o s p r o je t i s t a s da l i n gu age m
p o de r i a m t e r o p t a do p o r o u t r a s e m ân t i c a f a z e r c o m q u e a e x e c u ção s a i s s e do s e le c t . N e s te 
c asa
c o n t u do
, 
e s t a o pção n ão s e r i a a m e lho r pe l o f a t o de l a s e r m e n o s g e r a l , po i s e s s e m e s m o 
e fe i to
po d e s e r c o n s e g u i do c o m a s e m ân t i c a a t u a l
, 
u s a n do a c láu s u l a " e l s e n o t hin g "
12
. 
2
. 
4 0 p r o b l e m a d o p r o d u t o r c o n s u m i d o r
A s e g u i r é a p r e s e n t a d a u m a s o l u ç ao pa r a o p r o b le m a d o pa r p r o d u to r c o n s u m ido r c
o m bl<or
r
l i m i t a do c o n v ém o b s e r v a r q u e a q u i a s o l u ç ìio é s i m é t r ic a
, 
i s t o é
, 
o c o n s u m i do r n äo é o b
r i gado a
e n v i a r m e n s a ge m p a r a i n di c a r s u a a p t id iio pa r a r e c e be r m e n s a g e m A l a s k p r o du t o r a p
ðe u m i [e
n 1
a n o b u Jï e r e x e c u t a n do
buj er p u t (a )
' l
Scanned by CamScanner
C a p i t u lo 12 R e n d e z v o u s 155
e a l a s k c o n s u m i d o r a r e t i r a u m i t e m b d o b tø e r e x e c u t a n d o
b e r Be t (b )
A t a s k q u e i m p l e m e n t a o b · l i m i t a d o é a s e g u i n t e
t a s k b u jûe r i s
t y pe i r e m i s r e c o r d E n d
e n t r y p u l (m sg in i t e m )
e n t r y g u (m s g o u t i t e m )
e n d
t a s k b o d y bw e · i s
p l a c e a m y [ 1 10 ] o f i t e m
in
, 
o u t c o u n t : i n t e g e r
i n = l ; o u t : = l ; c o u n t : = O
b e g i n
l o o p
s e l e c t
w h e n c o u n t < 10 = > / * buer t e m e s p a c o * /
a c c e p t p u t (m s g : i n i te m ) do
p ta c e [ i n ] : = m s g
e n d
i n = ( i n m o d 10 )+ l
c o u n t : = c o u n l + 1
o r w h e n c o u n i » O = > / * buer t e m m e n s a g e m * /
a c c e p t g e t (n z sg : o u t i te m ) d o
m s g : · p ta c e [o u t ]
e n d
o u t = (o u i m o d 10 )+ l
c o u n 1 = c o u n t l
e n d s e le c t
e n d l o o p
e n d buj Fer
12 2 5 0 p r o b l e m a d o s r e a d e r s & w r i t e r s
O p r o b l e m a é a p r e s e n t a d o e m t r ês v e r s Me s A p r i m e
i r a v e r s ão u s a a m s m a lóg i c a e m p r e g a d a n a
p r o g r a m a ç ão c o m m o n i t o r e s (s e ç ão 9 8 5 )
Ver s i o 1
A t a s k r W 1 Im p l e m e n t a e n t r i e s s 1a r ¢ r e a d , e n d r e a
d
, 
s ¢a r t w r i 1e e e n d w r i1e . A s q u a i s s üo
u s a d a s p a r a c o n t r o l a r o a c e s s o a u m a r q u i v o g
l o b a l (o a c e s s o a o a r q u i v o é f e i to fo r a d a l a s k ) O
p r o g r a m a u s a a e x p r e s s ão s t a r t w r i t e
'
c o u n t pa r a o b te r o n ú m e r o d e p r o c e s s o s n a 
f i l a d e e s pe r a
de s t a r t w r i t e
Scanned by CamScanner
156 s i s t e m a s W EEio n a i s e Pr ogr ama Co 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 c3 im j
t a sk L w J i s
e n t r y s t a r t r e a d
e n t r y e n d r ead
e n t r y s t a r t w r i t e
e n t r y e n d w r i t e
e n d
t a s k b o d y r w 1 i s
# r e a d e r s : i n te ge r i n i t i a l 0
# a w a i t r i n t e ge r
a c t i v e w r i1e r bo o 1e a n i n i t i a l f a l s e
b e g i n
l o o p
s e l e c t
w h e n s t a r t w r i t e 'c o u n t = O a n d ia c t i v e w r i t e r = > a c c e p t s t a r t r e a d d o
# r e a d e r s = # r e a de r s+\
e n d
o r
a c c e p l E n d Te a d d o # r e a de r s = # r e a de r s \ e n d
i f # r e a d e r s - O a n d s t a r t w r i t e ' c o u n t> o the n a c c e p t s t a r t w r i t e d o
a c t i v e w r i t e r = t r u e
e n d
o r
w he n # r e a d e r s - O a n d c l i v e w r i t e r = > a c c e p t s t a r t w r i t e d o
a c t i v e w r i t e r = t r u e
e n d
o r
a c c e p t e n d w r i l e d o a c t i v e w r i l e r = f a l s e ; e n d
i f s t a r t r e a d ' c o u n t > O t he n b e g in
p 
#a w a i t r = s t a r t r e a d 'c o u n l
l o o p
a c c e p t s ta r t r e a d do
# r e a de r s = # r eader s+\
#a w a i t r = # a w a i t r 1
e n d
e x i : w he n # a w a i l r = O
e n d lo o p
e n d
e n d s e le c t
e n d l o o p
e n d r w ]
Scanned by CamScanner
C a p f t u l o 12 R e n d e z v o u s 157
V e r s ã o 2
N o p r o g r a m a a s e g u i r , o a c e s s o à e s t r u t u r a c o m p a r t i l h a d a é f e i t o d e n t r o d a p r ó p r i a t a s k r w 2 A
e s t r u t u r a c o m p a r t i l h a d a , d e n o m i n a d a Sì1a r e d X
, 
é i nt er na à t a s k e é a c e s s a d a pe lo s w r i te r s e
r e a d e r s
, 
r e s p e c t i v a m e n t e
, 
a t r a v és d a e n t r y w r i t e r e d o p r o c e d i m e n t o r e a d e r C o m o r e a d e r é u m
p r o c e d i m e n t o , i s t o p e r m i t e q u e v ár i o s r e a de r s po s s a m a c e s s a r o v a l o r d e Sha r e d J
s i m u l t a n e a m e n t e E s t a v e r s ão i m p l e m e n t a u m s e r v i d o r q u e dá p r i o r i da de p a r a o s r e a de r s
In i c i a l m e n t e
, 
s ó a c h a m a d a w r i t e r é a c e i t a
, 
o q u e a s s e g u r a qu e Sha r e d X e s t e j a in i c i a l i z a d a p o r
o c a s i ão d a p D m e i r a l e i t u r a P a r a s i m p l i f+c a r a a p r e s e n t a ção , Sha r e d X é u m a v a r i áv e l s i m p l e s ,
d o t i p o i n t e ge r
t a s k r w 2 i s
p r o c e d l 1r e r e a d e r (x a t u a l : o u t i n t e g e r )
e n t r y w r i l e r (n e w J i n i n t e g e r )
e n d
t a s k b o d y r w 2 i s
s ha r e d x i nt eger
# r e a d e r s : i n t e g e r i n i t i a l 0
e n t r y s t a r t r ead
e n t r y e n d r ead
p r o c e d u r e r e a d e r (x a t u a l : o u t i n t e g e r ) i s
b e g i n
st ar t _r ead
x a t u a = Sh a r e d J
end_r ead
e n d
b e g i n
a c c e p t w r i 1e r (n e w J i n i n te g e r ) d o Sha r e d x - n e w J e n d
l o o p
s e l e c t
a c c e p t s t a r ¢ r e a d d o # Te a de r s
- # r eader s+\ end
o r
a c c e p t e n d r e a d do # r e a de r s
= # r e a d e r s \ e n d
o r
w h e n # r e a d e r s - 0 = > a c c e p t w r i1e r (n ¬ w J i n i n t e ge r ) do
Sh a r e d X = n e w J
e n d
e n d s e l e c t
e n d l o o p
e n d r w 2
Scanned by CamScanner
15 8 S i s t e m a s O pe r a c io n a i s e P r o gr a m a çao Co 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 S mi
o p r o c e d i m e n t o r e a de r c ha m a a s o pe r a çö e s s t a r t r e a d e e n d r e a d , a s q u a i s s ão de f in idas
c o m o e n t r i e s (s ão e 1Bl r îe s p a r a u s o l o c a l q u e n ão p o de m s e r c h a m a d a s d e fo r a d a t a s k r w J )
E s t a s o p e r a çMe s p r e c i s a m s e r do t i p o e n t r y p o r qu e e l a s a tu a l i z a m a v a r i áv e l # r e a d e r s
V e r s ã o 3
É u m a m o d i f i c a ção d a v e r s ão a n te D o r
, qu e dá p r i o r i d a de p a r a o s w r i t e r s A d i fe r e n ça e s tá n a
c o d i f i c a ção d o l o o p i n f i n i t o , de n t r o d o c ód ig o d a t a s k , q u e p a s s a a s e r o s e g u i n t e
1 o o p
s e l e c t
w h e n w r i t e r ' c o u n t = O = > a c c e p t s t a r t r e a d do
# r e a d e r s - # r e a de r s + lL 
,
e n d
o r
a c c e p t E n d r e a d d o # r e a de r s = # r e a d e r s 1 e n d
o r
w h e n # r e a d e r s - 0 = > a c c e p t w r i l e r (n e w x i n i n t e g e r ) d o
Sha r e d x - n e w J
e n d
l o o p
s e l e c t
a c c e p t s t a r t r e a d d o
# r e a d e r s = # r e a d e r s+\
e n d
; i/
'
e l s e e x i t
<\ ; , 1 e n d s e l e c t
l i , : ' e n d l o o p
e n d s e l e c t
e n d l o o p
N o l o o p , q u e é e x e c u t a do i n de fi n ida m e n te
, 
a p r i m e i r a g u a r da te s t a s e o v a lo r 
de
w r i t e ' c o u n t (i s to é , o n ú m e r o de p r o c e s s o s b l o qu e a do s à e s pe r a de r e n de z v o u s n a e n t ry w r it e) 
é
z e r o C a s o a f i r m a t i v o
, 
u m s t a r t r e a d é a c e i to En qu a n to n ao e x i s t i r p r o c e s s o w Dte r à e
s pe r a ,
m a i s p r o c e s s o s r e a d e r s p o de m in i c i a r s u a s l e i t u r a s O s e Bu n do a c c ep t (s e m gu a r da ) de te r ï ï
ún a
q u e a c h a m a d a e n d j e a t t s ej a s e m p r e a c e i t a Qu a n d o # r ader s é r e du z i do a z e r o e e x i s te a lgu m
w r i t e r à e s p e r a n a e n t By w r i t e r , e n tao o r e n de z v o u s c o m o p r i m e i r o p r o c e s s o da f i l a é e x e
c u tado 
0 l a ço q u e v e m a s e g u i r l ib e r a t o d o s o s r e a de r s à e s p e r a n e s te m o m e n to
E x i s t e o s e g u i n t e p r o b l e m a d e p r o g r a m a ç o n o l o o p f i n a l q u e i m p le m e n ta a 
l ibe ra ç o
c o n t ín u a de r e a d e r s n o f i n a l de u m a o pe r a ç ão w r i t e r s e a c o n t e c e u m f lu x o c o n t fn
u o
de
Scanned by CamScanner
C a p f t u lo 12 R e n d e z v o u s 159
c h a m a d a s a o p r o c e d i m e n t o r e a d e r , po s s f v e l a p o s te r g a ç ão i n d e f i n id a d e p f o c e s s o s w r i t e r s I s t o
o c o r r e q u a n d o a v e l o c i d a d e d a s c h a m a d a s d e s t a r t r e a d é m a i o r q u c a v e l o c id a d e d e e x e c u ç ão
d o s a c c e p t s , n o l o o p i nt er no A c o r r e ç ão d e s t e p r o b l e m a p o d e s e r fe i t a d e m a n e i r a s i m p l e s ,
de i x a n do p r o s s e g u i r a pe n a s o s r e a d e r s q u e e s tão à e s p e r a n o m o m e n t o e m q u e a c a b a a e x e c u ç ão
d a e n t r y w r i t e r (o n ú m e r o de p r o c e s s o s é d a do pe l o v a l o r d e s 1a r 1 r e a c o u n 1 n e s s e n x »m e n t o )
E s t a t éc n i c a f o i u s a d a n a v e r s ão 1
, 
a p r e s e n t a da a n t e r i o r m e n t e
U 2 T l1r e a d s
, 
CU STjo e o v e r h e a d
0 c o n c e i t o d e t h r e a d j á f o i a p r e s e n t a do n o c a p í t u l o 3 , j u n t a m e n t e c o m a a p r e s e n t a ç ão d a s
p r i m i t i v a s f o r k , j o i n e q u i t A q u i e s t e c o n c e i t o é r e f o rç a do
A i w l e m e n t a ção de t a s k s o u p r o c e s s o s e n v o l v e u m c u s t o (p o i s o s o f t w a r e n e c e s s ár i o
t o m a o s i s t e m a m a i s c a r o ) e u m o v e r he a d (pe r d a de t e m p o d e U C P e e s p a ço de m e m ó r i a ) O
s i s t e m a o p e r a c i o n a l é o b D g a d o a m a n t e r r e g i s t r o s d e s c r i t o r e s
6 s
, 
f a z e r a l o c a ção d e m e m ó r i
c o n t r o l a r d e a d to c k s
, 
e t c O u s o d e t h r e a d s p e r m i t e d i m i n u i r o s c u s t o s a s s o c i a d o s à a d m i n i s t r a ç ão
d e p r o c e s s o s e , a o m e s m o t e m p o , a u m e n t a r o po d e r d e r e p r e s e n t a ção d o s m e s m o s , t o m a n d o o s
m a i s g e r a i s e p o d e r o s o s E s s a f o r m a d e a u m e n t a r o p o d e r d e c o m p u t a ç ão e d i m i n u i r o s c u s t o s d e
a d m i n i s t r a ç ão , a t r a v és d o u s o d e t h r e a d s , f i c a be m v i s ív e l c o n s i de r a n d o a s t a s k s d a l i n g u a g e m
A D K
C o n f o r m e j á r e f e r i d o a n te D o r m e n t e u m a t a s k e m A D A t e m a p e n a s u m a l i n h a (o u f l u x o )
d e c o n t r o l e
, q u e , p o r s i n a l , é d e n o m i n a d a t h r e a d Pa r a pe r m i t i r q u e e s s a t h r e a d p o s s a e s p e r a r n ão
d e t e r m i n i s t ic a m e n t e p o r v ár i o s r e n d e z v o u s , e x i s t e o c o m a n d o s e te c t Po r q u e n ão pe r m i t i r q u e
u m a t a s k po s s a e s t a b e l e c e r v ár i a s th r e a ds d u r a n te s u a e x e c u ção ? I s t o po d e s e r c o n s e g u i d o
a t r a v és d e u m c o m a n d o 】o r k , p o r e x e m p l o D e s s a m a n e i r a , v ár i o s a c c e p t s po d e r i a m s e r
r e a l i z a d o s s i m u l t a n e a m e n te (u m p o r t h r e a d ) e o c o m a n d o s e l e c t d e i x a r i a de s e r n e c e s s ár i o O
po de r c o m p u t a c i o n a l s e r i a a u m e n ta d o p o r q u e u m a l a s k po de D a p r e s t a r v ár i o s s e r v i ço s
s i m u l t ân e a r n e n t e
, 
c a d a u m i m p l e m e n t a d o po r u m a t h r e a d i n de pe n de n t e O l a d o n e g a t i v o é q u e
c o m i s s o
, 
o s d a d o s i nt er nos à t a s k p a s s a m a s e r c o m p a r t i l h a d o s po r v ár i a s t h r e a d s , t r a z e n do de
v o l t ao p r o b l e m a d a s c o n d içö e s de c o r r i d a (pa s s a a s e r n e c e s s ár i o o u s o d e m e c a n i s m o s d e
s i n c r o n i z a ção , t i po s e m áfo r o s , a n í v e l i nt er no , n a s t a s
ks ) 
0 o v e r he a d do SO d i m i n u fdo v i s t o q u e u m a th r e a d é m a i s f i ic i l d e a 山村 n i s t r a r 
d o q u e
u m a t a s k T o d a s a s t h r e a d s d e u l r 1a t a s k e x e c u t a m o m e s m o c ód i g o (c ód ig o d a t a s k ) . u s a m a s
m e s m a s v a r i áv e i s ( v a r i áv e i s da t a s k ) e c o m pa r t i l ha m o s m e s m o s a r q u i v o s O c u s to de
a d m i n i s t r a ção s e r e s u m e , p r a t i c a m e n te , i\ m a n u t e n ção d a s c óp
i a s d o s r e g i s t r a do r e s d a U C P p a r a
Scanned by CamScanner
: d
] 6o s i s t e m a s o pe r a c i o n a i s e P r o g r 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 CaDss i m i
c a d a 1/Br e a d
kö U m a rg u r 1ì e n t o f i n a l e de f i n i t
i v o s e r i a o s e g u i n t e : é m u i t o m a i s e c o n ôm i c o e
e f i c i e n t e i m p le m e n t a r u m c o n j u n t o d e N s e r v i ç o s a t r a v
és d e u m a ú n i c a l a s k c o m N t h r e a ds do
q u e a t r a v és d e N ta s ks i n d e p e n de n te s
12
. 
3 R e 11d e z v o u s n a l i n g u a g e m V 4
A l i n g u a g e m W i m p l e m e n t a t a s k s e r e n de z v o u z u t
i l i z a n d o u m a s i n t a x e s e m e l h a n t e à u t i l i z a da n a
l i n g u a ge m A D A A s d i fe r e n ç a s e n t r e a s t a s ks A D A e 
W s ão a p r e s e n t a d a s n e s t a s e ção
E m V 4
, 
o c o m a n d o a c c e p t é u m p o u c o m a i s ge r a l , t a n
t o n o a s p e c to s in tát i c o c o m o n o
s e m ân t i c o N a v e r d a d e , o c o m a n d o a c c e p t d e V 4 s e a p r o x
i m a d o c o m a n d o s e l e c t de A D A ,
c o n fo r m e é e x p l i c a d o a s e g u i r A fo r m a g e r a l de u m c o m a n
d o a c c e p t V 4 é a s e g u i n te
a c c e p t e n t l y n a n 1e (p l : t i p o l ; ; p N t i p o N ) [ r e t u r n s t i p o R ]
[ w h e n c o n d i t i o n ] d o c o m a n d o
s e n d o q u e o s c o m p o n e n te s e n t r e c o l c h e te s s ão o p c i o n a i s
I n f o r m a l m e n t e
, 
a s e m ân t i c a do c o m a n d o a c c ep t é a s e g u i n t e C o m o s a be m o s , u m
r e n d e z v o u s e n v o l v e d u a s 1/ t r e a d s , u m a q u e e x e c u t a u m c a t t p a r a u m a e n t r y X (de n o m in ada
c a l l e r ) e o u t r a q u e e x e c u ta u m a c c p l pa r a e s s a m e s m a e n t r y x (d e n o m i n a d a a c c ep1o r ) A
p Dm e i r a d a s t h r e a d s q u e c he g a a o s e u c o m a n d o (c a l l o u a c c ep t ) s e b l o q u e i a a t é q u e a s e gu n da
t h r e a d c he g u e a o c o m a n d o c o m p l e m e n t a r (a c c e p t o u c a l l ) c o r r e s p o n de n t e Qu a n d o a s e gu n da
1fr r e a d c he g a a o c o m a n d o c o m p l e m e n t a r , t u d o e s tá p r o n t o p a r a o r e n d e z v o u s N e s s e m o m e n to , 
a
c o n d i ção e s pe c i f i c a da n a c l áu s u l a w h e n d o a c c e p t é a v a l i a da Se e s s a c o n d ição é v e r da de i r a , 
o
r e n z v o u s é r e a l i z a do (d e f o r m a m u t u a m e n t e e x c l u s i v a )
, 
o u s e j a o c o m a n d o e s pe c i f ic a do n o
a c c e p t é e x e c u ta do Se a c o n d ição n ão é v e rd ade i r a , a U C p p a s s a p a 】n o u t r a t h r e a d d a r e a dy l ij t
A i m p l e m e n t a ção de s s a s e m ân t ic a e n v o l v e a u t i l i z a ção de u m a f i l a de e s pe r a e spe c
i a l
p o r l a s k , d e n o m i n a da ß ta d o r e n d e z v o u s E s s a f i l a é f o r m a da pe l o s pa r e s de 1h r e a d s c a l
l t p
a c c e p 1o t " q u e e s tão e s pe r a n do pa r a r e a l i z a r r e n d e z v o u s n e s s a t a s k L e m b r e q u e o s r e ï Bde > o
u s de
u m a l a s k , m e s m o q u e e n v o l v a m e n t r i e s i n de pe n de n te s
, 
de v e m s e r m u t u a m e n te e x c l u s iv o s
Is to
é
, 
n o m áx i m o , po de s e t e r u m r e n de z v o u s e m a n d a m e n to e m c a da t a s k c o m p le m e n t a n
d o o
p a r ág r a fo a n te Do r , q u a n do a c o n d iç o d a c l áu s u l a w he n é fa ls a
, 
o pa r de i h r ¬ a ds q
u e t in ha
c he g a do a o p o n t o de e n c o n t r o v a i p a r a o f i m d a Jì la d o r e n d e z v o u s da l a s k c o rr e s po n de n
t e ao
a c c e p 1o r
66 c o n fo r m e v i m o s , a c ada thr e a d de v e c o r r e i po n de r u m m i n i r e 吕 is t r o dc s c r i to r
, pa r a a r m a z e n ar o s 
v a lo res 
dos
r e g i1 t r a do r e 1 da U CP , e u m a p i lha pa r a a i c ha m a da s e r et or nos de p r o c e d i m e n t o s
Scanned by CamScanner
C a p f t u l o 12 R e n d e z v o u s 
1ó l
12 3 1 F o r m a t o d e u n i a t a s k V 4
B a s i c a m e n t e
, 
u m a t a s k V 4 t e m o s e g u i n t e f o r m a t o
t a s k n o m e i s
D e c la r a ç i ìo d e v a r iá v e i s
, 
e n t r i e s e p r o c e d u r e s
t h r e a d m a i n is
C o m a n d o
e n d n o n 1e
C o m o s e v ê
, 
t o d a t a s k W p o s s u i u m a t h r e a d de n o m i n a d a m a i n E s t a t h r e a d p o d e c r i a r
t h r e a d s f i l h a s a t r a v é s d e c o m a n do s Jo r k E s t a p o s s i b i l id a de de p r o g r a m a ç i io m u t1i t h r e a d m a i s a
d i s p o n i b i l i d a d e d o c o m a n d o a c c ep t p e r m i t e p r o g r a m a r e s p e r a s n ão de te r m i n :s t i c a s e m u m a t a s k ,
t o m a n d o d e s n e c e s s ár i a a e x i s t ên c i a de c o m a n d o s t i po s e l e c t C o m o t a l , a l i n g u a g e m V 4 n ão
i n 1p l e m e n t a o c o m a n d o s e l e c t
12 " 2 E x e m p l o s d e t a s k s V 4
N o q u e s e g u e s ão a p r e s e n t a d o s q u a t r o p r o g r a m a s e x e m p l o s c o m p l e t o s , q u e i l u s t r a m a
p r o g r a m a ção e n v o l v e n d o t a s k s , t h r e a d s e r e n d e z v o u s n a l i n g u a g e m V 4
I m p l e m e n t a ção d e m u t e x b e g i n / e n d
E s t e e x e m p l o é o m e s m o j á a p r e s e n t a d o n a s e ção 12 2 2 , a g o r a e s c r i t o d e a c o r d o c o m a s i n t a x e
d e V 4 0 e x e m p l o m o s t r a q u e é p o s s f v e l u t i l i z a r t a s k s e p r o c e s s o s e m u m m e s m o p r o g r a m a
V 4 p r o g r a m
t a s k m u l e i s
e n t r y × be g i n o e n tTy x endo
t h r e a d m a i n i s
l o o p
a c c e p t x b e g in o do n o th i n g
a c c e p t x e n do d o n o t hin g
e n d lo o p
e n d m u l e
p r o c e s s p ( i : = l t o 3 )
k : i n t e ge r
w hu e k 5 d o
m u t e x b e g in o
n l ; w r i t e ( ' p ' ) ; w D t e ( i ) : w r i te ( ' e s t á c o m o r e c u r s o
' )
m u re Xendo
k : = k + 1
e n d p r o g r a m
Scanned by CamScanner
162 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 i 
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 l im i
O p r o b 1e n 1a d o p r o d u t o r c o n s u 111i
d o r
E s t e é o v e l ho p r o b le m a d o p a r p r o d u t o r c o n s u m
i do r
, qu e te m s i d o u s a d o p a r a i l u s t r a r cada n o v o
m e c a n i s m o qu e é a p r e s e n t a d o N a v e r s ão c o m t a s
ks
, 
a s e gu i r , a s in c r o n i z a ção c o r r e t a da s thr ea ds
é g a r a n t i da p e l o u s o d e v a r i áv e i s s e m áf o r a s A t a s
k p r o d u c e r p r o du z a s e q t l ên c i a do s n úm e r os
fm p a r e s e n qu a n t o a t a s k c o n s u 1n e r u s a e s s a s e q ü ên c
i a p a r a g e r a r e i m p r i m i r a s e quên c ia do s
q u a d r a d o s do s i n t e i r o s
67
V 4 p r o g r a m
H
,
t a s k b e r i s
e n t r y p u t (m s g : i n t e g e r )
e n t f y g e t (m s g : i n t e g e r )
p l a c e a r r a y [5 ] o f i n t e g e r
e m p ty p [a c e s e m a p ho r e i n \ t 5
Jh l lJ l a c e : s e m a pho r e i n i t O
i n
, 
o u t : i n t e g e r i n i t i a l 1
/ d i n t e g e r i n i t i a l 1
t h r e a d m a i n i s
in : = l ; o u l : = l
1d = f o r k
Lf Id = m y s e lf
t he n lo o p % f i lh a r e c e b e m s g e pMe n o b u ße r
P (e m p ty p .a c e )
a c c e p t p u l (m s g : i n t e ge r ) d o p l a c e [ i n ] : = m s g
in : = ( i n m o d 5 ) + l
V f u l l p l a c e )
e n d l o o p
e l s e l o o p % m ãe r e t ir a m sg d o b r e e n t r ega
P (fi t / ' p [a c e)
a c c e p t g e t (m s g : in t e g e r ) d o n ï s g : - p ta c e [o u 1]
o u 1 : = (o u t m o d 5 ) + 1
V (e m p ty p ta c e )
e n d l o o p
e n d bu fFe r
t a s k p r o d u c e r \ s
n e x 1 i m p a r i n t e g e r in i t i a l l
k in t e g e r
th r e a d m a in i s
w h i le k < 10 do
67 Pa r t in do dc z e r o (0 1)
, 
s e fo r m o 1 s o m a n do o 1 e le m e n t o s da s r i e do s fm p ar e s (a pa r t i r do 1) , i r em o s o
bt er a st
rie
do s qu a dr a do s do s i n t e i r o e (c o n v e n ça se d i s t o ) 
Scanned by CamScanner
C a p f t u lo 12 R e n d e z v o u s 16 3
b u jï e r p tB¢(11e x t i n1par ì
n e x t i m p a r = n e x t in 1p a r + z
k = k + l
e n d pr oducer
t a s k c o n s u 1?1e r i s
q u a d i n t e g e r i n i t i a l 0
n e x t im p a r i n t e ge r
k i n te g e r
t h r e a d J?ï a in i s
w h i l e k < 10 d o
b u ße r Ge t (n e x t im p a r )
q u a d = q u a d+ n e x ï im p a r
n l ; w r i t e (q B4a d )
k = k + l
e n d c o n s u m e r
e n d p r o g r a m
Si m u l a çã o d e 11m 1 i s e m á f o r o g e n e r a l i z a d o "
O p r o g r a m a a s e g u i r i m p le m e n t a o p e r a çõ e s P P e W q u e p o d e m s e r v i s t a s c o m o ge n e r a l i z a çö e s
d a s o pe r a çõ e s P e V t r a d i c i o n a i s A o p e r a ção P P (N ) r e t i r a , d e u m a ú n i c a v e z , N b o l i t a s d o
s e m á f o r o e a o p e r a ç ão W (N ) d e v o l v e N b o l i t a s O p r o g r a m a s i m u l a u m " s e m áf i»r o
g e n e f a l i z a d o
"
c o m v a l o r i n i c i a l 5 ( i s t o é , c o m 5 b o l i t a s )
V 4 p r o g r a m
t a s k s e m a f i s
e n t r y P P (N i n t e ge r )
e n t r y W (N i n t e g e r )
i d i n t e g e r
b o l i 1a s : i n t e g e r i n i t 5
t h r e a d m a i n i s
i d = f o r k
i f i d = m y s e l f
t he n lo o p
a c c e p t p P (N \n l e ge r ) w he n N < = bo l iBa s do bo Bi t a s = bo l i ïa s N
e n d l o o p
e l s e lo o p
a c c e p t W (N \n \ e ge r ) d o bo BiBa s = bo t i ta s + N
e n d l o o p
e n d s e m M
Scanned by CamScanner
明
164 s i s t e m a s o pe r a c io n a i s c Pr o gr am 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 y Si mi
t a s k t 1 i s
k : in te ge r in i t O
t lu e a d m a i n i s
l o o p
s e m a f P P (\ )
k = k+ l
n l ; w r i t e ( ' e u
, 
id - ' )
w Dte (m ys e l f ) ; w D te ( ' p e gu e i 1 b o l i t a ' )
e x i t w h e n k = 5
e n d l o o p
e n d t 1
t a s k 12 i s
th r e a d m a i n i s
s e m a f . P P (3)
n l w r i t e ( ' e u
, 
i d - ' )
w D t e (m y s e l f ) ; w D t e ( ' p e gu e i 3 b o l i t a s ' )
h 
S 
O 
e 
l d (1 
a l W (3)
e n dp 
e 
r o 
n d t 
g r a m 
2
A e x e c u ção de s t e p r o g r a m a t e r m i n a n o t e m po 1 0 b s e r v e qu e n o t e m p o z e r o , a ta sk t 1
v a i f i c a r pe g a n d o b o l i t a s , u m a de c a da v e z , e n qu a n t o a ta s k t2 v a i p e g a r 3 b o l i t a s de u m a só v e z
C o m o só t e m 5 b o l i t a s , a l a s k 11 v a i s e b l o q u e a r N o te m p o 1, a t a s k t2 v a i l ib e r a r a s 3 bo l i t as qu e
h a v i a pe go e i s t o v a i de s b l o q u e a r a l a s k l 1
I 1 <
O p r o b l e m a d o b a r b e i r o d o r m i n h o c o
N e s t a v e r s ão
, 
a b a r be a r i a é s i m u l a da a tr a v és de u m a ún i c a t a s k
, 
i s t o é
, 
o b a r be i r o e o s c l ien
tes
s ão s i m u l a d o s p o r th r e a ds de u m a m e s m a ta s k A b a r be a Da te m 3 c a de i r a s n a s a l a de e spe ra
o
b a r be i r o de m o r a 2 u n i d a de s de t e m po p a r a r e a l i z a r u m c o r t e
, 
e o s c l i e n te s c he ga m
"
e s paqado s
"
de u m t e m po a l e a tó r i o , e n t r e 0 e 5 u n i da de s de te m po (c o m m éd ia de 2
, 
5 u t ) 
V 4p r o g r a m
t a s k ba r be r s ho p \&
k
, 
i lm e : i n t e ge r
id 1
, 
id2 : i n t e ge r
e m p ty c ha i r bo o l e a n
c ha i r s : in t e g e r i n i t i a l 3
e n t r y c l i e n t In ( l d in te ge r )
: t , f E
¡ <$ !
Scanned by CamScanner
C a p f t u lo 12 R e n d e z v o u s 16 5
p r o c e d u r e a v a i l c / ta i r o r et ur ns b o o l e a n
m u t e x b e g i n
\f c B1a i r s > O
t he n { c l za i r s : = c l za i r s 1
a v a i l c ha i r = t r u e
e l s e a v a i l c ha i r = f a l s e
m u t e x e n d
t h r e a d m a i n i s
i d 1 : = f o r k
i f id l - m y s e l f
t h e n l o o p % l o o p (s e m f i m ) d o b a r be i r o
a c c e p t c t i e n l i n ( id i n t e g e r ) d o % d o r m e s e n ão h á c l i e n t e
n l ; w D t e ( ' c l i e n t ' ) ; w r i t e ( id )
w r i t e ( a t t i m e ) ; w r i t e (c l o c kT i m e )
h o l d (2 ) ; c ha i r s : · c ha i r s + l
e n d l o o p
l o o p % lo o p d a th r e a d m a i n q u e g e r a 20 c l i e n t e s
id 2 : = f o r k
i f id 2 = m y s e l f
t h e n { e m p t y c ha i r = a v a i l c ha i r o
\f e m p ty c ha i r t h e n c l ie n t i nt i d21
q u i t
t i m e : = r a n do m (6 ) ; % t i m e é u m i n t e i r o e n t r e 0 e 5
h o l d w m e h
k = k+ l
e x i t w h e n k - 20
e n d lo o p
e n d ba r be r s ho p
e n d p r o g r a m
A e x e c u ção v a i te r m i n a r a pó s a ge r a ção do v
i g s i m o c l ie n te C o n fo r m e fo i v i s t o n a
s e çao 6 3 1 , o v a lo r d o id e n t i f i c a do r c to c kT im e , n a 
l i n gu a ge m V 4 , o te m p o a t u a l d a e x e c u çäa
O te m l »o de t r m i n o v a i v a r i a r de u m a e x e c u çäo pa r a o u
t r a
, po i s s äo u t i l i z a do s n km e r o s
a l c a t óD o s i n t e r e s s a n te o b s e r v a r q u e o b a r be i r o fi c a r á do r m i n d o (b l o q u e a do ) q u a n do te r m i n a r a
CX CC U ÇÄO
) ;
Scanned by CamScanner
i
i ' ;
166 S i s t e m a s
- o n a i s e P r o w m a ç1o 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 S s
12
. 
4 E X E R C I C l O S
E x e r c f c i o 12 1 C o m pa r e o s c o n c e i t o s de m o n i t o r e d e l a s k d a l i n g u a ge m AD A Qu a i s s o asp r i n c ip a i s s e m e l ha n ç a s e d i fe r e n ç a s
E x e r c íc i o 12 2 É c o r r e t o d iz e r q u e A D A u t i l i z a u m m e c a n i s m o de c o m u n i c a ção s ín c r o n o c o m
n o m e a ção e x p l íc i t a 7 ¡ u s t i f iqu e a r e spo s t a )
E x e r c fc i o 12 3 D u a s t a s k s p e q , e m A D A , i n te r a ge m c o m o s e gu e
 e n q ua n t o p
 ca l cu l a x1 : = e x p × l ,
 q
 ca l cu l a yl :-e x p y l
* o c o r r e u m r e n d e z v o u s du r a n t e o qu a l p c a l c u l a y 2 : = x l + y l
* e n qu a n t o p c a l c u l a x 2 : = e x p× 2 , q c a l c u l a y 3 : - y 2 + e x p y 3
 o c o r r e
 um se g u n d o r e n d e z v o u s du r an t e o qu a l p
 ca l cu l a y4 :- x 2 +y 3
E s c r e v a o c ód i g o A D A p a r a a s ta s k s p e q
E x e r c í c i o 12 4 E s c r e v a u m p r o g r a m a V 4 c o m p l e t o q u e c o n te n h a d u a s t a s k s p e q in te r a g i n do
c o m o s e g u e
 e n q u a n t o p
 i mp r i me ' A ' ,
 q
 i mp r i me ' B '
 o c o r r e um r e n d e z v ò u s du r an t e
 o qu a l p
 i mp r i me ' C'
1 e n q u a n t o p i m p r i m e ' D '
, q i m p r i m e ' E '
 o c o r r e
 um seg u n d o r e n d e z v o u s du r a n t e
 o
 qu a l p
 i mp r i me ' F ' .
E x e r c íc i o 12 5 E Sc r e v a u m a t a s k A D A c o m du a s e n t r i e s d e n o m i n a d a s p T e W q u e s i m u le m asI ; I o p e r a çõ e s p e V de u m s e m áfo r o c o m v a l o r i n i c i a l 2
E x e r c íc i o 12 6 R e s o l v a o e x e r c íc i o a n te r i o r u t i l i z a n d o a l i n gu a g e m V 4
E x e r c fc i o 12 . 7 A s e g u i r é m o s t r a da u m a t a s k V 4 c u j a f u n ção é s i m u l a r a s o pe r a çöe s n na i l c
s ig n a l de m o n i t o r e s A s i m u l a ç o e s t á c o r r e t a 7 Se n ilo e s t i v e r
, 
d ig a qu a l é o p r o b le m a e 
faça as
c o r r e çõe s n e c e s s ár i a s
t a s k w a i rJ tg n a l i s
e n t r y x w a l1o
e n t r y x s ig n a to
X bo o l e a n in i t ia l f a l s e
1d in t e ge r
t h r e a d m a i n i s
ld = fo r k
\f id - ny s e
Scanned by CamScanner
-
12 R e n d e z v o u s 
167
t he n l o o p
a c c e p t x s ig n a l o do X = t r u e
e n d l o o p
e l s e lo o p
a c c e p t x w a i t O w he n X d o X = f a l s e
e n d l o o p
e n d w a i t s ig n a l
E x e r c íc i o 12 8 F a ç a a s i m u l a ção d o s e m áf o r o g e n e r a l i z a do e m A D A
E x e r c íc i o 12 9 U m a l u n o a f i r m a q u e a o e x e c u t a r o p r o g r a m a v 4 d o b a r b e i r o d o r m i n h o c o
a p r e s e n t a d o n e s t e c a p í t u l o , l l m m e s m o c l i e n t e t e v e s e u c a be l o c o r t a d o d u a s v e z e s I s t o é
. 
o
m e s m o n ú m e r o d e c l i e n t e N a p a r e c e u e m du a s m e n s a ge n s c o n s e c u t i v a s " c l i e n t N a t t i m e T l - e
"
c l i e n t N a t t i m e T 2 " E s s e a l u n o é m e n t i r o s o o u i s s o p o de o c o r r e r ?
E x e r c f c i o 12 10 PT o g r a m e o e x e m p l o d o b a r be i r o d o r m i n h o c o e m W u s a n d o u m a t a s k
s e p a r a d a p a r a g e r a r c l i e n t e s (O p r o g r a m a v a i t e r d u a s t a s ks )
E x e r c íc i o 12 1 1 P r o g r a m e o e x e m p l o d o b a r be i r o do r m i n h o c o e m A D A
E x e r c fc i o 12 12 P r o g r a m e o e s c a l o n a do r de o p e r a çMe s e m d i s c o (a l g o r i t m o s c a n ) e m A D A
E x e r c : c i o 12 13 P r o g r a m e o e s c a l o n a do r d e o pe r a çõe s e m d i s c o e m V 4 (u s a n do t a s k s )
E x e r c íc i o 12 14 E s c r e v a u m a p r o g r a m a V 4 p a r a e n c o n t r a r o m a i o r e l e m e n t o d e u m v e t o r
.
u s a n do a (éc n i c a d a d i v i s ão e c o n q u i s t a (v e r s e ção 13 7 ) O p r o g r a m a d e v e s e r f o r m a d o po r u m a
ún ic a r a s k c u j a 1h r e a d m a in c ha m a u m a f u n ção r e c u r s i v a Es s a f u n ç o t e m d o i s a r g u m n t o s
ín d i c e i n fe Do r e fn d i c e s u pe r i o r q u e de l i m i t a m a pa r t e do v e t o r a s e r e x a m i n a d a
, 
e r e t o m a u m
v a l o r q u e é o ín d i c e do v e t o r o n de s e e n c o n t r a o m a i o r e le m e n t o Se o t a m a n ho d a pa r t e a s e r
e x a m i n ad a é m e n o r o u ig u a l a 2 , o v a l o r de r et or no é o b t i do t Dv i a l m e n te C a s o cont r ár i a
f u n ção d i v id e a p a r t e a o m e i o e c D a du a s t h r e a d s
, pa r a e n c o n t r a r o s :n d ic e s o n de e s t äo o s
m áx i m o s de s s a s p a r t e s N o s r et or nos da s f i l ha s , a f u n ç o v e r i f i c a qu a l do s do i s :n d ic e s t e m o
m a i o r v a l o r e de v o l v e e s s e v a l o r
Scanned by CamScanner
UW
16 8 Si s t e m a s O p e r a c i o 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 iy r a e A S Ca r jss im
§ J 41
B
í /
3/ , 3 i ;
BJ ì . - i 5 x i t £4 í J ( í B t J ?· ë 3 . / ji ¢ + p£ 1 . ¬ å
à J i jE28 si È L : / §I . Æ$ ¢
E t m o r e n o
a l o q u e n o h a de d u r a r 
H . B. / ì e \ B< l §/ / <} /
. b' à ì 
n i n g ú n c a r i fïo s e c o b r e
s o n a n u n c i o s d e u n pe s a r
ì
.j : G. ' ( ; þ ?U /H 1 < U ' H \ / w 会 N y $¬;
: t i<;
B|
. 
M e d u r a r á m i e n t r as v i v a } _/ §ì eî j / }) Jg Q: t / ! ïi z * / B £ , 1 AÝ Ý. 2 f < & j m ! EX . !
"
j a m á1 h e de a l z a r e l v u e l o J· . "v = > . B d . ' '
q u i e n n o n a c e p a r a e l c i e lo
d e b a l de e s q u e m i r e a r r i b a
: ï Y s u p l i c o a c u a n t o s m e o ig a n
q u e m e p e r m i t a n d e c i r
q u e a l d e c id i r m e a v e n i r
n o s ó lo j u e po r c a n t a r ,
s i n ó p o r q u e t e n go a m ás
o t r o d e b e f q u e c u m p l i r
+ l
H