A maior rede de estudos do Brasil

Grátis
35 pág.
Sistemas Operacionais e Programação Concorrente - Anexos

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

i s t e m o s o p e r a d o r e s a r i t m é t i c o s * * e m e n o s u n á r i o
E m u m a e x p r e s s ã o l óg i c a , s ão pe r m i t i d o s a p e n a s o p e r a d o r e s l óg i c o s e r e l a c i o n a i s (n ilo s ão
a d m i t i d o s o p e r a d o r e s a r i t m é t i c o s ) Po r e x e m p l o , a e x p r e s s ão l ó g i c a d o c o m a n d o " i f (i + j ) > 2
t he n " é in v ál id a (n e s t e c a s o , a s o lu ção é f a z e r " k : = i+ j ; i f k > 2 t he n " )
N ão h á p r e c e d ên c i a e n t r e o s o pe r a do r e s a n d e o r Se a o r de m d e a v a l i a ção d e s e j a d a n ão é
" d a e s q u e r d a p a r a a d i r e i t a
"
, 
a m e s m a de v e s e r f o r ç a da pe l o l I s o d e p a r ên t e s e s
A l i n g u a g e m o f e r e c e a i n d a a s s e g u i n t e s j u n çõ e s p r é d e f i n i da s
 e mp t y ( Q ) · g e t l d ( Pr oc e s s Na me )
 c o u n t ( Q ) · r an d om ( K )
