UM ESTUDO DE AMBIENTES DE PROGRAMAÇnO D I S T R I B U I D A : PROPOSTA DE EXTENSOES PARA MODULA-2
L i d l a M l c a e l a S e g r e
TESE SUBMETIDA A O CORPO DOCENTE DA COORDENAÇAO DOS PROGRAMAS DE
P6S-GRADUAÇnO DE ENGENHARIA DA U N I V E R S I D A D E FEDERAL DO R I O DE J A N E I R O COMO PARTE DOS R E O U I S I T O S NEGESSdRIOS PARA A OBTENÇflO DO GRAU DE DOUTOR EM C I E N C I A S ( D . S c . 1 EM ENGENHARIA DE SISTEMAS E COMPUTAÇnO. A p r o v a d a p o r : P r o f . M i c h a e l A . S t a n t o n ~ r d f a . S u e l i 8 . T e l x e l r a M e n d e s P r o f . C l a d d i o K i r n e r R I O DE J A N E I R O , R J
-
B R A Ç I L DEZEMBRO DE 1987S E G R E , L I D I A M I C A E L A Um e s t u d o d e A m b i e n t e s d e P r o g r a m a ç % o D l s t r i b u i d a : P r o p o s t a d e e x t e n s õ e s p a r a M o d u l a - 2 [ R i o d e J a n e i r o 1 1 9 8 7 . X V I I I , 3 3 8 P . , 2 9 , 7 c m ( C O P P E / U F R J , D . S c . , E n g e n h a r i a d e S i s t e m a s e C o m p u t a ç ã o ( 1 9 8 7 ) . T e s e
-
U n l v e r s i d a d e F e d e r a l d o R i o d e J a n e i r o , C O P P E . 1 . S I s t e m a s D i s t r l b u l d o s i . C O P P E / U F R J I I . T l t u l o ( s é r i e ) .E s t a t e s e
6
d e d i c a d a-
a R o d r i g o , L u c i a n oAGRADECIMENTOS Ao P r o f e s s o r M i c h a e l A . S t a n t o n , p e l a o r i e n t a ç ã o , i n c e n t i v o e a p o i o d u r a n t e o d e s e n v o l v i m e n t o d e s t e t r a b a l h o . h P r o f e s s o r a S u e l i M e n d e s , p e l a co-orientação, mas m a i s e s p e c i a l m e n t e p e l o s e u i n c e n t i v o e a p o i o e m o c i o n a l . Ao P r o f e s s o r C l a u d i o K i r n e r , p e l o c a m i n h o a n d a d o j u n t o s n o i n l c l o d e n o s s a s t e s e s . A L u i s F e r n a n d o d e M e l o Campos, E s t h e r F r a n k e l e V a n i a D i d i e r q u e me a j u d a r a m a c r e s c e r como p e s s o a n e s t e s d l t i m o s a n o s .
h
S u s a n a S c h e i m b e r g d e M a k l e r , G r a c i e l a G a l i z i a d e T a g l i a f e r r i , L u i z J u l i ã o B r a g a F i l h o , Ana L u c i a C a v a l c a n t i W a n d e r l e y , A l b e r t o No4 e M i r i a m H a r q u e s q u e me a c o m p a n h a r a m d u r a n t e a l o n g a f a s e d e d e s e n v o l v l m e n t o d e s t e t r a b a l h o a p o l a n d o - me, i n c e n t i v a n d o - m e e c o n f i a n d o em m i m . b m u l t a s o u t r o s a m i g o s , q u e mesmo n ã o n o m e a n d o - o s i n d l v i d u a l m e n t e , n ã o q u e r d l z e r q u e t e n h a m s i d o e s q u e c i d o s . A o s m e u s f i l h o s p e l a p a c i e n c i a e c o m p r e e n s B o q u e t i v e r a m , e As m i n h a s e m p r e g a d a s e a m i g a s , M a r i a d o ~ a s è i m e n t o e M a r i a L u c i a B o r g e s P i n t o , q u e m u i t a s v e z e s me s u b s t i t u i r a m n a s m i n h a s o b r i g a ç 8 e s d e mãe e d o n a d e c a s a , a l d m d o c a r i n h o e a p o i o q u e me b r i n d a r a m . Ao P r o g r a m a d e E n g e n h a r i a d e S i s t e m a s e C o m p u t a ç B o p e l a l i b e r a ç ã o c o n c e d i d a , e a o s m e u s c o l e g a s d e t r a b a l h o q u e me I n c e n t i v a r a m e me s u b s t i t u i r a m em a l g u m a s t a r e f a s d u r a n t e o p e r f o d o m a i s i n t e n s o d e s t e t r a b a l h o . A o s a l u n o s q u e t r a b a l h a r a m j u n t o c o m i g o , V a n i s e V e t r o m i l l e , N a n c l L a g e s e N e l s o n d a S i l v a .A U F R J , F I N E P , E m b r a t e l e P U C / R J q u e a p o i a r a m e s t e t r a b a l h o .
A R u t h M a r i a d e B a r r o s F a g u n d e s d e S o u s a p e l a p a c i ê n c l a e d e d i c a ç ã o n a d a t i l o g r a f i a .
Resumo d e T e s e a p r e s e n t a d a
h
COPPE/UFRJ como p a r t e d o s r e q u i s i t o s n e c e s s d r i o s p a r a o b t e n ç ã o d o g r a u d e D o u t o r d e C i ê n c i a s ( D . S c . )UM ESTUDO DE AMBIENTES DE PROGRAMAÇIO D I S T R I B U I D A : PROPOSTA DE EXTENSOES PARA MODULA-2
L i d i a M i c , a e l a S e g r e D e z e m b r o , 1987 O r i e n t a d o r : M i c h a e l A n t h o n y S t a n t o n P r o g r a m a : E n g e n h a r i a d e S i s t e m a s e C o m p u t a ç ã o E s t e t r a b a l h o d e s c r e v e a d e f i n i ç a o e i m p l e m e n t a ç ã o d e um a m b i e n t e d e p r o g r a m a ç ã o d i s t r i b u i d a , b a s e a d o numa l i n g u a g e m d e p r o g r a m a ç ã o a m p l a m e n t e d i v u l g a d a e a c e i t a . P a r a i s t o f o r a m i d e n t i f i c a d a s a s c a r a c t e r f s t i c a s m a i s i m p o r t a n t e s d o s S i s t e m a s d i s t r i b u i d o s , g r a n d e s e m o d u l a r e s , e f o i p o s s f v e l r e c o n h e c e r o s d o i s n f v e i s h a b i t u a i s d e p r o g r a m a ç ã o : p r o g r a m a ç ã o em p e q u e n a e s c a l a ( u t l l l z a n d o uma I i n g u a g e m c h a m a d a d e L P P ) , d o s c o m p o n e n t e s b d s i c o s d o s i s t e m a , e p r o g r a m a ç f i o em l a r g a e s c a l a o n d e 4 d e f i n i d a a c o n f i g u r a ç ã o d o s i s t e m a , a t r a v d s d a e s p e c i f i c a ç ã o d o s c o m p o n e n t e s q u e o c o n s t i t u e m e d e s u a s l i g a ç õ e s . E s t a d e f i n i ç ã o p o d e s e r f e i t a d e m a n e i r a e s t t i t i c a o u dinamita, a t r a v d s d e uma l i n g u a g e m s e p a r a d a ( c h a m a d a d e L P L ) o u n ã o . F o i e s c o l h i d a como l i n g u a g e m b a s e M o d u l a - 2 e , d e p o i s d e um e s t u d o d e t a l h a d o d a s c a r a c t e r f s t i c a s d a s LPP, d e c l d i u - s e a c r e s c e n t a r , como 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 e n t r e p r o c e s s o s , c h a m a d a r e m o t a d e p r o c e d i m e n t o (RPC) d e f o r m a t r a n s p a r e n t e a o u s u d r i o . S ã o a n a l i s a d a s a s p r o p r i e d a d e s n e c e s s á r i a s p a r a a f a s e d e
c o n f i g u r a ç ã o , e s ã o l e v a n t a d o s o s p r o b l e m a s q u e p r e c i s a m s e r t r a t a d o s t a n t o n a c o n f i g u r a ç B o e s t á t i c a como d i n t i m i c a . A f i m d e c o m p l e t a r o a m b i e n t e d e p r o g r a m a ç ã o d i s t r i b u i d a , f o i d e f i n i d a uma l i n g u a g e m s e p a r a d a d e c o n f i g u r a ç ã o e s t d t l c a , a s e r u t i l i z a d a com a l i n g u a g e m M o d u l a - 2 e s t e n d i d a . S u a d e f l n i ç 8 0 e i m p l e m e n t a ç % o f o r a m f e l t a s t e n d o em v i s t a uma f u t u r a a d a p t a ç ã o p a r a c o n f i g u r a ç ã o dinamita. A c o m p a r a ç ã o d e s t a p r o p o s t a com v á r i a s o u t r a s e n c o n t r a d a s n a l i t e r a t u r a p e r m i t e p o r um l a d o m o s t r a r o s e u p o t e n c i a l , e p o r o u t r o i n d i c a r o s p a s s o s f u t u r o s a s e r e m r e a l i z a d o s p a r a o b t e r um a m b i e n t e d e p r o g r a m a ç ã o d i s t r i b u i d a r o b u s t o e c o n f i á v e i .
A b s t r a c t o f T h e s i s p r e s e n t e d t o COPPE/UFRJ a s p a r t i a 1 f u l f i l l m e n t o f t h e r e q u i r e m e n t s f o r t h e d e g r e e o f D o c t o r o f S c i e n c e ( D . S c . )
A STUDY OF D I S T R I B U T E D PROGRBMMING ENVIRONMENTS: E X T E N S I O N PROPOSAL FOR MODULA-2
L i d i a M i c a e l a S e g r e D e c e m b e r , 1987 A d v i s e r : M i c h a e l A n t h o n y S t a n t o n D e p a r t m e n t : E n g e n h a r i a d e S i s t e m a s e C o m p u t a ç ã o T h i s w o r k d e s c r i b e s t h e d e f i n i t i o n a n d i m p l e m e n t a t i o n o f a d i s t r i b u t e d p r o g r a m m i n g e n v i r o n m e n t , b a s e d o n a w e l l - k n o w n a n d a c c e p t e d p r o g r a m m i n g l a n g u a g e . W i t h t h i s e n d i n m i n d , t h e m a l n f e a t u r e s o f l a r g e , m o d u l a r , d l s t r i b u t e d s y s t e m s a r e l d e n t i f i e d , a n d , t h e t w o u s u a l l e v e l s o f p r o g r a m m i n g w e r e r e c o g n i z e d :
p r o g r a m m l n g - i n - t h e - s m a l l ,
u s l n g a l a n g u a g e ( L P S ) t o p r o g r a m b a s i c c o m p o n e n t s o f t h e s y s t e m , a n d p r o g r a m m i n g - i n - t h e - l a r g e , w h e r e s y s t e m c o n f l g u r a t i o n i s d e f i n e d , p o s s l b l y t h r o u g h a s e p a r a t e l a n g u a g e ( L P L ) , s p e c i f y i n g i t s c o m p o n e n t s a n d t h e l i n k s a m o n g t h e m . T h i s s p e c i f i c a t i o n c a n b e d o n e e i t h e r d y n a m i c a l i y o r s t a t i c a l i y . M o d u l a - 2 w a s c h o s e n a s t h e b a s e l a n g u a g e , a n d a f t e r a d e t a i l e d s t u d y o f LPS f e a t u r e s o f s e v e r a 1 l a n g u a g e s , i t w a s d e c i d e d t o a d d t o i t a t r a n s p a r e n t r e m o t e p r o c e d u r e c a l 1 ( R P C ) m e c h a n i s m f o r p r o c e s s c o m m u n i c a t i o n a n d s y n c h r o n i z a t i o n . An a n a l y s i s i s a l s o m a d e o f t h o s e p r o p e r t i e s n e e d e d f o r c o n f i g u r i n g a s y s t e m , i d e n t l f y i n g t h e p r o b l e m s t h a t n e e d t o b e t a c k l e d f o r s t a t i c a s w e l l a s f o r d y n a m i c c o n f i g u r a t i o n .f n o r d e r t o c o m p l e t e t h e d i s t r i b u t e d p r o g r a m r n i n g e n v l r o n m e n t , a c o n f i g u r a t i o n l a n g u a g e i s d e f i n e d , t o b e u s e d t o g e t h e r w i t h e x t e n d e d M o d u l a - 2 . I t s d e f i n i t i o n a n d i m p l - e m e n t a t i o n w e r e p e r f o r m e d w h i t s t b e a r i n g i n m i n d f u t u r e e x t e n s i o n s t o c o p e w i t h d y n a m l c c o n f i g u r a t i o n . An e x t e n s l v e c o m p a r i s o n was a l s o made b e t w e e n t h e . p r e s e n t w o r k a n d o t h e r s d e s c r i b e d i n t h e l i t e r a t u r e , w i t h t h e a i m o f s h o w i n g i t s p o t e n t i a l a s
well
a s s u g g e s t i n g f u r t h e r s t e p s t o w a r d s t h e b u i l d i n g o f r o b u s t a n d r e l i a b l e d i s t r i b u t e d p r o g r a m m i n g e n v f r o n m e n t .X I N D I CE C A P I T U L O I I . S I S T E M A S D I S T R I B U I D O S
. . .
9 11.1 . A l g u m a s D e f i n i ç õ e s...
10. . .
11.2 . T i p o s d e S i s t e m a s D i s t r i b u i d o s 1 3 1 1 . 3 . S i s t e m a s O p e r a c i o n a i s D i s t r i b u i d o s. . .
1 6 11.4.
C a r a c t e r f s t i c a s d e S l s t e m a s D i s t r i b u i d o s. . .
1 8 1 1 . 4 . 1-
T r a n s p a r ê n c i a...
1 8 1 1 . 4 . 2-
Flexibilidade. . .
2 1 1 1 . 4 . 3-
M o d u l a r i d a d e...
23 1 1 . 4 . 4 . C o n f i a b l l í d a d e e T o l e r â n c i a a F a l h a s...
27...
11.5-
E s t r u t u r a ç ã o M o d u l a r d e P r o g r a m a s D i s t r i b u i d o s 3 2 1 1 . 6.
R e q u i s i t o s d e L i n g u a g e n s p a r a P r o g r a m a ç ã o d e S i s t e m a s D i s t r i b u i d o s. . .
3 8 1 1 . 6 . 1 . T i p o s e Facilidades d e A b s t r a ç ã o. . .
4 0 1 1 . 6 . 2-
C o m p i l a ç ã o s e p a r a d a...
9 1 1 1 . 6 . 3.
M o d u l a r l d a d e...
42 1 1 . 6 . 4-
C o n c o r r ê n c i a. . .
4 2 1 1 . 6 . 5 . C o n f i g u r a ç ã o...
4 4 1 1 . 6 . 6 . P o l f t l c a s d e G e r e n c i a m e n t o...
4 5 1 1 . 6 . 7.
E x e c u ç ã o n ã o d e t e r m i n f s t i c a...
4 6 1 1 . 6 . 8-
S u p o r t e d e T e m p o R e a l...
4 6 1 1 . 8 . 9-
T r a t a m e n t o d e E x c e ç õ e s. . .
47 1 1 . 6 . 1 0-
S u p o r t e p a r a V e r i f i c a ç ã o d e P r o g r a m a. . .
4 7 C A P f T U L O I I I . PROGRAMAÇnO EM PEQUENA ESCALA: MECANISMOS...
DE COMUNICACAO E SINCRONIZAÇAO 4 8...
1 1 1 . 1.
M e c a n i s m o s d e Comunicação e Sincronização 5 0 1 1 1 . 1 . 1 . M e c a n l s m o s A s s f n c r o n o s...
5 1 1 1 1 . 1 . 1 . 1 . E m i s s ã o A s s ( n c r 0 n a...
51 1 1 1 . 1 . 1 . 2 . R e c e p ç i o A s s l n c r o n a...
54. . .
1 1 1 . 1 . 1 . 3-
O u t r a s P r i m i t i v a s A s s f n c r o n a s 5 4 1 1 1 . 1 . 1 . 4-
A l g u m a s C o n s i d e r a ç õ e s s o b r e a s P o s s f v e i s A p l i c a ç õ e s...
55...
1 1 1 . 1 . 2 . M e c a n i s m o s S I n c r o n o s 5 6. . .
1 1 1 . 1 . 2 . 1-
D e s c r i ç ã o d o s D i f e r e n t e s T i p o s 5 6 1 1 1 . 1 . 2 . 2 . C o m p a r a ç ã o d o s D i f e r e n t e s T i p o s...
5 9 1 1 1 . 1 . 2 . 3-
V a n t a g e n s e D e s v a n t a g e n s d o s M e c a n i s m o s S f n c r o n o s. . .
6 1 1 1 1 . 1 . 3-
F o r m a s d e I d e n t l f l c a ç ã o e E n d e r e ç a m e n t o n o s M e c a n i s m o s d e Comunicação e S t n c r o n i z a ç ã o...
6 2 1 1 1 . 1 . 3 . 1-
I d e n t l f i c a ç 8 0 I m p l f c i t a. . .
6 3 1 1 1 . 1 . 3 . 2-
I d e n t l f i c a ç 8 0 E x p l f c l t a. . .
6 3 1 1 1 . 1 . 3 . 3-
P r i m i t i v a s s e m I d e n t l f i c a ç ã o...
6 5 1 1 1 . 1 . 3 . 4-
I d e n t i f i c a ç ã o S i m d t r i c a e A s s i m d t r i c a..
6 5 1 1 1 . 1 . 3 . 5-
F o r m a s d e C o m u n i c a ç a o e n t r e P r o c e s s o s..
6 7 1 1 1 . 1 . 4-
P o r t a s...
6 9 1 1 1 . 1 . 4 . 1-
A l g u m a s C a r a c t e r f s t i c a s B B s i c a s d a s. . .
P o r t a s 7 0 1 1 1 . 1 . 4 . 1 . 1-
N o m e a ç ã o. . .
7 0 1 1 1 . 1 . 4 . 1 . 2-
T l p o s e F u n ç õ e s d a s P o r t a s. . .
7 3 1 1 1 . 1 . 4 . 1 . 3-
L l g a ç õ e s. . .
75 1 1 1 . 1 . 4 . 1 . 4-
P r i m i t i v a s d e Transmiss?io e R e c e p ç ã o...
7 7 1 1 1 . 1 . 4 . 2-
S l s t e m a s D i n a m l c o s...
7 8 1 1 1 . 1 . 4 . 3-
U s o d e P o r t a s em M o d e l o s E s t r u t u r a d o s. .
7 9 1 1 1 . 1 . 4 . 4-
C o n s i d e r a ç õ e s F i n a i s...
8 6 111.2-
A n á l i s e d a D u a l i d a d e d a s F e r r a m e n t a s d e C o m u n i c a ç i i o e S i n c r o n i z a ç ã o U t i l i z a d a s n a C o n s t r u ç i i o d e P r o g r a m a s C o n c o r r e n t e s...
8 8 1 1 1 . 2 . 1-
D e s c r l c ã o d o s M o d e l o s A d o t a d o s. . .
8 8 111.2.2-
D u a l i d a d e d o s M o d e l o s. . .
9 3 1 1 1 . 2 . 3-
D i s c u s s 6 e s s o b r e o P r i n c f p i o d e D u a l i d a d e...
95 111.2.4-
E x t e n s ã o d o P r l n c f p i o d e D u a l i d a d e p a r a S i s t e m a s D i s t r i b u i d o s. . .
9 8 C A P f T U L O I V . MODELO A SER ACRESCENTADO A MODULA-2 PARAPROGRAMAC&O EM PEQUENA ESCALA
...
1 0 3I V . l . l
.
A n á l l s e d e o u t r o s M o d e l o s p a r a S i s t e m a s...
D i s t r i b u i d o s 1 0 3. . .
I V . 1 . 2-
A p r e s e n t a ç ã o S u c i n t a d a N o s s a E s c o l h a 1 0 5. . . .
I V . 1 . 3 . u s o d e RPC em D i f e r e n t e s N f v e i s e F o r m a s 1 0 8 I V . 2-
N 6 c l e o s d e M u l t i p r o g r a m a ç ã o...
1 1 2 I V . 2 . 1 . Introduçi?io...
1 1 2 IV.2.2.
C a r a c t e r l s t l c a s P a r a I m p l e m e n t a ç % o d e...
P r o c e s s o s 1 1 4 I V . 2 . 2 . 1-
M e c a n l s m o s O f e r e c i d o s p e l a L i n g u a g e m. . .
1 1 4 I V . 2 . 2 . 2-
M d d u l o N u c l e o H o l t. . .
1 1 6 l V . 2 . 2 . 3-
M d d u l o d e P r o g r a m a P r o d u t o r G o n s u m i d o r. .
1 1 8 I V . 2 . 2 . 4-
M d d u l o N u c l e o T r o c a M e n s g. . .
1 1 9 I V . 2 . 3-
C a r a c t e r f s t i c a s p a r a o T r a t a m e n t o d e E n t r a d a / S a l d a e d e I n t e r r u p ç õ e s...
1 2 2. . .
I V . 2 . 3 . 1 . Mecanismos O f e r e c i d o s p e l a L i n g u a g e m 1 2 2...
I V . 2 . 3 . 2-
M d d u l o F a t i a d e T e m p o 1 2 4 1 V . 2 . 4-
N d c l e o d e M u l t i p r o g r a m a ç ã o p a r a o P r o t o c o l o d e C h a m a d a R e m o t a d e P r o c e d i m e n t o. .
1 2 5 I V . 3-
C h a m a d a R e m o t a d e Procedimento...
1 2 9 I V . 3 . 1-
C a r a c t e r l s t l c a s...
1 2 9 I V . 3 . 1 . 1-
O M e c a n i s m o...
1 2 9 I V . 3 . 1 . 2-
P a s s a g e m d e P a r â m e t r o s e I n t e r f a c e s....
1 3 4 I V . 3 . 1 . 3-
S e m â n t i c a d a s C h a m a d a s. . .
1 3 6 I V . 3 . 1 . 4-
T r a t a m e n t o d e E r r o s...
1 3 9 I V . 3 . 1 . 5-
L i g a ç ã o...
1 4 2 I V . 3 . 1 . 6 . G e r ê n c i a e S e m a n t l c a d o s S e r v i d o r e s. . . .
1 4 6 I V . 3 . 1 . 7-
T r a n s p a r e n c l a...
1 5 0 I V . 3 . 1 . 8 . Consistência d e T i p o...
1 5 3 I V . 3 . 1 . 9-
C o n s i d e r a ç B e s s o b r e E f i c i ê n c i a. . .
1 5 5 1 V . 3 . 2-
A l g u n s P r o b l e m a s a i n d a n ã o R e s o l v l d o s...
1 5 9 I V . 4-
A p r e s e n t a ç a o d a P r o p o s t a d e RPC...
1 6 3 I V . 4 . 1-
D e s c r i ç ã o G e r a l d o M e c a n i s m o. . .
1 6 3 I V . 4 . 2-
S u p o r t e d e E x e c u ç ã o d e RPC. . .
1 6 8 I V . 4 . 2 . 1-
A m b l e n t e...
1 6 8 l V . 4 . 2 . 2-
P r o t o c o l o d e C o r n u n i c . a ç ã o. . .
1 6 9 l V . 4 . 2 . 3-
C o n c o r r ê n c i a...
1 7 0 I V . 4 . 2 . 4-
L i g a ç ã o...
1 7 0l V . 4 . 2 . 5
-
T r a t a m e n t o d e E x c e ç õ e s...
1 7 2...
I V . 4 . 2 . 6-
A n á l i s e C r f t i c a 172. . .
I V . 4 . 3-
D e s c r i c ã o d o G e r a d o r d e " S t u b s * 173 i V . 4 . 3 . 1-
I n t r o d u ç ã o...
1 7 3 l V . 4 . 3 . 2-
O b t e n ç ã o d o s D a d o s U t i l i z a d o s p e l o G e r a d o r. . .
1 7 4 l V . 4 . 3 . 3-
G e r a ç ã o d o " S t u b n d o C l i e n t e...
1 7 4 I V . 4 . 3 . 4-
G e r a ç % o d o " S t u b n d o S e r v i d o r. . .
1 7 6 l V . 4 . 3 . 5-
E x e m p l o I l u s t r a t l v o d a I m p l e m e n t a ç ã o d e RPC...
1 7 6C A P I T U L O V
.
CONCEITOS G E R A I S SOBRE CONFIGURAGAO...
1 8 1 V . l . I n t r o d u ç ã o...
1 8 1...
V.2 . L l n g u a g e n s d e I n t e r c o n e x ã o M o d u l a r 1 8 3 V.3 . M o d e l o d e C o n f i g u r a ç ã o...
1 8 6 V . 3 . 1 . E s p e c i f i c a ç ã o d a C o n f i g u r a ç ã o. . .
1 8 6 V . 3 . 2 . C o n f i g u r a ç ã o E s t á t i c a. . .
1 8 8 V . 3 . 3 . C o n f i g u r a c ã o Din€irnica. . .
1 9 0 V . 4 . P r o p r i e d a d e s Necessárias p a r a C o n f i g u r a ç ã o...
1 9 4 V . 4 . 1 . L i n g u a g e m d e P r o g r a m a c ã o...
1 9 4 V . 4 . 2 . L i n g u a g e m d e C o n f i g u r a ç ã o e E s p e c i f i c a ç ã o d a s M u d a n c a s...
1 9 6 V . 4 . 3 . P r o c e s s o d e V a i l d a ç t i o...
1 9 9 V . 4 . 4 . G e r e n c i a m e n t o d e C o n f i g u r a ç ã o...
2 0 0 V.4.5 . U n i d a d e d e C o n f i g u r a ç ã o e S u b s t i t u i ç ã o. . .
2 0 3 V . 4 . 5 . 1 . L l n g u a g e m C O N I C / C. . .
2 0 3 V . 4 . 5 . 2 . L i n g u a g e m ARGUS...
2 0 5 V . 5 . C o n d i ç õ e s N e c e s s á r i a s p a r a R e c o n f i g u r a ç ã o...
2 0 9 V . 5 . 1 . D i s c u s s ã o G e r a l...
2 0 9 V.5.2 . Discussão s o b r e S u b s t i t u i ç ã o B a s e a d a n a L I n g u a g e m ARGUS...
2 1 2 C A P f T U t O V i.
D E F I N I Ç Ã O E IMPLEMENTAÇAO DE UMALINGUAGEM DE CONFIGURAÇÃO PARA O A M B I E N T E DE PROGRAMAÇIO D I S T R I B U I D A
BASEADO EM MODULA-2
...
2 1 9V I . l
.
D e s c r i ç ã o d a L l n g u a g e m d e C o n f l g u r a ç a o...
2 1 9x i v V 1 . 2
.
E x e m p l o s I l u s t r a t i v o s...
2 2 8 V 1 . 2 . 1.
E x e m p l o d a E n f e r m a r i a...
2 2 8 V1.2.2.
E x e m p l o d e P r o p a g a ç g o d e I m p o r t a ç õ e s e E x p o r t a ç õ e s...
2 3 4 V 1 . 2 . 3.
E x e m p l o d e U s o d e I n s t a n c i a s d e T i p o s d e...
M d d u l o s e S u b c o n f i g u r a ç õ e s I g u a i s 2 3 8 V 1 . 2 . 4.
E x e m p l o d e U s o d e I n s t â n c i a s d e T i p o s....
D i f e r e n t e s d e M d d u l o s e S u b c o n f i g u r a ç õ e s 2 4 2 V1.2.5.
E x e m p l o d e A d m i n i s t r a d o r d e R e c u r s o s...
2 4 8 V 1 . 3.
I m p l e r n e n t a ç ã o d a L i n g u a g e m d e C o n f i g u r a ç ã o...
2 5 1 V 1 . 3 . 1-
I n t r o d u ç â o...
2 5 1 V 1 . 3 . 2 . E s t r u t u r a s d e D a d o s U t i l i z a d a s p e l o I n t e r p r e t a d o r...
2 5 3 V 1 . 3 . 2 . 1-
T a b e l a d e C o n f i g u r a ç õ e s...
2 5 3 V 1 . 3 . 2 . 2.
T a b e l a d e T i p o s d e C o n f i g u r a ç õ e s...
2 5 4 V 1 . 3 . 2 . 3-
T a b e l a d e E s t a ç õ e s L b g i c a s...
2 5 5 V 1 . 3 . 2 . 4-
T a b e l a s P e r t e n c e n t e s a o M ó d u l o d e C o n f i g u r a ç ã o...
2 5 6 V 1 . 3 . 2 . 4 . 1-
T a b e l a d e I m p o r t a ç õ e s...
2 5 6 V1.3.2.4.2-
T a b e l a d e E x p o r t a ç õ e s...
2 5 6 V t . 3 . 3-
D e s c r i ç ã o d o I n t e r p r e t a d o r...
2 5 7 V 1 . 3 . 3 . 1 . P r i m e i r a P a r t e d o I n t e r p r e t a d o r...
257 V 1 . 3 . 3 . 2-
S e g u n d a p a r t e d o I n t e r p r e t a d o r ( M d d u l o d e C o n f i g u r a ç ã o )...
2 5 8 ICAPITULO V I 1
.
COMPARAÇAO COM OUTRAS PROPOSTAS DEAMBIENTES DE PROGRAMAÇAO D I S T R I B U I D A
...
2 6 0 V I I . 1.
I n t r o d u ç ã o...
2 6 0 V 1 1 . 2 . L i n g u a g e m *MOD...
2 6 1 V 1 1 . 3.
L i n g u a g e m SR ( " S y n c h r o n i z e d R e s o u r c e s n )...
2 6 5 V11.4.
L i n g u a g e m ARGUS...
2 7 0 V 1 1 . 5.
P r o p o s t a d e A d a p t a ç ã o d e M o d u l a - 2 p a r a S i s t e m a s D i s t r i b u i d o s...
2 7 5 V 1 1 . 6.
L i n g u a g e m MESA e C/MESA...
2 8 0 V l l . 7.
M d t o d o M a s c o t 3...
2 9 2 V 1 1 . 8.
P r o j e t o CONIC...
3 0 5 V 1 1 . 9 . A l g u m a s C o n s i d e r a ç õ e s F i n a i s...
3 1 3C A P f T U L O V I I I
-
C O N C L U S O E S. . .
317I N D I C E DE F I G U R A S C A P f T U L O I I1 1 1 1 . 1
.
C o r r e s p o n d ê n c i a D e r i v a d a d o P r i n c i p i o d e D u a l i d a d e...
9 3 C A P I T U L O I V...
l V . l . D e s c r i ç ã o d o T l p o D e s c r i t o r P r o c e s s o 1 1 7...
1 V . 2.
M d d u l o d e D e f i n i ç ã o d o N u c l e o H o l t 1 1 7 I V . 3.
P r o g r a m a d o P r o d u t o r C o n s u m i d o r ( I a.
v e r s ã o )...
1 1 9 I V . 4.
D e s c r i ç ã o d o T i p o A n e l P r o c...
1 2 0 IV.5 . M b d u l o s d e D e f i n i ç ã o d o N u c l e o T r o c a M e n s g...
1 2 1 I V . 6.
P r o g r a m a d o P r o d u t o r C o n s u m i d o r ( 2 a.
v e r s ã o )...
122 I V . 7.
P r o g r a m a d o M b d u l o F a t i a d e T e m p o...
1 2 5 I V . 8.
M b d u l o d e D e f i n i ç ã o d o N ó c l e o d e M u l t i p r o g r a m a ç B o u t i l i z a d o n a I m p l e m e n t a ç ã o d e RPC...
1 2 8 I V . 9.
M e c a n i s m o d e C h a m a d a R e m o t a d e P r o c e d i m e n t o...
1 3 1 I V . 1 0.
F a l h a s P o s s f v e i s n a C o m u n i c a ç ã o e n t r e P r o c e s s o s..
1 3 7 I V . l l.
P o l f t i c a s d e A t e n d i m e n t o d e RPC...
1 4 9 IV.12.
R e s p o s t a P r e m a t u r a...
1 5 7 I V . 1 3.
C h a m a d a a t r a v é s d e um S e r v i d o r d e " 8 u f f e r s n...
1 5 8 I V . 1 4.
E s q u e m a d a C h a m a d a R e m o t a d e P r o c e d i m e n t o...
1 6 5 1V.15.
F o r m a t o d o s P a c o t e s u t i l i z a d o s n a E x e c u ç ã o d e RPC...
1 6 9 I V . 1 6.
M b d u l o d e D e f i n i c ã o d e S e r v A r q...
1 7 7 . I V . 1 7.
m b d u l o d e t m p l e m e n t a ç ã o d e S e r v A r q...
177 I V . 1 8.
M b d u l o d o C l i e n t e...
1 7 8 I V . 1 9 . " S t u b n d o C l i e n t e...
1 7 8 1 V . 2 0.
" S t u b n d o S e r v i d o r...
1 7 9 IV.21.
E s q u e m a d e E x e c u ç ã o d e RPC...
1 8 0 C A P I T U L O V V . l.
P r o c e s s o d e C o n f i g u r a ç ã o E s t d t i c a...
1 8 8 V . 2.
P r o c e s s o d e C o n f i g u r a ç t i o ~ l n a m i c a . '...
1 9 3x v i I CAPITULO V I V I . 1
.
D e f i n i ç 6 o d e D e c l a r a ç % o d e C o n f i g u r a ç ã o. . .
2 2 8 V1.2 . S i s t e m a d e C o n t r o l e d e P a c i e n t e s...
2 2 9 V 1 . 3.
D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o d o P a c i e n t e...
2 3 2 V1.4 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o d a E n f e r m e i r a. . . .
2 3 3 . V 1 . 5 . D e c l a r a ç ã o d a C o n f i g u r a ç S S o d a Enfermaria...
2 3 3 V 1 . 6 . E s q u e m a d a C o n f i g u r a ç ã o d o E x e m p l o d e F l o o r C o n f c o m C o n t r o l e E s t a t f s t i c o...
2 3 5 V 1 . 7 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o N u r s e C o n f. . .
2 3 6 V 1 . 8 . D e c l a r a ç a o d a S u b - C o n f i g u r a ç ã o C o n t r o l C o n f...
2 3 6 V 1 . 9 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o D o c t o r C o n f...
2 3 7. . .
V 1 . 1 0 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o W a r d C o n f 2 3 7 V I . l l . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç 8 0 F l o o r C o n f. . .
2 3 7 V 1 . 1 2 . E s q u e m a d a C o n f i g u r a ç ã o d o E x e m p l o d e F l o o r C o n f l. . .
2 4 0. . .
V 1 . 1 3 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o N u r s e C o n f 2 4 0 V 1 . 1 4.
D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o W a r d C o n f T...
2 4 1 V 1 . 1 5 . D e c l a r a ç ã o d a C o n f i g u r a ç ã o F l o o r C o n f l...
2 4 1 V 1 . 1 6 . E s q u e m a d a C o n f i g u r a ç ã o d o E x e m p l o d e F l o o r C o n f Z...
2 4 3 V 1 . 1 7 . D e c l a r a ç ã o d a Sub-Configuração P a t l e n t C o n f...
2 4 4 V 1 . 1 8 . D e c l a r a ç ã o d a S u b - C o n f l g u r a ç ã o N u r s e C o n f l...
2 4 5 V 1 . 1 9.
D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o N u r s e C o n f 2...
2 4 5 V 1 . 2 0 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o W a r d C o n f l...
2 4 6 V 1 . 2 1 . D e c l a r a ç ã o d a S u b - C o n f i g u r a ç ã o W a r d C o n f 2...
2 4 7 V1.22 . B e c l a r a ç a o d a C o n f i g u r a ç ã o F l o o r C o n f 2...
2 4 7 V 1 . 2 3 . E x e m p l o d o U s o d o A d m i n i s t r a d o r. . .
2 4 9 V 1 . 2 4 . E s q u e m a d a C o n f i g u r a ç ã o d o E x e m p l o d o u s o d o Administrador. . .
2 5 0 V 1 . 2 5 . E s q u e m a d a s E t a p a s q u e A n t e c e d e m a E x e c u ç 6 0 d o S i s t e m a. . .
2 5 2 V 1 . 2 6 . T a b e l a d e C o n f i g u r a ç õ e s. . .
2 5 4 V 1 . 2 7 . T a b e l a d e T i p o s d e C o n f i g u r a ç S e s...
2 5 4 V 1 . 2 8.
T a b e l a d e E s t a ç õ e s L ó g i c a s...
2 5 5 V 1 . 2 9.
T a b e l a d e I m p o r t a ç 6 e s...
2 5 6 V 1 . 3 0 . T a b e l a d e E x p o r t a ç S e s...
2 5 8x v i l i C A P f T U L O V I I
...
V 1 1 . 1 . D e f i n i ç ã o d o M d d u l o d e I n t e r f a c e L e x i c o n D e f s 2 8 5 V 1 1 . 2 . D e f i n i ç ã o d o M d d u l o d e I m p l e m e n t a ç ã o L e x i c o n. . .
2 8 5 V 1 1 . 3 . D e f i n i ç ã o d o M Ó d u l o C l i e n t e L e x l c o n C l i e n t...
2 8 6 V 1 1 . 4 . D e f i n i ç ã o d a C o n f l g u r a ç t l o C o n f i g l...
2 8 6 V 1 1 . 5 . D e f i n i ç 8 0 d a C o n f i g u r a ç % o C o n f i g 2...
2 8 7 V 1 1 . 6.
D e f i n i ç ã o d a C o n f i g u r a ç i l o C o n f l g 3...
2 8 8 V 1 1 . 7 . D e f l n i ç B o d a C o n f i g u r a ç % o C o n f l g 4. . .
2 8 9 V 1 1 . 8 . D e f l n l ç 8 o d a C o n f i g u r a ç ã o C o n f l g 5. . .
2 8 9 V 1 1 . 9 . E x e m p l o d o S i s t e m s s y s...
2 9 4 V 1 l . 1 0 . R e p r e s e n t a ç ã o d o S u b s i s t e m a s u b s y s - 3. . .
2 9 5 V I 1 . l l . R e p r e s e n t a ç ã o d o S u b s i s t e m a s u b s y s - 4. . .
2 9 6 V 1 1 . 1 2 . D e c o m p o s i ç ã o d a A t i v i d a d e a 1...
2 9 7 V 1 1 . 1 3 . D e f i n i ç ã o d a I n t e r f a c e d e c h a n - 1...
2 9 8 V 1 1 . 1 4 . D e f i n i ç ã o d e c h a n - 1. . .
2 9 9 V 1 1 . 1 5 . D e f i n i ç ã o d a s A t i v i d a d e s a 1 e a 2. . .
2 9 9 V 1 1 . 1 6 . D e f l n i ç ã o d o S u b s i s t e m a s u b s y s - 4...
3 0 0 V 1 1 . 1 7 . D e f i n i ç ã o d o S i s t e m a s y s...
3 0 1 V 1 1 . 1 8.
D e f i n i ç ã o d a a t i v i d a d e a 1. . .
3 0 2 V 1 1 . 1 9 . C o n f l g u r a ç ã o d a E n f e r m a r i a. . .
3 0 7 V 1 1 . 2 0.
C o n f l g u r a ç t l o E s t e n d l d a d a E n f e r m a r l a. . .
3 0 9 V 1 1 . 2 1.
C o n f i g u r a ç ã o M o d l f l c a d a d a E n f e r m a r l a. . .
3 1 0 V11.22 . C o n f i g u r a ç ã o E s t e n d i d a e M o d l f l c a d a d a E n f e r m a r i a. . .
3 1 0INTROOUGAO A r e v o l u ç ã o em r n i c r o e l e t r i 3 n l c a , q u e c o n t i n u a r e d u z i n d o e n o r m e m e n t e o c u s t o d e c o m p o n e n t e s d e c o m p u t a d o r e s , j á t r a n s f o r m o u p a r a s e m p r e a p r á t i c a d e c o m p u t a ç ã o p a r a a m a i o r i a d o s u s u á r l o s . O a m b i e n t e c a r a c t e r t s t i c o d e c o m p u t a ç ã o h o j e !t b a s e a d o n o c o m p u t a d o r p e s s o a l , q u e o f e r e c e uma s é r i e d e v a n t a g e n s i m p o r t a n t e s q u a n d o c o m p a r a d o com s e u s a n t e c e s s o r e s , o s t e r m i n a i s " b u r r o s n l i g a d o s a g r a n d e s s i s t e m a s c e n t r a l i z a d o s d e p a r t i l h a d e t e m p o . E s t a s v a n t a g e n s , t o d a s d e c o r r e n t e s d a p r e s e n ç a d e " i n t e l i g ê n c i a l o c a l n , I n c l u e m um d e s e m p e n h o c o n s t a n t e e p o r t a n t o p r e v l s l v e l , o u s o d e i n t e r f a c e s m a i s s i m p l e s como " m e n u s n o u " j a n e l a s n , a o p ç ã o c o m o d a d o u s o d e d i s q u e t e s como m e i o d e a r r n a z e n a m e n t o p e s s o a l d e i n f o r m a ç ã o , a l t a m e n t e t r a n s p o r t á v e l e n t r e c o m p u t a d o r e s . p e s s o a l s d i f e r e n t e s , e uma q u a n t i d a d e d e s o f t w a r e d e a p o l o n u n c a a n t e s v i s t o . E m b o r a s e l a m a b u n d a n t e s o s r e c u r s o s d i s p o n f v e i s d e n t r o d o s l i m l t e s d e um c o m p u t a d o r p e s s o a l , e s t e s p o d e m s e r c o m p l e m e n t a d o s a t r a v é s d a l i g a ç % o d e s t a s m á q u i n a s e n t r e s i a o u t r a s m a i s p o t e n t e s em r e d e s , d a n d o a c e s s o a s e r v i ç o s e i n f o r m a ç ã o d l s p o n t v e l s r e m o t a m e n t e . Uma t r a n s f o r m a ç ã o p a r e c i d a e s t á s e n d o o b s e r v a d a n a á r e a d e a p I i c a ç 8 0 d e c o m p u t a d o r e s a o c o n t r o l e d e p r o c e s s o s n a i n d d s t r i a , n o s t r a n s p o r t e s e n a á r e a d e s a d d e , e n t r e o u t r a s , o n d e a f d c i l d l s p o n l b i l i d a d e d e c o m p o n e n t e s s o f i s t i c a d o s e b a r a t o s p e r m i t e a c o n s t r u ç ã o d e c o n t r o l a d o r e s e s e n s o r e s bem i n t e l i g e n t e s , l i g a d o s em r e d e a u n i d a d e s d e c o m a n d o e c o n t r o l e . Os u s u d r i o s d e s t e s s l s t e m a s d e c o m p u t a ç ã o d i s p 8 e m d e c o n j u n t o s e m p a c o t a d o s d e u t i l i t á r i o s d e r e d e s , t a i s como a c e s s o r e m o t o a t e r m i n a i s , t r a n s f e r e n c i a d e arquivos, c o r r e i o e l e t r a n i c o e a l g u m a s a p l i c a ç õ e s d i s t r i b u í d a s d e b a s e d e d a d o s . A t a r e f a d e e s c r e v e r o s o f t w a r e p a r a u s a r a s r e d e s
6
g e r a l m e n t e d e i x a d a p a r a o s p r o g r a m a d o r e s e s p e c i a l i s t a s d e s l s t e m a s . M a i s r e c e n t e m e n t e , com a d i s p o n i b i l i d a d e d e e s t a ç õ e s d e t r a b a l h o e r e d e s l o c a i s com p r e ç o s c a d a d i a m e n o r e s , s u r g i u um f o r t e i n c e n t i v o p a r a q u e o s u s u á r i o s d e s e n v o l v a m s e u s p r d p r l o s p r o g r a m a s d i s t r i b u l d o s . A s s i m como o s s i s t e m a s d i s t r i b u i d o s s ã oc a d a d i a m a i s c o m u n s , a s a p l i c a ç õ e s d i s t r i b u i d a s tambdm. A p r o g r a m a ç ã o d i s t r i b u i d a n ã o é m a i s uma á r e a r e s e r v a d a p a r a um p e q u e n o g r u p o d e p r o g r a m a d o r e s e s p e c i a l i s t a s . E s t a s n o v a s á r e a s d e a p l i c a ç ã o c r i a m d e s a f i o s p a r a a c o n s t r u ç ã o d e s o f t w a r e , e particularmente p a r a o p r o c e s s o d e p r o g r a m a ç a o . Em p a r t i c u l a r , s l o a p r e s e n t a d o s n o v o s r e q u i s i t o s , o u d a l i n g u a g e m d e p r o g r a m a ç ã o u t i l i z a d a , o u d a s f e r r a m e n t a s a s e r e m e m p r e g a d a s n o d e s e n v o l v i m e n t o d o s o f t w a r e , o u d o a m b i e n t e d e e x e c u ç ã o a s e r u s a d o . E n q u a n t o a s v a n t a g e n s d o u s o d e s i s t e m a s d i s t r i b u i d o s s ã o bem c o n h e c i d a s e f o r t e m e n t e a c l a m a d a s , n ã o e x i s t e a i n d a um c o n s e n s o s o b r e como p r o v e r o s u p o r t e n e c e s s á r i o p a r a m o d u l a r l d a d e , concorrência, s i n c r o n i z a ç ã o , c o m u n i c a ç ~ o e c o n f i g u r a ç ã o . As s o l u ç B e s p r o p o s t a s v a r i a m d e s d e a s t e n t a t i v a s d e s i m p l e s m e n t e a d a p t a r e i n t e r l i g a r s i s t e m a s a u t d n o m o s j á e x i s t e n t e s , a t é a s p r o p o s t a s d e f o r n e c e r um a m b i e n t e c o m p l e t o b a s e a d o numa l i n g u a g e m n a q u a l p o s s a m s e r e s c r i t o s o s p r o g r a m a s d i s t r i b u i d o s . P o d e m o s e n c o n t r a r - v á r l o s s i s t e m a s o p e r a c i o n a i s d e r e d e s , como
d
m o s t r a d o p o r TANENBAUM em 1 1 6 3 3 , q u e p r o v ê e m a c e s s o As f e r r a m e n t a s d e c o m u n i c a ç ã o . N e s t e c a s o uma a p l i c a ç ã o d i s t r i b u i d a6
i m p l e m e n t a d a p o r um C o n j u n t o d e p r o g r a m a s s e q u e n c l a i s q u e s e c o m u n i c a m u s a n d o a s c h a m a d a s d e s i s t e m a s d a r e d e . Como f o i a p r e s e n t a d o p o r MAGEE e t a l i i em 1 1 0 6 3 , e s t e s s i s t e m a s a p r e s e n t a m uma s d r i e d e d e s v a n t a g e n s t a i s como: i ) a s i n t e r f a c e s d e c o m u n l c a ç % o s ã o c o m p l e x a s e d i f f c e t s d e u s a r . i l ) a s c o n v e n ç b e s d e n o m e a ç % o e a s p r i m i t i v a s d e c o m u n l c a ç l o e n t r e p r o c e s s o s n 4 0 s ã o g e r a l m e n t e u n l f o r m e s . i i i ) d p r o v i d o p o u c o s u p o r t e p a r a a c o n f i g u r a ç ã o i n i c i a l d e um c o n j u n t o d e c o m p o n e n t e s d e um p r o g r a m a numa a p l i c a ç ã o d i s t r i b u l d a e p a r a m o n i t o r a m e n t o e c o n t r o l e p o s t e r i o r d a c o n f i g u r a ç ã o . i v ) p o u c a o u n e n h u m a v e r i f i c a ç ã o d a s i n t e r f a c e s d p r o v i d a p a r a g a r a n t i r c o m p a t i b i l i d a d e d o s p r o g r a m a s I n t e r c o n e c t a d o s . As p r i n c l p a i s v a n t a g e n s d e s t e s s l s t e m a s o p e r a c i o n a i s d er e d e s s ã o p o r um l a d o a s u a f l e x i b i l i d a d e , j á q u e um s i s t e m a d i s t r i b u i d o 6 c o m p o s t o d e um c o n j u n t o , p o t e n c i a l m e n t e m o d i f i c 8 v e 1 , d e p r o g r a m a s i n t e r l i g a d o s , e, p o r o u t r o , o f a t o d e e s t a r b a s e a d o em s i s t e m a s o p e r a c i o n a i s j á e s t a b e l e c i d o s , o f e r e c e n d o uma g r a n d e v a r i e d a d e d e s e r v i ç o s e u t i l i t á r i o s q u e e s t ã o j d a c e s s f v e i s e u t i l i z 4 v e i s . Num o u t r o e n f o q u e , a s I i n g u a g e n s d e p r o g r a m a ç ã o d l s t r i b u i d a , t a i s como ARGUS ( L I S K O V C 9 9 3 ) , CONIC (KRAMER, MAGEE e SLOMAN C106, 87, 1 0 5 , 1 5 2 3 ) , SR (ANDREWS C 4 1 ) , " D i s t r i b u t e d P r o c e s s e s " ( B R I N C H HANSEN C 2 9 3 ) , *MO0 ( C O O K C423), M a s c o t 3 (BATE C163, SIMPSOM 1 1 5 1 3 ) , r e d u z e m a c o m p l e x i d a d e d a c o n s t r u ç ã o d e a p l i c a ç õ e s d i s t r i b u i d a s p r o v e n d o f e r r a m e n t a s p a r a m o d u l a r i d a d e , c o n c o r r ê n c i a , s i n c r o n i z a ç ã o e c o m u n i c a ç ã o , I n t e g r a d a s n a mesma l i n g u a g e m . E l a s p r o v d e m s u p o r t e p a r a v e r i f i c a ç ã o n a c o m p i l a ç % o , I l g a ç ã o , e em t e m p o d e e x e c u ç ã o d e m a n e i r a a a s s e g u r a r a c o m p a t i b i l i d a d e d e m e n s a g e n s o u o p e r a ç õ e s e n t r e c o m p o n e n t e s . E l a s p r o v ê e m t a m b 6 m c o n s i s t ê n c i a n a n o m e a ç ã o , c o r n u n l c a ç ã o e sincronização t a n t o p a r a i n t e r a ç a e s l o c a i s q u a n t o r e m o t a s . P o r t a n t o o s a m b i e n t e s d a s l i n g u a g e n s s ã o g e r a l m e n t e m a i s s i m p l e s e m a i s c o n f i d v e i s . E n t r e t a n t o o s a c e s s o s d i r e t o s B s f e r r a m e n t a s d o s i s t e m a r e s i d e n t e s ã o g e r a l m e n t e d i f f c e i s . Na m a i o r i a d o s c a s o s a s c a r a c t e r f s t i c a s d e c o n f i g u r a ç ã o f a z e m p a r t e d a l i n g u a g e m d e p r o g r a m a ç ã o , p r o d u z i n d o um ú n i c o p r o g r a m a g r a n d e d i s t r i b u i d o , em l u g a r d o e n f o q u e a n t e r i o r d e um s i s t e m a como um c o n j u n t o d e p r o g r a m a s i n t e r l i g a d o s , s u j e i t o s a m u d a n ç a s . A p a r t i r d e s t a s . i d 6 l a s f o r a m d e s e n v o l v i d o s a m b i e n t e s d e p r o g r a m a ç t i o d i s t r i b u i d o s b a s e a d o s em I i n g u a g e n s d e p r o g r a m a ç t i o , q u e f o r a m e s t e n d i d o s com a s c a r a c t e r f s t i c a s v a n t a j o s a s d o e n f o q u e d e s i s t e m a s o p e r a c l o n a i s d e r e d e , p a r a s e r e m a c r e s c e n t a d a s a s j á m e n c i o n a d a s d o s a m b i e n t e s d e l i n g u a g e n s . P o d e m o s c i t a r como e x e m p l o o s i s t e m a C n e t 1 4 0 3 b a s e a d o n a l i n g u a g e m A D A , e o s i s t e m a CONIC 1 1 0 6 3 , n o q u a l f o i d e f i n i d a uma l i n g u a g e m d e p r o g r a m a ç i ! ! ~ a p a r t i r d e P a s c a l e uma l i n g u a g e m d e c o n f i g u r a ç ã o s e p a r a d a . E s t e s e x e m p l o s , mesmo t e n d o f i l o s o f i a s d i f e r e n t e s , q u e s e r ã o a n a l l s a d a s com d e t a l h e n o s p r ó x i m o s c a p f t u l o s , n o r t e a r a m o n o s s o t r a b a l h o . O n o s s o o b j e t i v o f o i o d e d e s e n v o l v e r um a m b i e n t e d e p r o g r a m a ç ã o d i s t r i b u i d a b a s e a d o numa l i n g u a g e m j á r e c o n h e c i d a i n t e r n a c i o n a l m e n t e , q u e p o s s u i s s e uma s é r i e m t n i m a d e c a r a c t e r f s t i c a s a d e q u a d a s , a f i m d e p o d e r a c r e s c e n t a r a s
e x t e n s õ e s n e c e s s á r i a s p a r a c o n s t r u i r o a m b i e n t e d e s e j a d o . Uma c a r a c t e r f s t i c a m u i t o p o n d e r a d a n a e s c o l h a d a l i n g u a g e m f o i a s u a d i s p o n i b i l i d a d e e f a c i l i d a d e d e i m p l e m e n t a ç ã o em c o m p u t a d o r e s p e q u e n o s e n a c i o n a i s . P a s s a r e m o s a a p r e s e n t a r em s e g u l d a o s o u t r o s a r g u m e n t o s q u e d e t e r m i n a r a m a e s c o l h a d a l i n g u a g e m . Os p r i n c i p a i s a s p e c t o s d a p r o g r a m a ç ã o r e g i s t r a r a m p r o g r e s s o s n a d é c a d a d o s 7 0 . P o d e m o s c i t a r a e v o l u c i 3 0 d o c o n c e i t o d e t i p o d e d a d o a p a r t i r d a c o n t r i b u i ç ã o d e P a s c a l (WIRTH 1 1 7 5 3 ) a t e o s t i p o s a b s t r a t o s ; a f o r m a l i z a ç 6 0 e i m p l e m e n t a ç ã o d e m o d e i o s d e p r o g r a m a ç ã o c o n c o r r e n t e ; a f o r m a l i z a ç ã o d o s c o n c e i t o s d e m o d u l a r i d a d e e c o m p i l a ç ã o s e p a r a d a ; a p e r c e p ç ã o d a i m p o r t a n c i a d a t r a n s p o r t a b i l i d a d e d e s o f t w a r e e a t e c n o l o g i a d e I m p l e m e n t a ç ã o d e c o m p i l a d o r e s q u e a f a c i l i t a ; e o r e c o n h e c i m e n t o d e q u e o p r o c e s s o d e p r o g r a m a ç ã o r e q u e r o a p o i o d e um a m b i e n t e d e s u p o r t e q u e a u x i l i a t o d a s a s a t i v i d a d e s d e p r o g r a m a ç ã o d o c i c l o d e v i d a d e um s o f t w a r e . O f i n a l d a d g c a d a v i u um g r a n d e t r a b a l h o d e s f n t e s e n o q u a l f o r a m p r o p o s t a s s o l u ç õ e s p a r a o p r o b l e m a d e p r o g r a m a ç 6 0 q u e r e u n i a m v á r i o s d o s d i v e r s o s a s p e c t o s s u p r a c i t a d o s . E n t r e a s v á r i a s l i n g u a g e n s q u e a p a r e c e r a m e q u e f a z i a m uma e s p é c i e d e s f n t e s e d o s a v a n ç o s em l i n g u a g e n s d e p r o g r a m a ç ã o d o s d e z a n o s a n t e r i o r e s p o d e m o s d e s t a c a r p a r t i c u l a r m e n t e d u a s q u e f o r a m a s m a i s a c e i t a s e d i v u l g a d a s i n t e r n a c i o n a l m e n t e :
ADA
e M o d u l a - 2 .ADA
( I C H B I A H 1 7 3 1 ) p o d e s e r c a r a c t e r i z a d a d e f o r m a s u m á r i a como P a s c a l c o m e x t e n s õ e s p a r a a t e n d e r &I m o d u l a r i z a ç ã o ( p a c o t e s ) , . á p r o g r a m a ç ã o c o n c o r r e n t e , a o t r a t a m e n t o d e e x c e ç 8 e s eb
p a r a m e t r i z a ç ã o d e m d d u l o s p o r t i p o d e d a d o s ( u a i d a d e s g e n d r i c a s ) .ADA
f o i c r i a d a p a r a s e r uma l i n g u a g e m p a r a a p r o g r a m a ç ã o d e s i s t e m a s d e d i c a d o s ( " e m b e d d e d s y s t e m s " ) p a r a a p l i c a ç õ e s m l l l t a r e s d o g o v e r n o n o r t e a m e r i c a n o . M o d u l a - 2 (WIRTH 1 1 7 8 , 1 8 0 3 ) a c r e s c e n t a a P a s C a l o s c o n c e i t o s d e m o d u l a r i z a ç ã o e c o - r o t i n a . E s t a l i n g u a g e m 6 uma e v o l u ç ã o d i r e t a d e P a s c a l , a t r a v é s d e M o d u l a (WIRTH C 1 7 6 3 1 , q u e f o i a p r i m e i r a t e n t a t i v a d e WIRTH d e c r i a r umal i n g u a g e m p a r a P r o g r a m a r p e q u e n o s s i s t e m a s d e d i c a d o s . T a n t o
ADA
como M o d u l a - 2 s ã o d e s t i n a d a s a o d e s e n v o l v i m e n t o p r o f i s s i o n a l d e s o f t w a r e , e, como a c a b a m o s d e v e r , i n i c i a l m e n t e d e s t i n a d a s p a r a a p r o g r a m a ç ã o d e s i s t e m a s d e d i c a d o s . P o r 6 m , ambas e s t a s l i n g u a g e n s , a l 6 m d e p o s s u i r e m a s c a r a c t e r f s t i c a s e s p e c f f i c a s p a r a e s t e a m b i e n t e , t a m b 6 m p o s s u e m t o d a a f , u n c i o n a l i d a d e n e c e s s h r i a p a r a ap r o g r a m a ç ã o d e a p l i c a ç õ e s m a i s c o n v e n c i o n a i s . A l i á s , com o s u p o r t e d a d o p a r a d e s e n v o l v i m e n t o m o d u l a r , ambas e s t a s l i n g u a g e n s s ã o a l t a m e n t e a p r o p r i a d a s p a r a p r a t i c a m e n t e q u a l q u e r á r e a d e a p l i c a ç ã o , e c e r t a m e n t e p a r a q u a l q u e r uma h o j e p r o g r a m a d a em C (KERNIGHAN e R I T C H I E C7911 o u P a s c a l . As f a c i l i d a d e s m a i s s u b s t a n c i a i s d e ADA q u e e s t i o a u s e n t e s em M o d u l a - 2 s ã o a d e f i n f ç ã o d e o p e r a d o r e s e u n i d a d e s g e n d r l c a s , q u e s e m d á v i d a c o n t r i b u e m a o p o d e r d e a b s t r a ç ã o d a l i n g u a g e m , mas e x i g e um p r e ç o e l e v a d o em t e r m o s d a c o m p t e x i d a d e d a l m p l e m e n t a ç 8 0 . P o r o u t r o l a d o , M o d u l a - 2 p r o v ê f a c i l i d a d e s a u s e n t e s em ADA p a r a o m a n u s e i o d i r e t o d o s m e c a n i s m o s d e i n t e r r u p ç ã o e d e e n t r a d a / s a f d a , p e r m i t i n d o e s c r e v e r o s o f t w a r e m a i s f u n d a m e n t a l n e s t a mesma l i n g u a g e m . E s t a s f a c i l i d a d e s p e r m i t e m I m p l e m e n t a r d i f e r e n t e s p o l f t i c a s n o n f v e l d o n ó c l e o , como p o r e x e m p l o , p a r a g e r e n c i a m e n t o d o p r o c e s s a d o r e d o s p r o c e s s o s , o u em o u t r o s n f v e i s p a r a g e r e n c i a m e n t o d e m e m d r i a e d e p e r i f d r i c o s . Em c o n t r a p o s i ç ã o ADA j á I n c l u i p o l f t i c a s d e g e r e n c i a m e n t o e m b u t i d a s q u e n ã o p o d e m s e r m o d i f i c a d a s p e l o u s u á r i o . E s t a v a n t a g e m d e M o d u l a - 2 r e n d e a l i n g u a g e m m a i s f 4 e x f v e l p e r m i t i n d o a o u s u á r i o e s c o l h e r a s p o l f t i c a s m a i s c o n v e n i e n t e s p a r a c a d a a p l i c a ç ã o . A c o n c l u s ã o d q u e P l o d u l a - 2 é
uma l i n g u a g e m q u e c o m p e t e com ADA n a s a p l i c a ç 6 e s p a r a a s q u a i s
A O A f o i p r o j e t a d a . A l e m d i s t o , M o d u l a - Z f o i p r o j e t a d a p o r uma s 6 p e s s o a , a o i n v é s d e uma c o m i s s ã o , e c o m g r a n d e s e n s i b i l i d a d e p a r a o s p r o b l e m a s d e i m p l e m e n t a ç á o . O p r o c e s s o d e c r i a ç ã o d e ADA t a m b é m d e u uma c o n t r i b u i ç ã o s i g n i f i c a t i v a
h
c o n c e i t u a ç A o d e a m b i e n t e s d e s u p o r t e d e p r o g r a m a ç ã o . No r e l a t b r i o S t o n e m a n ( D O D C5011 f o r a m e s p e c i f i c a d a s d e f o r m a c l a r - a e c o n c i s a a s c a r a c t e r f s t i c a s q u e d e v e r i a t e r o s o f t w a r e d e s u p o r t e a o p r o c e s s o d e d e s e n v o l v i m e n t o d e p r o g r a m a s em ADA. E m b o r a S t o n e m a n t e n h a s i d o e s c r i t o t e n d o ADA em m e n t e a s i d é i a s a p r e s e n t a d a s s ã o i m e d i a t a m e n t e a p l i c á v e i s a q u a l q u e r l i n g u a g e m q u e d ê s u p o r t e a m o d u l a r i z a ç ã o , p o r e x e m p l o , M o d u l a - 2 . F i n a l m e n t e , s e d e s e j a r m o s u s a r uma d e t e r m i n a d a l i n g u a g e m d e p r o g r a m a ç b o em a m b i e n t e s d i s t r i b u i d o s , s e r 8 n e c e s s d r i o d e f l n l r s o l u ç õ e s p a r a uma s d r i e d e p r o b l e m a s p e r t i n e n t e s , , d o s q u a i s o s m a i s s é r i o s d i t e m r e s p e i t o h c o m u n i c a ç ã o e n t r e p r o c e s s o s em c o m p u t a d o r e s d i f e r e n t e s , a o t r a t a m e n t o d e f a l h a s , e h c a r g a e l i g a ç ã o d e s o f t w a r e d i s t r i b u i d o . P a r a r e s o l v e r e s t e s p r o b l e m a sd e v e m s e r d e f i n i d o s m e c a n i s m o s , a o n i v e l d a p r ó p r i a I l n g u a g e m , o u n a f o r m a d e e x t e n s õ e s a e s t a , o u p o s s i v e l m e n t e n a f o r m a d e uma n o t a ç ã o o u l i n g u a g e m d e n f v e l m a i s a l t o q u e a d e p r o g r a m a ç ã o . A c r e d i t a m o s q u e M o d u l a - 2 , p o r s u a s i m p l i c i d a d e e e l e g â n c i a ,
6
uma f e r r a m e n t a e f i c a z p a r a a p r o d u ç ã o d e s o f t w a r e i n d u s t r i a l n o s d i a s d e h o j e . A d i c i o n a l m e n t e , B s u p e r i o r a P a s c a l p a r a f i n s d i d 6 t i c o s , como6
e v i d e n c i a d o p e l a s u a a d o ç ã o p a r a e n s i n o b d s t c o em u n i v e r s i d a d e s como I m p e r i a l C o l l e g e , L o n d r e s , U n i v e r s i d a d e de G e n e b r a , S u i ç a , e n t r e o u t r a s . Uma v e z e s c o l h i d a a l i n g u a g e m M o d u l a - 2 o p r o j e t o d e c o n s t r u i r o a m b i e n t e d e p r o g r a m a ç ã o d l s t r l b u i d o f o i d e s e n v o l v l d o p o r um g r u p o d e p r o f e s s o r e s e a l u n o s d a PUC/RJ e d a UFRJ, p r o d u z i n d o uma s d r i e d e a r t l g o s a p r e s e n t a d o s em c o n g r e s s o s n a c i o n a i s e I n t e r n a c i o n a i s C144, 1 4 3 , 1 5 6 , 1 5 7 , 1 4 5 , 1 4 6 3 e v d r i a s t e s e s d e m e s t r a d o 145, 8 8 , 1 7 0 3 e e s t a t e s e d e d o u t o r a d o . O p r o j e t o , d e f o r m a r e s u m i d a , c o n s i s t e d e t r ê s p a r t e s : i ) a i m p l e m e n t a ç ã o d e M o d u l a - 2 e s e u s u p o r t e d e p r o g r a m a ç ã o em m i c r o d e 8 b i t s C 1 3 5 1 ; i i ) a d e f i n i ç ã o e i m p l e m e n t a ç ã o d e m e c a n i s m o s d e c o m u n i c a ç ã o e s i n c r o n l z a ç ~ o p a r a n d s f r o u x a m e n t e a c o p l a d o s num sistema d i s t r i b u l d o , q u e f o r a m a c r e s c e n t a d o s I l n g u a g e m t 1 4 5 , 45, 8 8 3 ; i i i ) a d e f i n l ç 6 0 e i m p l e m e n t a ç ã o d e uma l i n g u a g e m de c o n f i g u r a ç k i o e s t á t l c a n e c e s s d r i a p a r a d e f i n i r o s c o m p o n e n t e s d o p r o g r a m a d i s t r i b u i d o , e s t a b e l e c e r a s s u a s l i g a ç õ e s e f a z e r o c a r r e g a m e n t o n a a r q u i t e t u r a f f s i c a n a q u a l s e r á e x e c u t a d o C 1 4 6 1 . E s t a t e s e a p r e s e n t a p a r t i c u l a r m e n t e o s d o i s d l t i m o s p o n t o s , f a z e n d o uma d i s c u s s ã o e x a u s t i v a d a s m o t i v a ç õ e s e d a s j u s t i f i c a t i v a s q u e l e v a r a m à e s c o l h a d a s d e f i n i ç õ e s e i m p l e m e n t a ç õ e s d 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 ç 8 0 e n t r e p r o c e s s o s d e n o m i n a d o c h a m a d a r e m o t a d e p r o c e d i m e n t o e d a l i n g u a g e m s e p a r a d a d e c o n f i g u r a ç ã o e s t d t i c a a s e r a c r e s c e n t a d a à M o d u l a - 2 . E s t e t r a b a l h o f o i o r g a n i z a d o em v t i r i o s c a p f ~ t u l o s q u e d e s c r e v e m o s r e s u m i d a m e n t e . No C a p f t u l o I I f o i f e i t a uma a n d l i s ed o s d i f e r e n t e s t l p o s d e s i s t e m a s d i s t r i b u i d o s q u e f o r a m d e s e n v o l v i d o s n o s á i t i m o s a n o s p r o c u r a n d o a p r e s e n t a r a l g u m a s c a r a c t e r f s t i c a s p r i n c i p a i s .
e
d i s c u t i d a t a m b d m a i m p o r t 8 n c i a d a e s t r u t u r a ç ã o m o d u l a r d e p r o g r a m a s d i s t r i b u i d o s e a p r e s e n t a d o o c o n j u n t o d e r e q u i s i t o s n e c e s s á r i o s p a r a uma l i n g u a g e m d e p r o g r a m a ç ã o d i s t r l b u i d a . O C a p f t u l o I I I s e c o n c e n t r a n a s c a r a c t e r f s t l c a s d e p r o g r a m a ç ã o em p e q u e n a e s c a l a , a n a l i s a n d o o s d i f e r e n t e s m o d e l o s u t l l l z a d o s p a r a p r o g r a m a r o s m b d u i o s q u e compõem o s i s t e m a d l s t r l b u l d o , e em p a r t i c u l a r o s m e c a n l s m o s d e c o m u n i c a ç ã o e sincronização e n t r e p r o c e s s o s l o c a l i z a d o s em n 6 s f f s i c o s d i s t i n t o s . P o r ú l t i m o 6 d i s c u t i d a a d u a l i d a d e d o s d o i s m o d e l o s n o s q u a i s p o d e s e r c a r a c t e r i z a d a a m a i o r l a d o s m e c a n l s m o s e n c o n t r a d o s n a l i t e r a t u r a . O o b j e t i v o d o C a p f t u l o I V6
a p r e s e n t a r a n o s s a p r o p o s t a d e p r o g r a m a ç ã o em p e q u e n a e s c a l a . P a r a i s t o é p r i m e i r o a p r e s e n t a d a uma ' a n á l r s e d e o u t r a s p r o p o s t a s e x i s t e n t e s e a s n o s s a s j u s t i f i c a t i v a s p a r a a e s c o l h a t o m a d a . S ã o a p r e s e n t a d o s a l g u n s n ú c l e o s d e m u l t i p r o g r a m a ç ã o i m p l e m e n t a d o s u s a n d o M o d u l a - 2 . A s e g u i r 4 f e i t o um e s t u d o d e t a l h a d o d o m e c a n i s m o d e c h a m a d a r e m o t a d e p r o c e d l m e n t o p a r a d e p o i s d e s c r e v e r a n o s s a I m p l e m e n t a ç ã o . No C a p f t u l o V s a o a n a l l s a d a s a s c a r a c t e r f s t i c a s p r i n c l p a l s d o c o n c e i t o d e c o n f i g u r a ç ã o a p a r t i r d a s l i n g u a g e n s d e I n t e r c o n e x ã o m o d u l a r u t i l i z a d a s n o s p r o j e t o s d e e n g e n h a r i a d e s o f t w a r e . E! r e a l i z a d a uma a n á l i s e s o b r e o m o d e l o d e c o n f i g u r a ç ã o e s t á t i c a e c o n f i g u r a ç ã o d i n a m i c a p a r a a s e g u i r f a z e r um l e v a n t a m e n t o s o b r e a s p r o p r i e d a d e s necessárias p a r a c o n f l g u r a ç ã o . E s t a s p r o p r i e d a d e s e s t ã o r e l a c i o n a d a s com a l i n g u a g e m d e p r o g r a m a ç ã o , a l i n g u a g e m d e c o n f l g u r a ç ã o e a e s p e c l f l c a ç ã o d a s m u d a n ç a s , o p r o c e s s o d e v a l i d a ç ã o , o g e r e n c l a m e n t o d e c o n f i g u r a ç d o e a u n i d a d e d e c o n f i g u r a ç d o e s u b s t i t u i ç ã o . F i n a l m e n t e 6 f e i t o um e s t u d o s o b r e a s c o n d i ç õ e s n e c e s s á r i a s p a r a r e c o n f i g u r a ç ã o . No C a p f t u l o V I €! a p r e s e n t a d a a definição d a I i n g u a g e m d e c o n f i g u r a ç ã o e s t á t i c a p r o p o s t a p a r a s e r a c r e s c e n t a d a a M o d u l a - 2 , a f l m d e o b t e r o a m b i e n t e p a r a p r o g r a m a ç ã o d i s t r i b u i d a . E s t a a p r e s e n t a ç ã o é i l u s t r a d a a t r a v é s d e uma s 6 r l e d e e x e m p l o s q u e m o s t r a m a p o t e n c i a l i d a d e d a I i n g u a g e m . A s e g u l r 15 d e s c r i t a a I m p l e m e n t a c ã o d o i n t e r p r e t a d o r d a I i n g u a g e m d e c o n f i g u r a ç t i o , e a ss u a s i n t e r f a c e s com a i m p l e m e n t a ç ã o d 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 p a r a c h a m a d a s r e m o t a s d e p r o c e d i m e n t o s . O C a p f t u l o V I 1 t e m como o b j e t i v o c o m p a r a r o n o s s o m o d e l o com o u t r a s p r o p o s t a s e n c o n t r a d a s n a l i t e r a t u r a . P a r a f i n a l i z a r s ã o discutidos a l g u n s c o n c e i t o s em r e l a ç ã o a o s p r o b l e m a s l e v a n t a d o s , p a r t i c u l a r m e n t e p a r a a i m p l e m e n t a ç ã o d e c o n f i g u r a c ã o d i n â m i c a , d r e a q u e a i n d a e s t a m a i s em a b e r t o . S ã o a p o n t a d o s t a m b é m o s p a s s o s f u t u r o s q u e d e v e r i a m s e r a b o r d a d o s p a r a a o b t e n ç ã o d o a m b i e n t e d e p r o g r a m a ç ã o d i s t r i b u i d a d e s e j a d o .
9 CAPITULO SISTEMAS D I S T R I I I
eu
I DOS A c o n t i n u a e r á p i d a q u e d a d o s c u s t o s d e e q u i p a m e n t o s d e c o m p u t a ç ã o p o s s i b i l i t a a o r g a n i z a ç ã o d e s i s t e m a s d e c o m p u t a ç ã o n a f o r m a d i t a " S i s t e m a s D i s t r i b u i d o s n . Com I s t o s u r g e m p o s s i b i l i d a d e s d e e x p l o r a ç ã o d e n o v a s o r g a n i z a ç õ e s d e s i s t e m a s c o m p u t a c i o n a i s e tambt?m d e n o v o s p r o b l e m a s a b r i n d o um v a s t o campo p a r a p e s q u i s a , como f o i a p o n t a d o p o r SALTZER em i 1 3 8 1 . E x i s t e um c o n s e n s o q u a n t o h i m p o r t â n c i a c a d a v e z m a i o r q u e t e r ã o n o f u t u r o o s s i s t e m a s d i s t r i b u i d o s . I n f e l i z m e n t e n ã o e x i s t e o mesmo c o n s e n s o em r e l a ç ã o a o s i g n i f i c a d o d o t e r m o " S i s t e m a D i s t r i b u i d o " . P o r e x e m p l o , e x i s t e m d i f e r e n t e s m a n e i r a s d e l i g a r m á q u i n a s i g u a i s o u d i f e r e n t e s p a r a f o r m a r , d e s d e um c o n j u n t o d e e s t a ç õ e s d e t r a b a l h o l i g a d a s e n t r e s i a t r a v é s d e uma r e d e d e c o m u n i c a ç ã o , a t e a l i g a ç ã o d e m á q u i n a s com o o b j e t i v o d e o b t e r uma m t i q u t n a B n i c a m a i s p o d e r o s a , s e n d o t r a n s p a r e n t e a o u s u á r i o a s u a a r q u i t e t u r a e a s u a m a n e i r a d e c o m p a r t i l h a r r e c u r s o s . Os p r o b l e m a s a s e r e m e n c a r a d o s e s t ã o l i g a d o s com o t r a t a m e n t o d o p a r a l e l i s m o , a c o m u n i c a ç ~ o e s i n c r o n i z a ç ã o d e p r o g r a m a s r o d a n d o em m á q u i n a s d i f e r e n t e s , o s g e r e n c i a d o r e s d e r e c u r s o s c o m p a r t i l h a d o s , a t r a n s p a r e n c i a o u n ã o d o s i s t e m a , a p r o t e ç ã o , o t r a t a m e n t o d e f a l h a s , e t c . Na C a l i f o r n i a em d e z e m b r o d e 1 9 8 0 , h o u v e um e n c o n t r o p r o m o v i d o p e l a ACM ( " A s s o c i a t i o n f o r C o m p u t i n g M a c h i n e r y n ) , s o b r e q u e s t õ e s f u n d a m e n t a i s em C o m p u t a ç ã o D l s t r i b u i d a C961. D u r a n t e t r ê s d i a s f o r a m d i s c u t i d o s o s s e g u i n t e s t e m a s ; S I s t e m a s E x i s t e n t e s , A t o m i c l d a d e , P r o t e ç a o , A p l i c a ç B e s , NomeaçBo, G o m u n i c a ç f l e s , O q u e6
q u e p r e c i s a m o s d a t e o r i a ? , Q u a i s s ã o o s p r o b l e m a s p r t i t i c o s i m p o r t a n t e s ? Na b l t i m a s e s s ã o d e n o m i n a d a " O q u e6
q u e 6 d i f e r e n t e em C o m p u t a ç ã o D i s t r l b u l d a " , SHOCK, d e p o i s d e d a r a r g u m e n t o s c o n t r a e a f a v o r d a s d i f e r e n ç a s , e n c e r r o u a d i s c u s s ã o r e c o n h e c e n d o q u e n ã o t i n h a uma d e f i n i ç ã o p r e c i s a d e um s i s t e m a d i s t r i b u í d o , d o q u e f a z um s i s t e m a d i s t r i b u i d o , d o q u e f a z com q u e e l e s e l a d i f e r e n t e d e q u a l q u e r o u t r o t i p o d e s i s t e m a , e q u e n e s s a h o r a e r a m e l h o r a p e l a r a uma a u t o r i d a d e d e m a i s a l t o n f v e l . N e s s e c a s o e l e s u g e r i a o S u p r e m o T r i b u n a l d o s E s t a d o sU n i d o s , q u e j 6 t i n h a s i d o c o n f r o n t a d o com um p r o b l e m a s i m i l a r q u a n d o p r o c u r o u d e f i n i r " o b s c e n i d a d e o u p o r n o g r a f i a n , e o m a g i s t r a d o STEWART f e z a f a m o s a o b s e r v a ç ã o , q u e s e g u n d o SHOCK p o d e s e r a p l i c a d a p a r a a d e f i n i ç ã o d e um S i s t e m a D i s t r i b u i d o : " E u n i í o s e i como d e f i n f - 1 0 , mas s e i r e c o n h e c ê - l o q u a n d o o v e j o " . 1 1 . 9 ALGUMAS D E F I N I G O E S O c o n c e i t o d e S i s t e m a D i s t r i b u i d o t e m s i d o l a r g a m e n t e a p l i c a d o , com d i v e r s o s s i g n i f i c a d o s , e p a r e c e - n o s q u e o a p r e s e n t a d o em C1811 p o r YAN e t a l i i , é o m a i s a b r a n g e n t e e c o m p l e t o , e m b o r a a t e c e r t o p o n t o v a g o a i n d a : " o t e r m o S i s t e m a D i s t r i b u i d o d e C o m p u t a ç i í o r e p r e s e n t a uma g r a n d e c l a s s e d e s i s t e m a s d e s s e t i p o , d e s d e uma r e d e e s t r e l a d e c o m p u t a ç ã o a t é um s i s t e m a c o m p l e t a m e n t e d e s c e n t r a l i z a d o . Em t o d o s o s c a s o s o t e r m o d i s t r i b u i d o r e f e r e - s e a o f a t o d e q u e , u n i d a d e s d e p r o c e s s a m e n t o , f u n ç õ e s , d a d o s , c o n t r o l e , o u uma c o m b i n a ç ã o d e s t e s , s ã o d i s t r i b u i d o s em uma c e r t a m e d i d a " . c o n s i d e r a d o em 11813 q u e s i s t e m a s d i s t r i b u i d o s d e c o m p u t a ç ã o t ê m a s s e g u i n t e s c a r a c t e r l s t i c a s :