1 m y s e l f · c l o c k T i m e
A
. 
1
. 
7 C h a m a d a s d e p r o c e d i m e n t o s e :n d i c e s d e a r r a y s
N ão e x i s t e c o m a n d o Ga l t A c ha m a d a de u m p r o c e di m e n t o é f e i t a e s c r e v e n do s e u n o m e s e gu ido
do s a r g u m e n t o s e n t r e p a r ên te s e s Se o p r o c e d i m e n t o é i nt er no a a lg u m b l o c o (m o n i t o r o u t a s k) ,
e n t ão o n o m e de v e s e r p r e f ix a d o p e l o n o m e do b l o c o Po r e x e m p l o , p a r a c h a m a r o p r o c e d i m e n t o
p r o c d o m o n i t o r m o n c o m a r g u m e n t o s a 0 e a 2 , o c o m a n d o de v e s e r " m o n p r o c (a l , a 27 '
7 9 0 p r o c e s s o p o d e s e r ide n t i f i c a do pe l o s e u n o m e o u pe lo s e u n k m e r o ún i c o
Scanned by CamScanner
A n e x o A A L i n g u a g e m V a l e 4 2 2 1
O b s e r v a ç o i m p o r t a n t e
N a c h a m a d a d e u m p r o c e d i m e n t o
, 
o s a r g u m e n t o s d e v e m s e r v a r i áv e i s s i m p le s (n ão i n d c x a d a s )
s e p a r a ção d o s a r g u m e n t o s é p o r " "
' " ' N o c a b e ça l ho (de c la r a ç ão ) d o p r o c e d i - t o a
R e s t Dç ão s e m e l h a n t e s e a p l i c a a o s ín d i c e s do s a r r a y s E s t e s , a lém de s e r e m v a r i áv e i s
s i r n p l e s o u c o n s t a n t e s
, 
d e v e m s e r d o t i p o i n t e i r o
E n f a t i z a n d o
, 
u m a r gu m e n t o o u u m ín di c e de a r r a y n ão p o d e s e r e x p r e s s ão n e m v a r i áv e l
i n d e x a d a (r e f e r ên c i a a e l e m e n t o d e a r r a y ) C o n t u do
, p a r a a s p Dm i t i v a s e f u n ç õ e s p r é d e f i n i d a s
(P
, 
V
, 
w a i t
, 
in s e r t
, 
c o u n t
, 
e t c )
, 
n ão h á p r o b l e m a e m s e u t i l i z a r e l e m e n t o s d e a r r a y p o r e x e m p l o ,
o c o m a n d o i n s e r t (m y s e l j , j ì la [ i ] ) é v ál i do
A
. 
2 A s e m â n t i c a i n f o r m a l d a l i n g u a g e m V 4
E s t a s e ç ão d e s c r e v e a s e m ân t i c a d o s c o m a n do s V 4
, 
b e m c o m o o s i g n i f i c a d o d a s v a r i á v e i s e
f u n çõ e s p r é d e ' n id a s n o s i s t e m a
V a r = E A
É o t r a d i c i o n a l c o m a n d o d e a t r i b u ição N o c a s o d e V a r s e r b o o 1e a n a
, 
o l a d o d i r e i t o t e m q u e s e r
u m a e x p r e s s ão b o o l e a n a
i f E L t h e n C
É o t r a d i c i o n a l c o m a n d o c o n d i c i o n a l
, 
s e m a c l áu s u l a e ts e
i f E r Th e n C 1 e l s e C z
É o c o m a n d o c o n d i c i o n a l n a s u a f o r m a c o m p le t a
w h i l e E r Do C
É o t r a d i c i o n a l c o m a n d o i te r a t i v o
d o f o r e v e r C
R e pe t e o c o m a n d o C i n d e f i n id a m e n t e (c i c lo i n f i n i to )
l o o p C 1 C 1 ; . ; C
. 
e n d l o o p
T a m b ém r e p e t e o s c o m a n d o s i n d e f i n id a m e n te . M a s p e r m i t e q u e s e e s pe c i f iq u e s a fd a s d o l o o p
a t r a v s d e c o m a n d o s e x i t o u e x i t w h e n E L 
ao
1o C o m a n d o s e x i t s ó p o d e m s e r u s a d o s d e n t r o de c o m a n do s l o o p
Scanned by CamScanner
222 Si s t e m a s o pe r a c io n a i s e p r o g r a m a çäo C o n c o r
T c 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 Ca r i s s i m i
É o t r a d i c i o n a l c o m a n d o c o m p o s t o o u b lo c o de c o m a n d o s A s e q u ên c i a d e
l i m i t a d a pe la s c ha v e s
é c o n s i d e r a d a c o m o u m ú n i c o c o m a n d o
r e a d (X )
A g u a r d a q u e o u s u ár i o e s c r e v a n o s e u te r m in a l u m v a l o r , q u e 
de v e s e r c o n d iz e n t e c o m o t i po da
v a r i áv e l x o v a l o r l i d o é a t r ib u íd o à v a r i áv e l x , q u e po de s e r in d e x a
d a
w D t e (X )
E s c r e v e o v a l o r de X n o v íde o d o t e r m i n a l do u s u ár i o X p o de s e r u m a 
c o n s t a n t e , u m a v a r i áv e l
s i n 】p l e s , u m a v a r i áv e l i n de x a da o u u m s t r in g e n t r e a pó s t r o f e s
t a b (K )
E s c r e v e K e s p a ço s e m b r a n c o , o n d e K é u m a c o n s t a n te i n te i r a
n l
M u d a a i m p r e s s ão p a r a u m a n o v a l i n h a
n o t h i n g
F a z n a da (c o r r e s po n de a u m " n o o pe r a t i o n ' )
m u t e x b e gi n C 1 ; C z ; ; C n : m u t e x e n d
U m p r o c e s s o s ó e n t r a n u m t r e c
ho d e l i m i t a d o pe l o p a r m u 1e x be g i n / m u t e x e n d s e n e n h u m o u tr o
p r o c e s s o e s t á e x e c u t a n
do e m u m o u t r o t r e c h o de l i m i t a d o de s s a m a n e i r a I s t o é , o pD m e i r o
p r o c e s s o q u e e n t r a n u m 
t r e c h o c r i t i c o tr a n c a a e n t r a da do s d e m a i s e m o u t r o s t r e c ho s c r i t i c o s N a
v e f d a d e , o s c o r n a n do s m u l e x be g
in e m u 1e x e n d n ão fo r m a m u m a e s tr u t u r a s i n t át ic a ( i s to é , n o
p r e c i s a m e s t a r c a s a do s , c
o m o s e f o s s e m u m a b r e e u m fe c ha p a r ên t e s e s ) El e s s ao c o m a n do s
i n d e pe n d e n t e s
l o c k
É s i n ô n i m o d e m u t e x b e g in O p r i m e i r o p r o c e s s o q u e e x e c u t a e s t e c o m a n do pa s s a e t r a ï 1c a a
p a s s a g e m (c ha v e i a a fe c ha du r a ) p a r a o s de m a i s T o d o s o s o u t r o s p r o c e s s o s q u e e x e c u ta r e m 
l o c k
f ic a r äo b l o q u e a do s
u 1ü o c k
É s i n ö n i m o de m u t e x e n d D e i x a pa s s a r (de s b lo q u e i a ) o p r i m e i r o p r o c e s s o d a f i l a de p r o c e s s o s
q u e e s t ão b l o q u e a d o s p o r t e r e m e x e c u
t a do a n te s u m l o c k (e n q u a n t o a f e c ha d u r a e s t a v a t r a n c a da ) 
Se a f i l a e s t á v a z i a , a f e c h a d u r a de s t r a n c a da ( i s to , é de i x a d a a be r t a )
Scanned by CamScanner
A n e x o A A L i n _ V a le 4 223
i n s e r t ( id
, 
Q )
I n s e r e o e le m e n t o i d n o f ì m d a f i l a Q O p r i m e i r o a rg u m e n t o po de s e r q u a l q u e r v a l o r i n t e i r o ,
e m b o r a , n o r m a l m e n t e , s e j a o n ú m e r o de i de n t i f i c a ção de u m p r o c e s s o
i n s e r t (i d
,