CAMILO DE L E L I S GONDIM P ED EIRO S
P30JETO E IMPL E ME NT BO DE UM SISTEMA TRANSFORMADOR DE P ROGR AM AS FORTRAN.
Q i s s a r t a * 3 o a p r a s a n t a d a ao CU2SO OE MESTRADO EM SISTEMAS E COMPUTAC*1} da U n i v a r s i d a d e ce d e r a l da P a r a l b a * era c u m p r i m e n t o a p a r t e d a s e x i g e n c i a s o a r a o b t e n ? ? o do G r a u de ^ e s t r e .
GIUSEPPE MONGIOVI O r i an t a d o r
M3RI0 T0Y0TAR0 HATTORI C o - o r i e n t ? c l o r
CAMPINA GRANDS JANEIRO - 1 9 8 6
i v
A g r a d e c i n e n t o s ,
Ao p r o f e s s o r G i u s e p p e M o n g i o v i , que f o i bera m a i s que "0 3 r i e n t a d o r " ; M u i t o e s p e c i a i s ao p r o f e s s o r ^ S r i o T o y o t a r o H a t t o r i p e l a s s u a s e x t r e n a d a s boa v o n t a d e , p a c i £ n c i a , p a l a v r a s de e n c o r a j a m e n t o , e t c CnSo cabe t u d o a q u i ) ; So p r o f a s s o r U l r i c h S c h i e l p o r suas s u g a s t B e s a p a l o s c o n s t a n t ' s i n c e n t i v o s ? Ao p r o f e s s o r " a r c u s C o s t a S a m p a i o , C h e f e do DSC, q.e s e m p r e f o i c o m p r e e n s i v o e e n c o r a j a d o r ! Ao p r o f e s s o r J a c q u e s S r J v •? p e l a o r i g i n a l i d a d e c o n que sempre e s t i m u l o u o d a s en vo 1 v i m en t o d e s t e t r a ' j a l h o , i n c l u s i v e e x i c i n d o o c u m p r i m e n t o da p r a z o s j A t o d o s o s d e m a i s p r o f e s s o r e s a f u n c i o n S r i o s do DSC, e Tambgm, m u i t o m a i s que m e r e c i d o s , a E m i l i a C l a r a , m i n h a e s p o s a , e a C a m i l a C a r o l i n a , m i n h a f i l h a , que t a n t o me a p o i a r a m e que p o r t a n t a s v e z e s se v i r a r a p r i v a d a s da m i n h a p r e s e n c e f l s i c a p o r c a u s 3 do d e s e n v o l v i m a n t o d a s t e t r a b a l h o . C a m i l o .
PROJETO E IMPLEMENT ACHO OE UM SISTEMA TRANSFORMADOR DE PROGRAMAS FORTRAN.
CAMILO DE L E L I S GONDIM MECEIROS
DISSERT AC30 APROVACA EM 1 7 / 0 1 / 8 6 .
C o n p o n a n t s da 3 a n c a C o m p o n e n t e da Banca
CAMPINA GRANDE JANEIRO - 1 9 8 6
EfSUSJJ N e s t e t r a b a l h o sSo d i s c u t i d o s v S r i o s a s p e c t o s r e f e r s n t a s a o o r t a b i l i d a d e de p r o g r a m a s FORTRAN ( c o n S n f a s e em s u b p r o g r a m a s de A n S l i s e N u m S r i c a ) e a a p l i c a b i l i d a d e dos S i s t e m a s T r a n s f o r m a c i o n a i s como una f a r r a n e n t a de s u p o r t e p a r a c d e s e n v o l v i m a n t o de " s o f t u a r a " . S3o e s t u d a d o s q u a t r o dos p r i n c i p a l s S i s t e m a s T r a n s f o r n a c i o n a i s e x i s t a n t e s e a p r e s e n t a d o s o p r o j e t o e a i m p l amentsscio da um S i s t e m s P r o t 5 t i p o p a r a e f e t u a r a c o n v e r s S o a u t o m S t i c a de p r e c i s S o . s u b s t i t u i r c h a m a d a s a s u b p r o g r a m a s p o r c C d i g o em l i n h a * c o n v e r t e r p r o g r a m a s para r o d a r em o u t r o s a m b i e n t e s de c o m p u t a « 3 o e e f e t u a r a c o n v e r s S o da d o c u m e n t a s S o i n t a r n a de p r o g r a m a s que o b e d e c e n a uma p a d r o n i z a ? S o p r e v i a m a n t e e s t a D e l c c i d a .
v i i The s e v e r a l a s p e c t s r e f e r i n g t h e FORTRAN p r o g r a m s p o r t a b i l i t y ( e m p h a s i z i n g t h a N u m e r i c a l A n a l y s i s s u b p r o g r a m s ) , and t h e a p o l i c a b i l i t y o f t h e T r a n s f o r t i s t i o n a l S y s t e m s , as a t o o l t o s u p p o r t s o f t w a r e d e v e l o p m e n t a r e d i s c u s s e d . I t i s p r e s e n t e d t h e a n a l y s i s o f f o u r o f t h e m a j o r T r a n s f o r n a t i o n a l S y s t e m s , and t h e d e s i g n and i m p l e m a n t a t i o n o f 3 P r o t o t y p e S y s t e m t o r e a l i z e t h e f o l l o w i n g o p e r a t i o n s : a u t o m a t i c c o n v e r s i o n p r e c i s i o n ; s u b s t i t u t i o n o f s u b p r o g r a m s c a l l by i n l i n e c o d a ; u r o g r a m s c o n v e r s i o n t o r u n on s e v e r a l c o m p u t e r e n v i r o n m e n t s ; and c o n v e r s i o n o f a p r e - d a f i n e d s t a n d a r d i n t e r n a l p r o g r a m s d o c u m e n t a t i o n .
1 . 1 . APRESENTAC3C.
1 . 2 . IMPORTftNCIA DO TRA3ALHO.
1.3. CARACTERISTICAS DO PROTOTIPO. 1.4. VISBO GLOBAL DO TRA3ALHO. 2. £ £ S f N d A .
2 . 1 . INTRODUCED.
2 . 2 . TRANSFORMAC75 0 E TIPQS.
2.3. 0 S I ST EMA ESpECIALIZADOR DE KROGH. 2 . 3 . 1 . 4iEJ212Dl2-2. 3.4iEJ212Dl2-2.2b.j£tayfl§. 2 . 3. 3 . ij20£d£a£2. 2 . 3 . 4 . C.C Jl£Ql3rioj. 2.4. 0 S I ST EM A CONVERSOR OA IMSL. 2. 4. 1 . a,mi2iiDl£« 2 . 4 . 2 . 2 f i j i i i y £ 5 « 2 . 4 . 3. A J j o r d f l ^ s s . 2 . 4 . 4 . olJ!r.io J« 2.5. 0 SISTEMA DO NAG. 2.5.1.im^iint£. 2.3. 2. 3j2J£liy.j2 = • 2 . 5 . 3 . iiJOEilsafiTJ* 2 . 5 . 4 .
CaisaiSEios.
2 . 6 . 0 SISTEMA TAMPR. 2 . 6 . 1 . Amo.ia.n_te .i x 2. 6 . 3 . £bfir dafie 35. 2.6.4. Comenl^rifil« 2.7. CONCLUSHO. 3 . 1 . AM 31ENT E. 3.2. 0 6 J E T I V 0 S . 3.3. A80R0AGEM. 3. 3 . 1 . A £i.drfil!iii3£3fi S X i s i l E i t e . • 3. 3. 2. A P f i d c f i j i i S S s l f i E C i i M l i f l
-3.3.3. Efliins. de. Cfini.2ClS2 3 E-.OT2Dii_.l3!fi
ECflEfli-tS-3. 3 . 4 . 2b J 6 r y i . s 2 f i 5 .
3.4. OS COMPONENTES DO SISTEMA. 3 . 4 . 1 . Cj_ny 3r.s.1_o de. £r__ci s.]|o.• 3. 4. 2. Cfiny_»r 5J2 fie. ____sy.ina.
3 . 4 . 3 . S . i _ i 2 s i i i f i i s 2 f i <J2 Qnjij_2c!iis a S.2£fir 2SE£3.a s. fifi£
LHk£o in Linos*
3.4.4. i f i f i J i i i r i l a da 3 2£ M i a n 2 i D l S C f i a * 4.
£££I__I
£1I2
fi2S £SO^£Af_AS_ £I ^£L£*£NI
4 . 1 . INTRODUCSO. 4 . 1 . 1 . ££0£ri.iid£di.3. 4 . 1 . 2 . A
LISA.
4. 1.3.A l a 2 2 l a __j_s.tr e. 4 . 2 . OS PROGRAMAS DO SISTEMA. 4 . 2 . 1 . 2 Sufificyisfir. 4 . 2 . 2 . 3 __fia___i£r.4 . 2 . 3 . 2 ifiQyir2_jr.
4 . 2 . 4 . 2 FaCflSlUJSLl. • 4 . 2 . 5 . 2 G e ra._taC•
4 . 2 . 6 . S o i i r _ a Aux.ili2C.: £2n_.__£ii 2oc.i__)t m a i l s
i Q i s r n i . ..ara a facsa Eraeasia.
5. CJ2__2LU£SP..
5 . 1 . ANSLISE DE RESULTADOS C3TIDOS E PROCEDIMENTOS ACOTADOS DURANTE OS TESTES.
5.2. OIEICULDADES EMCONTRADAS / PONTOS A MELHORAR. 5.3. SUGESTOES PARA TRA3ALHQS POSTERIORES.
5.4. COMENTSRIOS F I N A I S .
ANEXO I MAr.£2£kyj_2G.SA«2A p_2 I £ A £ 2
x i Q u a d r o I v u a d r o I I 2 u a d r o I I I F i g u r a ci g u r a F i g u r a F i g u r a 4 T a b e 1 a 1 Ta o e l a 2 -Resumo d o s A m b i a n t e s d o s S i s t e m a s E s t u d a d o s . Resumo d o s O b j e t i v o s d o s S i s t a m a s E s t u d a d o s . Rasumo d a s A b o r d a g e n s e C o m a n t S r i o s s o b r e o s S i s t e m a s E s t u d a d o s . Evolu«a"o d o s c o n c e i t o s de p o r t a b i l i d a d e . Una c a d e i a de c o n v e r s ' S e s . P r o g r a m a s do S i s t e m a T r a n s f o r m a d o r de P r o g r a m a s FORTRAN CTRAPO). E x e n p l o de uma t e l a c o m p l e t a do TRA ° 0 . A j S a s do M f i d u l o de C o n v e r s S o de P r e c i s S o . A?Cas do M f l d u l o de C o n v a r s l o da Cocurn a n t a ? 3 o I n t a r n a .
APRESiflJTA£50. E s t e t r a b a l h o c o n t S u a l g u n s d o s r e s u l t a d o s de n o s s o s e s t u d c s s o b r a o o r t a b i l i d a d e de s o f t w a r e . N e l a sSo c o n s i d e r a d o s v S r i o s a s p e c t o s da p o r t a b i l i d a d e de p r o g r a m a s e de s u b p r o g r a m a s e s c r i t o s em FORTRAN, com § n f a s e em s u b p r o g r a m a s que i m p l e m e n t a m a l g o r l t m o s da S r e a de A n S l i s e N u m e V i c a . HS, de a l g u n s a n o s p a r a c S , urn i n t e r e s s e c r e s c a n t e de U n i v e r s i d a d e s e de o u t r a s I n s t i t u i $ 8 a s d e P e s q u i s a da t o d o o mundo na b u s c a de urn o b j a t i v o comum: c o n s e g u i r q u e p r o g r a m a s de c o m p u t a d o r a s c r i t o s p a r a uma d e t e r m i n a d a m S q u i n a possam s e r a x e c u t a d o s em o u t r a m S q u i n a s e n n e c e s s i d a a e de g r a n d e s a d a p t a ? 7 5 e s . A t u a l m e n t e , i n c l u s i v e os a m b i e n t e s I n d u s t r i a l s e C o m e r c i a i s de P r o c a s s a m e n t o de Dados s e p r e o c u p a m com a s t e p r o b l e m a . Mesmo com o a d v e n t o da n o v o s c o m p u t a d o r e s , de n o v a s l i n g u a g e n s de p r o g r a m a « ? o de n l v e l c a d a v e z m a i s a l t o e de p a d r o n i z a ? 3 o p a r a as l i n g u a g a n s j 3 e x i s t e n t e s , a i n d a h o j e o s o r o g r a m a s e s c r i t o s p a r a uma dada m S q u i n a q u a s e sempre nSo pcdem s e r e x e c u t a d o s sem a d a o t a « 3 e s am uma o u t r a m S q u i n a . A s i t u a c S o c h e g a a s e r t 3 o c r f t i c a que p r o g r a m a s
2
e s c r i t o s nuna c e r t a l i n g u a g e m p a r a r o d a r numa dada m a q u m s p r e c i s a m s e r t r a n s f o r m a d o s q u a n d o se u t i l i z a m d i f e r e n t e s c o m p i l a d o r e s d e s s a l i n g u a g e m p a r a e s s a mesma m S q u i n a . E, p o r t a n t o , de e x t r e n a i m p o r t a n c i a a p r o d u e S o de s o f t w a r e que p o s s a s e r e x a c u t a d o am v S r i a s m S q u i n a s com o m f n i m o de a l t e r a e S a s . P a r a d a r s u p o r t e ao p r o c e s s o de d e s e n v o l v i m a n t o de s o f t w a r e s u r g e n n o v a s M e t o d o l o g i a s de P r o g r a m a 5 ? o com f r e o u e n c i s . HS, t a m b £ m , urn i n t e r e s s e c r e s c e n t ? p o r S i s t a m a s de D e s e n v o l v i m e n t o de S o f t w a r e , que estlSo se t o r n a n d o d i s p o s i t i v o s i n d i s p e n s S v a i s p a r a a p r o g r a m a j l o de c o m p u t a d o r e s . E n t r e t a i s S i s t e m a s , os S i s t e m a s T r a n s f o r m a c i o n a i s ocupam urn p a p e l de d e s t a q u e . Os S i s t e m a s T r a n s f o r m a c i o n a i s j S sSo e m p r e g a d o s com § x i t o na d e r i v a $ 3 o de v S r i a s v e r s 3 e s de u n i d a d e s de p r o g r a m a a p a r t i r de uma v e r s S o b S s i c a . E s t a s d e r i v a e 3 e s podem s e r l e v a d a s a a f a i t o , p o r e x a m p l o , p a r a a p r o d u « 3 o da v e r s S e s de uma u n i d a d e de p r o g r a m a en uma n o v a p r e c i s S o d i s t i n t a d a q u e l a da v a r s S o e x i s t e n t ? , ou p a r a a p r o d u f S o de uma v e r s S o o t i m i z a d a da u n i d a d e de p r o g r a m a . Um bom S i s t e m a T r a n s f o r n s c i o n a 1 d e v e s e r c o n f i S v a l , v i S v e l e a x i g i r o m l n i m c de i n t e r v a n e S o humana na sua u t i l i z a s K o . Emoora v S r i o s S i s t e m a s T r a n s f o r n a c i o n a i s t e n h a m s i d o d e s e n v o l v i d o s , p o u c o s p o s s u e m t o d a s e s s a s q u a l i d a d e s . A u t i l i z a c S o da Pons
S i s t e m a s T r a n s f o r m a c i o n a i s § g r a n d e m e n t e e n c o r a j a d a o e l a r e d u e ? o que o c a s i o n a a o s c u s t o s de d e s e n v o l v i m a n t o de S o f t w a r e e p e l o g r a u de c o n f i a b i l i d a d e d o S o f t w a r e a s s i m p r o d u z i d o .
Tamos no Campus I I da UFPb a p r o x i m a d a m e n t e 20 c o m p u t a d o r e s ( c o m v S r i o s S i s t e m a s O p e r a c i o n a i s ) q u e , e n t r e o u t r a s t a r a f a s » s ? o b a s t a n t e u t i l i z a d o s p a r a a s J ! J « ? O de
p r o b l e m a s c i e n t l f i c o s .
Em urn d a s t e s c o m p u t a d o r e s e x i s t e a B i b l i o t e c a T r a n s p o r t S v e 1 da A n S l i s e N u m g r i c a ( B I T A N ) com c e r c a de 200 r o t i n a s que sSo implementa«<5es de a l g o r l t m o s m a t e m S t i c o s .
A UFPb i n t e r e s s a - s e p o r d i f u n d i r a jtiliz?«?.o da BITAN e urn p r i m e i r o p a s s o n e s s e s e n t i d o , s e r S a s u a i m p l e m e n t a « 3 o em o u t r a s m S q u i n a s da p r o p r i a U n i v e r s i d a d e . P o s t e r i o r m e n t e , a u t i l i z a « 3 o da BITAN p o d e r S s e r a m p l i a d a t r a n s f a r i n d o - a p a r a o u t r a s i n s t i t u i « 3 a s . P a r a a u x i l i a r a d i f u s S o da BITAN e o a r a f a c i l i t a r o s a u t r a n s p o r t ? p a r a o u t r a s m S q u i n a s , d i r e c i o n a m o s n o s s o s e s t u d o s p a r a o s S i s t e m a s T r a n s f o r m a c i o n a i s . E s t e d i r e c i o n a m s n t o c u l m i n o u com o p r o j e t o e d e s e n v o l v i m a n t o d e ura s i s t e m a p r o t S t i p o , o q u a l d e s c r e v e m o s n e s t e t r a b a l h o .
4
1 - 1 - £ A S 1 £ I E B I5 I 1 C J 4 S 2Q £3.3121120..
0 S i s t e m a P r o t f i t i p o f o i chamado ds S i s t e m a T r a n s f o r m a d o r de P r o g r a m a s FORTRAN CTRAPO) e sera" a p l i c a d o a b i b l i o t e c a e x i s t a n t e .
0 TRAPO pode c o n v e r t e r p r o g r a m a s FORTRAN, p r e v i a m e n t e o a d r o n i z a d o s , p a r a r o d a r em o u t r o s a m b i e n t e s de c o m p u t a e J o , pode mudar a p r e c i s S o da a r i t m f t i c a u t i l i z a d a , pode c o n v e r t e r a d o c u m e n t a « S o i n t e r n a d o s p r o g r a m a s e pode a i n d a s u b s t i t u i r c h a m a d a s a s u o p r o g r a m a s p o r c S d i g o em l i n b a . 0 f u n c i o n a m a n t o do TRAPO 5 c o n t r o l a d o p o r d i r e t i v a s do u s u S r i o e s p e c i f i c a d a s na L i n g u a g e m I n t e r a t i v a de S e l e s S o de A l t e r n a t i v e s ( L I S A ) . Os c o m a n d o s d i s p o n f v e i s na L I S A s3o a p r e s e n t a d o s s e g u i d a m e n t e ao u s u S r i o na f o r m a de u n "menu" que c o r e l s deve s e r p r e e n c h i d o . A LISA d i s p 3 e , a l S m d a s o p « 8 e s p a r a o d i r e c i o n a m a n t o da c o n v s r s S o a s e r e f e t u a d a , de urn comando p a r a m o s t r a r a s i t u a « 5 o c o r r e n t e a tambSm de urn comando p a r a a n u l a r uma s e s s S o de t r 3 b a l h o . 0 S i s t e m a e f e t u a as c o n v e r s e s s e m i - a u t o m a t i c a m a n t e numa t e n t a t i v a de m i n i m i z a r a i n t e r v a n s S o humana n a s t r a n s f o r n a j ? 9 s - a p e n a s os a j u s t a s f i n a i s , ape's a c o n v e r s S o , 5?o f e i t o s m a n u a l m e n t e . Os i n t e r e s s a d o s na BITAN r e c e b e r S o a s c f i p i a s d a s r o t i n a s t r a n s f o r m ad as d i r e t a m e n t e do NPD/UFPb na f o r m a de " d e c k de d i s t r i b u i e S o " .
Uma V82 que o S i s t e m a m a n i p u l a r S com m u i t a s s e q u ^ n c i a s de c a r a c t e r s s a l e v a n d o em c o n s i d e r a s l o as f a c i l i d a d a s o f e r s c i d a s p a l a L i n g u a g e m PASCAL* o que i n c l u i tamoSm uma o p « S o p a r a i d e n t i f i c a r a s c o n s t r u ? 3 e s u t i l i z a d a s e que n3o f a z e m p a r t e do o a d r S o da l i n g u a g e m , d e c i d i m o s p e l a sua u t i l i z a « 3 o p a r a o d e s e n v o l v i m e n t o do S i s t e m a . 1.4.
viSI2
3i2£*L£2
I £ A £ A L H S . I n i c i a l m e n t e , no s e g u n d o c a p l t u l o , f a l a m o s s o b r e t r a n s f o r m a « 3 e s de p r o g r a m a s a seus t i p o s , e a p r e s e n t a m o s uma r e s e n h a s o o r e q u a t r o dos p r i n c i p a l s S i s t e m a s de I r a n s p o r t a b i l i d a d e de s o t i u a r e que c o m e « a r a m a s e r d e s e n v o l v i d o s nos anos 7 0 . A r e s e n h a f o i a l a b o r a d a de nodo a f a c i l i t a r um e s t u d o c o m p a r a t i v o d o s S i s t e m a s d e s c r i t o s . No t e r c e i r o c a p l t u l o , f a z e m o s c o n s i d e r a s S e s s o b r e S i s t e m a s de T r a n s p o r t a b i l i d a d e de S o f t a a r e M a t e m S t i c o e s o b r e a 3 I T A N , e a p r e s e n t a m o s o p r o j e t o do S i s t e m a P r o t f i t i p o de se n v o l v i d o . A d e s c r i ^ S o dos p r o g r a m a s do S i s t e m a P r o t S t i p o e d e t a l h e s de i m p l e m e n t a « S o s3o a p r e s e n t a d o s no q u a r t o c a p l t u l o . F i n a l m e n t e , no q u i n t o c a p l t u l o , c o n c l u i m o s f a z e n d o uma a n S l i s e dos r e s u l t a d o s o o t i d o s , r e l a c i o n a n d o as d i f i c u l d a d a s e n c o n t r a d a s p a r a a i m p l e m e n t a e 3 o do p r o t S t i p o , i d e n t i f i c a n d o p o n t o s que c o d e r i a m s e r m e l h o r a d o s e a p r e s e n t a n d o s u g e s t 3 e s6
2 . 1 - I U I £ £ £ L ! £ S £ . N e s t * c a p l t u l o a p r e s e n t a m o s c o n c e i t o s de t r a n s p o r t a b i l i d a d e e de t r an s f orma«lio de p r o g r a m a s a l 6 m de d e s c r e v e r m o s q u a t r o d o s m a i s d i f u n d i d o s S i s t e m a s de T r a n s p o r t a b i l i d a d e da S o f t w a r e K a t a m S t i c o a t u a l m e n t e em u s o : os S i s t e m a s da IMSL C C D , C 2 1 , C 4 1 ) , de K r o g h C C4 D, C16-0, do NAG ( C 3 1 , C 4 ] , C103, C12U, C13D, C 1 4 } ) ) e T AM^R CC43, C53, C9D, C 2 0 3 ) . P a r a f a c i l i t a r urn e s t u d o c o . m p a r a t i v o , a d e s c r i ^ l i o de cada um d o s s i s t e m a s c i t a d o s £ f e i t a am q u a t r o e t a p a s : na p r i m e i r a e t a p a , d e s c r e v e m o s o a m b i e n t e em que o s i s t e m a f o i d e s e n v o l v i d o a o n d e s e r i a e x e c u t a d o , na s e g u n d a e t a p a , a p r e s e n t a m o s os o b j e t i v o s que o r i e n t a r a m o d e s e n v o l v i m a n t o do s i s t a m a ; na t e r c e i r a e t a p a m o s t r a m o s a a b o r d a g e m s e g u i d a p a r a a t i n g i r os o b j e t i v o s do s i s t e m a e, na flltima e t a p a , f a z e m o s a l g u n s c o m a n t S r i ^ s s o b r e o s i s t e m a , numa t a n t a t i v a de m o s t r a r as d i f e r e n s a s e n t r e e l e e s a u s s i m i l a r e s .
3
Z-Z-
IE&NifQEflAtlfl
I IIPJQS.P a r t s c h I S t e i n o r u e g g e n C20H d a f i n e m urn "ssfluigma. da. 2E2-5C£i5i!" como s a n d o "a r e p r as an ta«?o da una c l a s s ? d« p r o g r a m a s r e l a c i o n a d o s " . Um esquema de p r o g r a m a $ o r i g i n a d o do p r o g r a m a c o r r e s p o n d e n t e p o r p a r a m e t r i z a « 3 o .
"£E2££s._ia.__l[o L £ 2 n sio£m£ci2na.l" , tamoSm s e g u n d o C203 , "5 uma m a t o d o l o g i a de c o n s t r u « ? o de p r o g r a m a s p o r aolica«1So s u c e s s i v a de m a p a a m e n t o s de um esquema de p r o g r a m a p a r a um o u t r o , m a n t e n d o d e t e r m i n ad as r e l a « 3 e s s e m a n t i c a s " . Um "£i£t__ma. ICi!QS.f£r.ffi3S3fi s" ( o u S i s t e m a T r a n s f o r n a c i o n a l ) , a i n d a s e g u n d o C203, "5 um s i s t e m a i m p l a m a n t a d o p a r a d a r s u p o r t e a p r o g r a m a « 3 o t r a n s f o r n a c i o n a l " . A m a t a n a i s comum da um s i s t e m a t r a n s f o r m a c i o n a l § d a r s u p o r t a a n o d i f i c a j S o da p r o g r a m a s * o que f a z com que o i n t e r e s s a p o r p r o g r a m a ? S o t r a n s f o r m a c i o n a l e p o r s i s t e m a s de t r a n s f o n t a ? S o como a u x f l i o ao p r o c e s s o d e de s e n v o l v i m e n t o de p r o g r a m a s a u m e n t a a cada d i a . I s s o i n c l u i a a d a c t a « 3 o de p r o g r a m a s o a r a , p o r e x e m o l o , r o d a r em um n o v o a m b i e n t e , o que s i g n i f i c a d i z e r qua os s i s t e m a s t r a n s f o r m a c i o n a i s sSo u t a i s como f e r r a m e n t a s de s u p o r t a na p o r t a b i l i d a d e de p r o g r a m a s . S e g u n d o P o o l e £ W a i t e C213 "£2£i£bilidadfi • m e d i d a da f a c i l i d a d a com qua um p r o g r a m a p o d e s e r t r a n s f e r i d o de um
a m b i a n t e p a r a o u t r o t se o e s f o r ^ o r e q u e r i d o o a r s m o v e r o p r o g r a m a 5 m u i t o m a n o r do que o r e q u e r i d o p a r a i m p l e m e n t S - l o i n i c i a l m a n t e , e n f S o n 5 s d i z e m c s que e l e 5 a l t a m a n t e p c r t 3 t i l " .
F o r d C113 a f i r m a que "um __£o<_rama f E O E j j J i i l e n t r e as c o n f i g u r a t e s a e b se e l e c o m p u t a em n l v e i s p r e s c r i t o s de p r s c i s l l o e a f i c i S n c i a em c a d a a m b i a n t e de c o m p u t a s 3 o » sem q u a l q u a r n i u c n m a " .
P a r a F o r d C113, "um p r o g r a m a ? i£JLn.SE2£ii>--£l e n t r e as c o n f i g u r a t e s a a b se e l e c o m p u t a em n l v e i s p r e s c r i t o s de p r e c i s ? o e e f i c i e n c i a em c a d a a m b i e n t e da c o m p u t a f S o com m u d r n f a s e f e t u a d a s a u t o m a t i c a m e n t e p o r um p r o g r a m a de c o m p u t a d o r " . Broion £ H a l l C61 u t i l i z a n d o uma i d f i i a s a m e l h a n t a a de P o o l e I W a i t a a n t e r i o r m e n t e a p r e s e n t a d a , a f i r m a m que "um 2ESSCi!3.2 ? E 2 E l I I i l s e ° e s f o r ? o p a r a m o v e - l o p a r a um novo a m b i e n t e 5 m u i t o manor do que o e s f o r $ o o a r a r e - e s c r e v 9 - l o p a r a o n o v o a m b i a n t e " .
Por5m, 5 em A i r d a t a l i i Z Z 1 que vamos e n c o n t r a r uma s i r i e c o m p l a t a da d e f i n i « o e s e c o n c e i t o s r e l a c i o n a d o s com p o r t a b i l i d a d a de s o f t w a r e , d e n t r e o s a u a i s s e l e c i o n a m o s os s e g u i n t e s p o r a p r e s e n t a r e m uma m a i o r a f i n i d a d e com o n o s s o t r a b a l h o .
"Uma 2 E i - _ ! - _ I d__ £ro._j£ar_a. CUP) 8 um p r o g r a m a p r i n c i p a l ou um s u b p r o g r a m s , como d e f i n i d o no o a d r 3 o A N S I "
-10
"Um EE2SE.£3.a ? um c o n j u n t o de u n i d a d e s c o n t a n d o p r a c i s a m a n t e um p r o g r a m a p r i n c i p a l " .
"Uma y.nida,£a. £ £ ££o._J£aaia ? l£inSE2£i!v.£l se e l a e seu m a t e r i a l de s u p o r t e C i n c l u i n d o d o c u m e n t o s ) c o n t d m i n f o r m a * 3 e s a x p l f c i t a s p a r a p r o d u z i r v a r s S a s m o d i f i c a d a s da U n i d a d e de P r o g r a m a " .
"Uma L.nidi.02 £ro_jr ajj;2 * E S E l S i i l E2E Eiio C.G 5 s 2d fi£ se a l a ? uma U n i d a d e de P r o g r a m a T r a n s p o r t S v e l que c o n t S m t o d a s as i n f o r m a s S a s de m o d i f i c a e S o am uma f o r m a l e g l v e l p o r m S q u i n a s e e x i s t e um p r l - p r o c e s s a d o r p a r a p r o d u z i r v e r s S e s m o d i f i c a d a s a u t o m a t i c a m e n t e " .
"Uma i.nid_.cia d.e ££0_.£3.ma §
EfiElSiil
EEC £ 2 E Y 2 C I 2 £ se e l a S p o r t S t i l p o r p r o c e s s a d o r e a U n i d a d e de P r o g r a m a n l o n e c e s s i t a de mudan^as p a r a c o m p i l a r a e x a c u t 3 r em p e l o manos um a m b i e n t e " ."Uma U.Did,aEa de, ££23£a_.a S E E E i S i i l p a r a um c o n j u n t o de a m b i e n t e s , se pode s a r c o r r e t a m e n t e c o m p i l a d a e e x e c u t a d a , sem q u a l q u e r m o d i f i c a e ' S o p a r a c a d a a m b i e n t e no c o n j u n t o " .
"Um d.e.c!< case. S um c o n j u n t o de U n i d a d e s de P r o g r a m a a s e r p r o c a s s a d o p o r um S i s t e m a T r a n s f o r m a c i o n a l " .
"Um d.ec._: de. E i S i E i E y i l S a ^ o b t i d o com a r e m o « I o de t o d a s as i n s t r u « 3 e s do c o n v e r s o r c o n t i d a s era um d e c k b a s e " .
Por a n a l o g i a a Tanenbaum e t a l i i C253 que d e f i n a m "£.5flu_.n_. d £ § t i n o " como s e n d o "a m S q u i n a p a r a onde ura
p r o g r a m a d e v e s e r m o v i d c " . d e f i n i m o s "HBb.ie.ni_. de.si_.Qo" como s e n d o o a m b i a n t e ( h a r d w a r e + s o f t w a r e ) p a r a o n d e um p r o g r a m s dev/e s e r m o v i d o . A e x p r e s s S o "c2r__.2_._j__,. 2_.r_.t_." u s a d a v S r i a s v e z a s n e s t e t e x t o f d e v e s e r e n t e n d i d a como uma c o n v e r s S o ( d e q u a l q u e r n a t u r e z a e e x t e n s a " o ) l e v a d a a e f e i t o p o r uma e n t i d a d e n3o a u t o r i z a d a e / o u s e n i n t r u c 3 e s e x p l l c i t a s p a r a e f e t u S - l a . A f i g u r a 1 , a i a a i x o , m o s t r a a e v o l u c 3 o d o s c o n c e i t o s r e l a t i v o s a p o r t a b i l i d a d e a p r e s e n t a d o s a n t e r i o r m e n t e '
l U n i d a d e l |UP T r a n s l |UP P o r t S ! JUP P o r t S I I UP P o r t S I I d a P r o - | I p o r t S v e l l | t i l p o r | | t i l o o r | | t i l I
I g r a m a I — > | | — > | P r o c e s s a | — > | C o n v e r - | — > J } I ( U ° ) I I ] I d o r . 1 | s o r . | | I
F i g u r a 1 - E v o l u « 3 o d o s c o n c e i t o s de p o r t a b i 1 i d a d e .
1.2- 2 S.I_.I_;i!A =£E£_:iALIIA22£ _2= K£2J_ri.
2 . 3 . 1 - A f f i b i s n t i . . F r e d T. K r o g h e S h i r l e y S i n g l e t a r y d a s e n v o l v a r a m um p r 5 - p r o c a s s a d o r FORTRAN no J e t P r o p u l s i o n L a b o r a t o r y ( C a l i f o r n i a I n s t i t u t e o f T e c h n o l o g y ) que f o i chamado de "0 E s p e c i a l i z a d o r " . C E s p e c i a l i z a d o r f o i d e s e n v o l v i d o como uma f e r r a m e n t a de u s o i n d i v i d u a l p a r a um e s p e c i a l i s t a em a n S l i s e n u m S r i c a . 0 E s p e c i a l i z a d o r f o i p r a j e t a d o como uma f e r r a m e n t a o a r a
12
f a c i l i t a r o t r a b a l h o da um i n d i v l d u o qua s s t i v a s s e d e s e n v o l v e n d o um p r o g r a m a e d e s e j a s s e t o r n S - l o d i s p o n l v e l p a r a o u t r o s i n d i v l d u o s u s a n d o c o m p u t a d o r e s d i f e r a n t e s do s e u . Uma v e z que o u s u S r i o do e s p e c i a l i z a d o r nSo s a r i a um a s p e c i a l i s t a em d es en vo 1 v im an t o da b i b l i o t e c a s * e l e na*o f o i p r o j e t a d o v i s a n d o c o n t r o l a r a d i s t r i b u i e S o de p r o g r a m a s . 2 . 3 - 2 . 2 2 J £ i i y c 5 . C E s p e c i a l i z a d o r t i n h a como o b j e t i v o s b S s i c o s " ( 1 ) P r o v e r um f o r m a l i s m o p a r a p e r m i t i r a c o n v e r s S o a u t o m S t i c a de um p r o g r a m a p a r a u s o em d i f e r e n t a s m S q u i n a s - i n c l u s i v e c o n v s r s l o de p r e c i s l o ; C2) P r o v e r um m e i o de e s p e c i f i c a r d i f e r e n t e s o p « 3 e s em um p r o g r a m a * C3) E f e t u a r c o n v e r s o e s Cds p r o g r a m a s ) a b a i x o c u s t o e s a r t r a n s p o r t S v a l p a r a v S r i a s m S q u i n a s ; e ( 4 ) Os o b j e t i v o s de C I ) a C3) d e v e r i a m s e r o b t i d o s de modo a m i n i m i z a r a p o s s i o i l i d a d e de c o n v a r s 5 e s p i r a t a s . 2 * 2 • 2 • Soar da_je |. P a r a a l c a n ^ a r o s o b j e t i v o s c i t a d o s - d e c i d i u - s e que a v e r s l o m e s t r a do p r o g r a m a s e r i a m a n t i d a em f o r m a e x e c u t S v e l , com as i n f o r m a « 3 e s que i d a n t i f i c a m a s d i v e r s a s v e r s S e s c o d i f i c a d a s em c o m e n t S r i o s e s p a c i a i s . 0 E s p e c i a l i z a d o r
i n t e r p r e t s os c o n e n t S r i o s e s s e c i a i s da v e r s l o m e s t r e p a r a p r o d u z i r uma n o v a v e r s S o .
Os c o m e n t S r i o s e s p e c i a i s oodem s e r de d o i s t i p o s :
( 1 ) P a r a i d e n t i f i c a r uma s e l e * S o c o n d i c i o n a l de c o m a n d o s FORTRAN a s e r e m m a r c a d o s coma c o m e n t S r i o s ou n3o» d e p e n d e n d o de p a r a r a e t r o s de s e l a e S o e ( 2 ) P a r a r e p r a s a n t a r uma s u b s t i t u i e S o de comando p o r um t e x t o g e r a d o p e l o E s p e c i a l i z a d o r a p a r t i r dos c o m e n t S r i o s e s p e c i a i s . 0 E s p e c i a l i z a d o r c o n t S m uma t a b e l a com os v a l o r e s de p a r S m e t r o s a m b i e n t a i s c a r a c t e r i z a n d o as m S q u i n a s m a i s usua i s . 2-1-4. i o a i Q i J j r i o . j . Cora a a b o r d a g a m u t i l i z a d a . c a d a v e r s S o a x a c u t S v a l de um p r o g r a m a p r o d u z i d a p e l o E s p e c i a l i z a d o r c o n t S m as i n f o r m a « 3 e s qua a s p e c i f i c a m as o u t r a s v e r s S a s oua sa*o d i s p o n f v e i s . P o r t a n t o , quern r e c e b e uma c 6 p i a do p r o g r a m a p o d e v e r as o u t r a s verso"es que s3o d i s p o n l v e i s a i s t o d a s a n c o r a j a g r a n d e m e n t a a p r o d u « S o de c o n v e r s S e s p i r a t a s .
0 E s p e c i a l i z a d o r e v o l u i u b a s t a n t e d e s d a sua p r i m a i r a v e r s S o a j S dispTSe de v S r i o s c o m a n d o s e de a l t o g r a u de p a r a m e t r i z a « S o e da a u t o m a e S o o a r a a e s p a c i f i c a s So de c o n v e r s 3 a s .
14
Com r e l a ^ S o as d e p e n d S n c i a s de m S q u i n a que nSo oossam s e r p a r a m e t r i z a d a s * um p r o g r a m a d o r q u e u s a r a E s p e c i a l i z a d o r deve c o n h e c e r , em d e t a l h e s . o a m b i e n t e d e s t i n o . 0 p r o g r a m a d o r d e v a tambSm s a b a r e s c r e v e r c o m a n d o s a p r o p r i a d o s para o E s o e c i a l i z a d o r » p o i s 5 a t r a v S s d a s t e s c o m a n d o s * e s c r i t o s em c o m a n t S r i o s e s p e c i a i s ao l o n g o do p r o g r a m a * que e l e e s p e c i f i c a a s v S r i a s o o e o e s a serem s e l e c i o n a d a s v i s a n d o a c o n v e r s S o o a r a o a m b i e n t e d e s t i n o ( p r o g r a m a s sem c o m e n t S r i o s e s p e c i a i s nSo sSo a l t e r a d o s ao s a r e m s u o m e t i d o s ao E s p e c i a l i z a d o r ) . 0 E s p e c i a l i z a d o r a l c a n « o u o s o b j e t i v o s a s t a b e l e c i d o s no i n l c i o do s e u p r o j e t o ( s e g u n d o C 4 3 ) » t a n d o a p e n a s duas d e s v a n t a g e n s p r i n c i p a l s : 5 um p o u c o g r o s s e i r o p a r a s a r a p r e n d i d o e u s a d o e os c o m e n t S r i o s a s p e c i a i s o c u l t a m um p o u c o o f l u x o g e r a l d o s p r o g r a m a s .
2 - i - 2
SISIEU
-1
"£2i.V£££2R" 2 1IttSi-2 - 4 . 1 . iffi]IttSi-2i • A rMSL ( I n t e r n a t i o n a l M a t h e m a t i c a l a n d S t a t i s t i c a l L i b r a r i e s ) de H o u s t o n * T e x a s * p r o d u z a dS s u p o r t e a uma b i b l i o t e c a da s u o r o t i n a s em FORTRAN n a s S r a a s de m a t e m S t i c a a e s t a t i s t i c a p a r a c e r c a de 4 0 0 c l i e n t e s com s e t e a m b i e n t e s de c o m p u t a d o r e s d i f e r e n t e s . P a r a f a c i l i t a r o d e s e n v o l v i m e n t o a a m a n u t e n j ^ o d e s s a o i b l i o t e c a * a u x i l i a n d o na s o l u e S o de s e u s p r o b l e m a s de p o r t a b i l i d a d e » a IMSL
d e s e n v o l v e u o "£2Q¥fi!:.S£E £ £ £ I £ A N " . G a r a l m e n t a os c S d i g o s d3 IMSL d i f e r e m da a m b i e n t e p a r a a m b i e n t e a u a n d o hS n e c a s s i d a d e p a r a t a i s d i f e r e n c a s ( p . e x . , p o r c o n s i d e r a b l e s de e f i c i * > n c i a ) » a p o r t a n t o , sSo e v i t a d a s d e p e n d a n c i a s d e s n e c e s s S r i a s de c o m p u t a d o r e s . Na m a i o r i a d o s c f i d i g o s , 901 o u m a i s d a s l i n h a s sSo comuns a t o d a s as v e r s 3 e s . T a n t o o s p r o g r a m a s da I M S L , q u a n t o s u a s a d a p t a « 3 e s e a j u s t e s f i n a i s , Scio f e i t a s p o r p e s s o a l p a g o . Os c l i e n t a s da IMSL r e c e b e m d e c k s de d i s t r i b u i e l o d i r e t a m e n t ? d3 p r f i o r i a IMSL uma v e z qua d e s e j a - s e p r o t a « 3 o c e n t r a c o n v e r s o e s p i r a t a s * p o r u s u S r i o s , de uma m S q u i n a p a r a o u t r a . 0 u s o do C o n v e r s o r S t r a n s p a r e n t e p a r a o s c l i e n t e s da I M S L .
0 f i i i . t i i . 2 i i .
Com o d e s e n v o l v i m e n t o do C o n v e r s o r FORTRAN, a IMSL e s p e r a v a a t i n g i r o s s e g u i n t e s o b j e t i v o s .
C I ) 0 C o n v e r s o r d e v e r i a s e r uma f e r r a m e n t a p a r a s i m p l i f i c a r a p r e p a r a « 3 o de p r o g r a m a s c0RTRAN t r a n s p o r t S v e i s p o r p e s s o a l Md e c a s a " com um m l n i m o de t r e i n s m e n t o a d i c i o n a l ;
16 ( 2 ) O e v e r i a p r o v ? r a s n e c e s s i d a d e s da d e p e n d e n c i e s e x p l l c i t a s de m S q u i n a n o s p r o g r a m a s , ( 3 ) D a v a r i a s i m p l i f i c a r a c o n v e r s S o de um p r o g r a m a de uma p r e c i s S o p a r a o u t r a ; ( 4 ) Sua u t i l i z a f ' S o na p r a p a r a ^ l o de p r o g r a m a s p a r a a b i b l i o t e c a d e v e r i a s e r t r a n s p a r e n t e p a r a s e u s c l i e n t e s ; ( 5 ) D e v e r i a s e r t r a n s p o r t s v e l e p o s s i b i l i t a r e x e c u « 3 e s a b a i x o c u s t o ; e C6) A a b o r d a g e n u t i l i z a d a d e v e r i a p e r m i t i r p r o j e t o e i m p l e m e n t a e S o r S p i d o s . P a r a f a c i l i t a r o p r o j e t o e a i m p l e m s n t a s S o , nSo f o r a m i n c l u l d a s no C o n v e r s o r f e r r a m e n t a s p a r a m o d i f i c a r a u t o m a t i c a m e n t e p r o g r a m a s j S e x i s t e n t e s na b i b l i o t e c a . 2.4.2;. A f i o r d a a s a . A a b o r d a g e n g e r a l u t i l i z a d a no C o n v e r s o r 5 m u i t o s e m e l h a n t e a q u e l a u t i l i z a d a no E s p e c i a l i z a d o r de K r o g b , a p a s a r do d e s e n v o l v i m e n t o i n t e i r a m e n t e i n d e p e n d a n t e a das d i f e r e n « a s e x i s t e n t e s e n t r e os o b j e t i v o s de ambos. A v e r s S o m e s t r e de um p r o g r a m a S m a n t i d a em f o r m a e x e c u t S v a l e c o n t S m , como c o m e n t S r i o s e s p e c i a i s , as i n f o r m a « 5 e s que a s p e c i f i c a m as m u d a n s a s n e c e s s S r i a s p a r a a p r o d u s S o de o u t r a s v e r s S e s .
P a r a a t i n g i r o o b j e t i v o C D * a L i n g u a g e m de C o n t r o l a do C o n v e r s o r d a s t a c a um p e q u e n o nflmero de r e c u r s o s f a c i l m a n t e an t e n d l v e i s.
V i s a n d o a l c a n ^ a r o o b j e t i v o C 4 ) , o C o n v e r s o r pode p r o d u z i r como s a l d a : ou um d e c k b a s e , que ? uma v e r s S o de um p r o g r a m a , e x a c u t S v a l em um a m b i e n t e e s p e c l f i c o , e que c o n t S m comandos do C o n v a r s o r ; ou um d e c k de d i s t r i b u i « 3 o , que £ uma v e r s S o de um p r o g r a m a e x e c u t S v e l em um a m b i e n t e e s p a c f f i c o , mas que n3o c o n t ? m c o m a n d o s do C o n v e r s o r .
0 C o n v e r s o r o o t ? m i n f o r m a ? 3 e s r a f e r a n t e s ?i c o n v a r s S o de t r * * s f o n t e s : i n s t r u « 3 e s c o n t i d a s no d e c k b a s e , o p « 3 a s s e l e c i o n a d a s p a r a c o n v e r s 3 o » e de uma T a b e l a M e s t r a . 0 C o n v e r s o r p o s s u i uma o p « 3 o p a r a e f e t u a r a c o n v e r s S o a u t o m S t i c a da p r e c i s S o de um d e c k b a s e de s i m p l e s p a r a d u p l a • v i c e - v a r s a . 2.4.. 4. 2 o 2 £ D i i r i i . j .
0 C o n v e r s o r FORTRAN da IMSL, do masmo modo qua o E s p e c i a l i z a o o r de K r o g h , p o d a s e r c l a s s i f i c a d o como o o r t S t i l por c o n v a r s o r C v e j a C20) a, s o r t a n t o , o deck b a s e a s t S sempre em f o r m a e x e c u t S v e l . E s t a a o o r d a g a m tern a v a n t a g e ™ de p e r m i t i r que um p r o g r a m a na f o r m a de d e c k b a s e s e j a d e p u r a d o em uma m S q u i n a sem n a c e s s i d a d e de p r S - p r o c e s s a m e n t o . A u t i l i z a « 3 o da o p c l o d e c k de d i s t r i b u i « 3 o Cqu<? n3o p o s s u i c o m a n d o s do C o n v e r s o r ) a t e n d e ao o b j e t i v o C4) a l l m de
18 d e s e n c o r a j a r a p r o d u ; 3 o de c o n v e r s S e s p i r a t a s . A c o n v e r s S o a u t o m S t i c a da p r e c i s S o § uma f o r m a de r e d u z i r o t r a b a l h o do p r o g r a m a d o r p a r a o b t e r v e r s S e s de p r e c i s S o s i m p l e s o u d u p l a p a r a um p r o g r a m a . A c o n v e r s S c a u t o m S t i c a de p r e c i s S o tern um a l t o c u s t o de a x e c u c S o uma v e z que c a d a c a r S t e r do p r o g r a m a d e v e s e r e x a m i n a d o e n 3 o m a i s s o m e n t e a q u e l e s dos c o m e n t S r i o s e s p e c i a i s . Como a c o n t e c e com o E s p e c i a l i z a d o r de K r o g h , o C o n v e r s o r r e q u e r o c o n h e c i m e n t o do a m b i e n t e d e s t i n o p e l o p r o g r a m a d o r a t a m b l m p o s s u i uma T a b e l a M e s t r e com p a r a m e t r o s de m S q u i n a s . 0 C o n v e r s o r a t i n g i u o s o b j e t i v o s a qua se p r o p u n h a . A s i m p l i c i d a d e d o s c o m a n d o s do C o n v e r s o r , que sSo f S c e i s de a p r e n d e r e de u s a r , f a z e m d e l e uma f e r r a m e n t a a t r a e n t e p a r a p r o g r a m a d o r e s ( s e g u n d o C 4 D ) .
2.5. 2 Si£I
= Mj_ Q £ A££iiIY2£ 2A £I£LI2I£CA ;_ES.I££ £2 EU£.
2.£.I.
Am_>i2ni£. 0 N u m e r i c a l A l g o r i t h m s G r o u p (NAG) s u r g i u da n e c e s s i d a d e de d e s e n v o l v i m e n t o p e l a s U n i v e r s i d a d a s B r i t S n i c a s , de uma b i b l i o t e c a de a l g o r l t m o s n u m S r i c o s am FORTRAN a ALGOL, p a r a o c o m p u t a d o r I C L 1 9 0 6 A. P o s t e r i o r m e n t a , ao s e r c o n s t a t a d o que r e p r e s e n t a n t e s de U n i v a r s i d a d e s com o u t r o s t i p o s de m S q u i n a s i n t e r a s s a v a m - s ep e l a b i b l i o t a c a do NAG, f o i d e c i d i d o que a b i b l i o t e c a s a r i a e s t e n d i d H i p a r a d i v e r s a s o u t r a s m S q u i n a s .
Cada U n i v e r s i d a d e c o n t r i b u l a com p r o g r a m a s p a r a uma S r e a da b i b l i o t e c a ( c a p l t u l o ) na q u a l t i n h a um bom n f v e l de c o n h e c i m a n t o e r e c a b i a em mudansa t o d a a b i b l i o t e c a . A c o o r d s n s s S o da b i b l i o t e c a e r a uma t a r e f a da E q u i p e do E s c r i t S r i o C e n t r a l do NAG. P o r q u e s t 3 e s e c o n d m i c a s , o NAG t r a n s f o r m o u - s e em uma b i b l i o t e c a c o m e r c i a l com o r g a n i z a c S o d s s c e n t r a l i z a d a : os p r o g r a m a s sSo d e s e n v o l v i d o s , am v S r i o s l u g a r e s , p o r e s p e c i a l i s t a s em a n S l i s e n u m S r i c a ( c o n t r i b u i d o r e s ) que nSo p r e c i s a m i n c l u i r i n f o r m a ^ S a s a d i c i o n a i s s o b r e as v S r i a s v e r s 5 e s p a r a o u t r a s m S q u i n a s , e sSo e n v i a d o s p a r a o E s c r i t S r i o C e n t r a l . Os p r o g r a m a s sSo m o d i f i c a d o s p o r i m o l a m e n t a d o r e s ( e s p e c i a l i s t a s em uma m S q u i n a p a r t i c u l a r ) , q u a n d o n e c a s s S r i o , p a r a i m p l e m e n t a e S o em n o v a s m S q u i n a s . Cada i m p l e m e n t a e S o c o m p l e t a d a I r e t o r n a d a p a r a o E s c r i t S r i o C e n t r a l que t o r n a a b i b l i o t e c a d i s p o n f v e l p a r a seus c l i e n t a s . A E q u i p e do E s c r i t c l r i o C e n t r a l d e s e n v o l v e u um S i s t e m a que p r o t e g e a i n t e g r i d a d e d o s p r o g r a m a s c o n t r a e r r o s g r o s s e i r o s no g a r e n c i a m e n t o do f l u x o de p r o g r a m a s ( c o n t r l b u f d o 3 e i m p l e m a n t a d o s ) a 3 a p l i c S v e l a b i b l i o t e c a a x i s t e n t e . Um o u t r o a s p e c t o i n t e r e s s a n t e do S i s t e m a de A r q u i v o s da
20 B i b l i o t e c a M e s t r e ( M L F S ) § que as i m p l e m e n t a * 8 a s pars m S q u i n a s d i f e r e n t e s sSo e f e t u a d a s a s s i n c r o n a m e n t e ( u m a r»3o d e p e n d e da o u t r a ) . 0 MLFS 5 b a s i c a m e n t a um s i s t e m a de g e r e n c i a m a n t o do t e x t o f o n t e a como t a l i d e n t i f i c a e a r m a z e n a a s m u d a n « a s e f e t u a d a s o o r a l g u m g r u p o na i m p l e m e n t a s S o ou a t u a l i z a * S o de c a d a v a r s S o b S s i c a da b i b l i o t e c a . 2 k i e i i i . s i i . 0 M LpS , p a r a o a m b i e n t e d e s c r i t o . d e v e r i a a l c a n « a r os s e g u i n t e s o b j e t i v o s : ( 1 ) S i m p l i f i c a r a s a t i v i d a d e s da b i b l i o t e c a no 5 s c r i t 5 r i o C e n t r a l do *JA5» o b s a r v a n d o os o b j e t i v o s de ( 3 ) a ( 6 ) ; ( 2 ) S e r a p l i c S v e l a b i b l i o t e c a e x i s t e n t e s e n n e c e s s i d a d e de m o d i f i c a c o e s ; ( 3 ) F o r n e c e r informa«»3es s o o r e o e s t a d o d a s v S r i a s i m p l e m e n t a « 3 e s e a j u d a r a i d e n t i f i c a r d i v e r g e n c i a s e n t r e e l a s ; ( 4 ) M a n t e r um b i s t C r i c o s o b r e a s i m p l e m e n t a * 3 e s ( p e r m i t i r d e s e n v o l v i m e n t o a s s l n c r o n o ) ; ( 5 ) P r o t e g e r urns i m p l em en t a ? S o c o n t r a influ*»ncia de o u t r o s i m p l e m e n t a d o r e s J e
( 6 ) A u x i l i a r na r e v i s S o da i m o l e m a n t a ^ S a s p a r a um p r o g r a m a q u a n d o s u a v e r s S o " c o n t r i b u l d a " s o f r e a t u a l i z a e S o . Z-2-1. iJ2P.£d£aSS« Na a b o r d a g e m s e g u i d a p e l o N&G, a e x a m p l o do que o c o r r e nas a b o r d a g e n s s e g u i d a s no C o n v a r s o r Cda I M S L ) e no E s p e c i a l i z a d o r ( d e K r o g b ) » hS a u t i l i z s e S o da uma v e r s S o do a r q u i v o m e s t r a do p r o g r a m a c o n s i s t i n d o de c o m a n d o s do p r o g r a m a e da comandos da c o n t r o l ? i n t a r c a l a d o s . " o r o u t r o l a d o , d i f e r e n t e de t a i s S i s t e m 3 S , no MLFS o s c o m a n d o s de c o n t r o l e sSo i n s e r i d o s a u t o m a t i c a m e n t e . P a r a p r o d u z i r uma v e r s S o da b i b l i o t e c a p a r a uma d e t e r m i n ^ d a m S q u i n a * o MLFS e f e t u a uma s e l a c S o s o b r e o a r q u i v o m e s t r e t e n d o em c o n t a o s c o m a n d o s de c o n t r o l e p r a s e n t e s n e s s e a r q u i v o . E s t e s c o m a n d o s da c o n t r o l e i n d i c a m as i m p l e m e n t a t o r s a v e r s 3 e s p a r a a s q u a i s s 3 o a p l i c S v e i s o s comandos do o r o g r a m a . 0 t e x t o f o n t e d a s U n i d a d e s de P r o g r a m a da b i b l i o t e c a pode v a r i a r de uma v e r s S o p a r a o u t r a de uma mesma m S q u i n a . P o r t a n t o , S p o s s l v e l e n c o n t r a r , no a r q u i v o m e s t r e , c o m a n d o s do p r o g r a m a que nSo sSo u t i l i z S v e i s p a r a nenbuma d a s v a r s S a s a t u a l m e n t e p r o d u z i d a s p e l a b i b l i o t e c a . E s t e s c o m a n d o s s e r v e m p a r a m a n t e r um h i s t G r i c o da b i b l i o t e c a .
E s t u d o s e s t a t l s t i c o s m o s t r a r a m que 7 0 ? de t o d a s as mudansas e f e t u a d a s ao i m o l e m e n t a r uma dada v e r s S o da
22 b i b l i o t e c a f o r a m d e v i d a s a c o n v e r s H o de p r e c i s S o da o i b l i o t e c a de s i m p l e s p a r a d u p l a ou v i c e - v e r s a . Essa c o n s t a t a s S o l e v o u o r s c r i t f i r i o C e n t r a l do NAG a d e c i s S o de d e s e n v o l v e r um T r a n s f o r m a d o r A u t o m S t i c o de P r e c i s S o que a n t r e o u t r a s f u n e S e s , t e m a ds r e s o l v e r o s p r o b l e m a s de c o n s t a n t e s e c o n s t r u e S e s que sSo d e p e n d e n t e s de m S q u i n a . A p r o d u » ? o a u t o m S t i c a de c o m a n d o s S f e i t a p o r um p r o g r a m a Co " a n t i - e d i t o r " ) que c o m p a r a um p r o g r a m a e x e c u t S v e l C f o r n e c i d o p o r um i m p l e m e n t a d o r ) p a r a uma dada m S q u i n a , com a v e r s S o do a r q u i v o m e s t r e . Ao6s a c o m p a r a « 3 o o a r q u i v o m e s t r e S m o d i f i c a d o de modo que o p r o g r a m a r e c e b i d o p a s s a a s e r s e l e c i o n S v e l d o a r q u i v o m e s t r e . 2*5. 4 . C j U U I Q l I C l f i l * C a r q u i v o m e s t r e do MLFS nSo 5 um p r o g r a m a em f o r m a e x e c u t S v e l , a p e s a r de a s s e m e l h a i — s e c o n c e i t u a l m e n t e ao deck base do C o n v e r s o r e do E s p e c i a l i z a d o r a, p o r t a n t o , o M L c S pode s e r c l a s s i f i c a d o como p o r t S t i l p o r p r o c e s s a d o r C v e j a C23) . E s t a a b o r d a g e m § a c e i t S v e l no c o n t e x t o do NAG em f a c e d? i n e x i s t ^ n c i a de m o t i v a f S e s p a r a u s o da uma b i b l i o t e c a m e s t r e e x e c u t S v e l : o E s c r i t S r i o C e n t r a l do NAG i S o tern i n t e r e s s a em c i e n t i f i c a r s e u s u s u S r i o s da e x i s t e n c i a de o u t r a s v e r s S a s e nSo hS n e c e s s i d a d e de uma f o r m a e x a c u t S v a l p a r a d e p u r a e S c p o i s as m o d i f i c a * 5 e s n o s p r o g r a m a s e x e c u t S v a i s sSo f e i t a s em l u g a r e s d i s t a n t e s a r e i n c o r p o r a d a s
a u t o m a t i c a m e n t e na b i b l i o t e c a m e s t r e p o r um p r o g r a m a do S i s t » m a . 0 " a n t i - e d i t o r " p e r m i t e que a b i b l i o t e c a e x i s t e n t e s e j a i n c o r p o r a d a a u t o m a t i c a m a n t e p e l o MLCS, C O T I O e r a r e q u e r i d o p e l o o b j e t i v o ( 2 ) . P a r a a t i n g i r o o b j e t i v o ( 3 ) podem s e r u s a d o s p r o g r a m a s g e r a d o r e s de r e l a t d V i o p a r a p r o c e s s a r os c o m a n d o s de c o n t r o l e e x i s t e n t e s no MLFS. Um h i s t S r i c o do d e s e n v o l v i m e n t o ( o b j e t i v o ( 4 ) ) 5 o b t i d o r e g i s t r a n d o - s e as v e r s U e s a que p e r t e n c e m o s c o m a n d o s do p r o g r a m a . 0 MLFS e" i n d e p e n d e n t e de i n d i c a d o r e s e s t a b e l e c i d o s n o s p r o g r a m a s , m 3 S a i n d a r e q u e r que o s i m p l e m e n t a d o r e s t a n h a m um c o n h e c i m e n t o d e t a l b a d o do a m b i e n t e d e s t i n o . Em r e s u m o , o s o b j e t i ' v o s do p r o j e t o f o r a m a l c a n « a d o s o e l o MLFS ( s a g u n d o 2 . . . . fl S X S I I U W •IAJJEJ." QE M A I S -0 S i s t a m a TAM^R ( T r a n s f o r m a t i o n - A s s i s t e d M u l t i p l e P r o g r a m R e a l i z a t i o n ) f o i d e s e n v o l v i d o a p a r t i r de 1 9 7 3 no A r g o n n a N a t i o n a l L a b o r a t o r y ( A r g o n n e , I l l i n o i s - E U A ) , um a m b i e n t e nSo c o m e r c i a l de p e s q u i s a s s o b r a m e t o d o l o g i a s e
24 f e r r a m s n t a s p a r a d e s e n v o l v i m e n t o d s s o f t w a r e m a t e m S t i c o . 0 S i s t e m a TAMPR s u r g i u como r e s u l t a d o d a s l i m i t a « 3 e s e da expari*»ncia o b t i d a com o d e s e n v o l v i m e n t o d o s e u p r e d e c e s s o r qua f o i o " S i s t e m a E s p e c i a l i z a d o r -G e n e r a l i z a d o r " . C E s p e c i a l i z a d o r - G a n e r a l i z a d o r f o i c o n c e b i d o p a r a o p e r a r s o b r e um c o n j u n t o de p r o g r a m a s e s c r i t o s u s a n d o a r i t m S t i c a d e p r e c i s S o d u p l a em FORTRAN. I n i c i a l m a n t e » o S i s t a m a d e v e r i a c o n v e r t e r e s s e s p r o g r a m a s p a r a u t i l i z e e S o em p e l o menos c i n c o o u t r o s c o m p u t a d o r e s . 0 S i s t e m a d e v e r i a a u t o m a t i z a r a t a r e f a de c o n v e r s S o de p r e c i s ? o d c s p r o g r a m a s de d u p l a p a r a s i m p l e s e m a n t e r uma G n i c a v e r s S o m e s t r a d o s p r o g r a m a s . em f o r m a a x e c u t S v e l * que c o n t i n h a c o m a n d o s de c o n t r o l e b a s t a n t e r u d i m a n t a r e s . 0 E s p e c i a l i z a d o r - G e n e r a l i z a d o r e n t r o u em o p e r a s U o em 1971 a f u n c i o n a v a bem» mesmo sem e f e t u a r uma a n S l i s e d e t a l h a d a do t e x t o f o n t e » com a l g u m a s l i m i t a « 3 e s 6 b v i a s . Por e x e m p l o * se o S i s t e m a f o s s e u t i l i z a d o p a r a c o n v e r t e r um p r o g r a m a a r b i t r S r i o , que nSo h o u v e s s e s i d o e s c r i t o o b e d a c e n d o a d e t e r m i n a d o s p a d r S e s , e l e p o d e r i a e f e t u a r a l g u m a s m u d 3 n « a s i n d e v i d a s . A13m d i s s o * o p r o j e t o do S i s t a m a nSo p e r m i t i a a p r o n t a a d i e S o da n o v a s f u n « 3 e s . Com a u t i l i z a « S o do E s p e c i a l i z a d o r - G e n e r a l i z a d o r f o r a m d e t e c t a a a s n o v a s c a r a c t e r l s t i c a s d e s e j S v e i s p a r a f e r r a m e n t a s de s o f t w a r e .
As p r i n c i p a l s c a r a c t e r f s t i c a s s e r i a m a f o r m a t a s S o a u t o m S t i c a de p r o g r a m a s e a c a p a c i d a d e p a r a e s p e c i f i c a s So e e x e c u s S o de m u d a n e a s Cde m s n u t s n s S o ) que d e v e s s e m s e r e f e t u a d a s na m a i o r i a dos p r o g r a m a s de um p a c o t e .
Al*>m dos f a t o s c i t a d o s , h a v i a d o i s o u t r o s que f o r t a l e c i a m a i d S i a de d e s e n v o l v i m e n t o de um n o v o s i s t e m a : o i n t e r e s s e no d e s e n v o l v i m e n t o de o a c o t e s em S r e a s n a i s c o m p l e x e s da A n S l i s e N u m S r i c a ( d o que A l g e b r a L i n e a r ) e no d e s e n v o l v i m e n t o d e s c e n t r a l i z a d o de s o f t m a r a . £ . 6 . 2 . 3 b j _ . t i v . _ _ 3 . A e x p e r i d n c i a o b t i d a com o S i s t e m a E s p e c i a l i z a d o r -G e n e r a l i z a d o r e a e v o l u s S o do a m b i e n t e r e l a c i o n a d o com e l e , l e v a r a m ao e s t a b e l a c i m e n t o dos s e g u i n t e s o b j e t i v o s p a r a o S i s t e m a TAMPR: ( 1 ) 0 S i s t e m a d e v e r i a r e d u z i r , t a n t o q u a n t o p o s s l v a l , a q u a n t i d a d e de p r o g r a m a s a r m a z e n a d o s na f o r m a m e s t r e ! p a r a t a n t o , d e v e r i a m s e r a u t o m a t i z a d o s os p r o c e s s e s de d e r i v a s S o de n o v a s v e r s S e s psrs p r e c i s S o s i m p l e s e d u p l a e de n o v a s v e r s S e s d e p e n d e n t e s de m S q u i n a ; ( 2 ) P a r a e s c r e v e r p r o g r a m a s t r a n s p o r t S v e i s , o S i s t e m a nSo d e v e r i a r e q u e r e r do p r o g r a m a d o r , um c o n h e c i m e n t o d e t a l h a d o d o s a m b i e n t e s d e s t i n o ;
26 ( 3 ) D e v e r i a a c e i t a r p r o g r a m a s FORTRAN c o n u n s , e x e c u t S v e i s em a l g u m a -nSquina, e c o n v e r t § - l o s o a r a a f o r m a m e s t r e , se p o s s l v a l sam a p r e s e n c e de m a r c a d o r e s e s p e c i a i s no p r o g r a m a f o n t e * ( 4 ) 0 p r o c e s s o de d a r i v a c S o d a s v e r s 3 e s d e v e r i a s e r t S o c o n f i S v e l q u a n t o p o s s l v e l ; ( 5 ) D e v e r i a u n i f i c a r o f o r m a t o e a e s t r u t u r a d o s p r o g r a m a s ; e ( 6 ) D e v e r i a s e r f l e x l v e l o o a s t a n t e p a r a a t i n g i r r e q u i s i t o s a i n d s d e s c o n h e c i d o s , como p o r e x e m p l o , a i n t r o d u « 3 o de o t i m i z a s S e s e a f o r n a t a e S o de p r o g r a m a s de a c o r d o com e s p e c i f i c a « 3 e s a i n d a nSo c o n h e c i d a s . Em p a r t e p o r s e r o S i s t a m a TAMPR v i s t o como um p r o j e t o de p e s q u i s a de l o n g a d u r a ^ o e em p a r t e p e l a d i s p o n i b i l i d a d e do E s p a c i a l i z a d o < — G e n e r a l i z a d o r , nSo f o r a m f a i t a s q u a i s q u a r r e s t r i « 3 a s p a r t i c u l a t e s s o b r e o s e u d e s e n v o l v i m e n t o ( q u e r s o b r a o tempo r e q u a r i d o p a r a d e s e n v o l v i m e n t o , q u e r s o b r e v e l o c i d a d e de e x e c u c S o o u t r a n s p o r t a o i l i d a d e do S i s t e m a ) . 2 . 6 . 3 . ftfrgrcjagam. A a b o r d a g e m u t i l i z a d a no S i s t e m a TAMPR tern a l g u m a s s e m e l h a n ? a s com a q u e l a s u t i l i z a d a s no E s p e c i a l i z a d o r , no C o n v e r s o r e no MLFS, a p e s a r de s e r s u b s t a n c i a l m a n t e d i f e r e n t a de t o d a s e l a s . A e x e m p l o do q u e a c o n t e c e n a q u e l e s S i s t e m a s , no TAMPR e x i s t a uma v e r s S o m e s t r e ( n S o e x e c u t S v e l )
dos p r o g r a m a s chamada de " f o r m a c a n f t n i c a a b s t r a t a " . 415m d i s s o , o S i s t e m a TAMPR tambem c o n s i s t e de um c o n j u n t o d« p r o c es sa d o r e s ( f u n $ 3 ? s d e p r o d u « 3 o ) q u e o p e r a m s o b r e a f o r m a c a n d n i c a a b s t r a t a p a r a p r o d u z i r as v S r i a s v a r s f c e s p a r a um mesmo D r o g r a n a . A o p e r a ? S o do S i s t e m a TAMPR c o n s i s t e na a p l i c a t S o de uma f u n « ? o de p r o d u f S o a um p r o t f i t i o o p a r a o b t e r uma v e r s S o p a r t i c u l a r d a q u e l e p r o g r a m a . As f u n « 3 e s da p r o d u s S o sSo g e n S r i c a s a podem s e r a p l i c a d a s em s e q u f t n c i a p a r a a o b t e n e S o de t r a n s f o r m a « 3 e s c o m p o s t a s c o n f i S v e i s . 0 p r S - p r o c e s s a m s n t o £> e f e t u a d o p e l o S i s t e m a TAMPR em t r f t s p a s s o s : C I ) Um r e c o n h a c a d o r c o n v a r t e um p r o g r a m a f o n t e FORTRAN C f o r m a c o n c r e t a ) em f o r m a a b s t r a t a c u j a r e p r e s e n t a « 3 o i n t e r n a e* uma S r v o r e s i n t S t i c a o a r a a v a r s S o do TAMPR de uma g r a m S t i c a FORTRAN; ( 2 ) SSo a p l i c a d a s T r a n s f o r m a « o e s I n t r a - G r a m a t i c a i s ( I G T ' s ) S f o r m a a b s t r a t a p a r a p r o d u z i r a S r v o r a t r a n s f o r m a d a ( f o r m a a b s t r a t a c a n f t n i c a ) ; a ( 3 ) A S r v o r a t r a n s f o r m a d a 5 r a - c o n v e r t i d a p a r a a f o r m a f o n t e p o r um p r o c a s s o de f o r m a t a « S o . Com v i s t a s a o b t e n « 3 o de f l e x i b i l i d a d e ( o b j e t i v o ( 6 ) ) o S i s t e m a TAMPR f o i p r o j e t a d o p a r a p o s s u i r a l g u n s p r o c a s s a d o r e s p r o g r a m S v e i s : o " f o r m a t a d o r " S um p r o c e s s a d o r
28 p r o g r a m s v e l em L i n g u a g a m de C o n t r o l e de F o r m a t o ( = C L > que c o n v e r t s da f o r m a c a n O n i c a a b s t r a t a o a r a , p o r e x e m p l o , FORTRAN e x e c u t S v e l ; o " i n t e r p r e t a d o r de t r a n s f o r m a « 3 e s " que 5 o r e s p o n s S v e l p e l a s p a s s a g a n s da f o r m a a b s t r a t a p a r a uma o u t r a f o r m a , tamb5m a b s t r a t a , de a c o r d o com as e s p e c i f x c a ? 3 e s e s c r i t a s na l i n g u a g e m d a s I G T ' s -T r a n s f orma$*5 as I n t r a - G r a m a t i c a i s C p o r q u e g a r a n t e m a c o r r a s S o s i n t S t i c a d o p r o g r a m a t r a n s f o r m a d o ) , v a j a C53J e o " r e c o n n e c e d o r " C p r o g r a m S v e l na g r a m S t i c a 8 N F ) q u e c o n v e r t s de FORTRAN p a r a a f o r m a a b s t r a t a . Con_ef_t Hr io_5. A p r o v i s S o de l i n g u a g e n s de f i n a l i d a d e a s p e c i a l p a r a a e s p e c i f i c a « 3 o de p r o c e s s o s e a c a p a c i d a d e p a r a e f e t u a r m u i t a s o o e r a ? 5 a s sam a n e c a s s i d a d e d e i n c l u s S o de m a r c a d o r a s e s p e c i a i s no t e x t o do p r o g r a m a de e n t r a c l a , 3mbos r e q u a r i d o s p e l o o b j e t i v o ( 6 ) , sSo os a s p e c t o s q u e m a i s i n f l u e m na utiliza«?,o do S i s t e m a TAMPR. E s t a s p r o c e s s o s l e v a m o u s u S r i o , do S i s t e m a TAMPR, a a s c r a v e r a s e s p e c i f i c a s S e s d a s m u d a n s a s de modo i n d e p e n d e n t s dos p r o g r a m a s o a r t i c u l a r e s p a r a o s q u a i s e l a s sSo a p l i c S v e i s , s a n d o r e q u e r i d o , p o r t a n t o , um m f n i m o c o n h e c i m e n t o do a m b i e n t e d e s t i n o ( o b j e t i v o ( 3 ) ) . No S i s t e m a TAMPR os p r o c e s s o s de d e r i v a e S o de p r o g r a m a s sSo c o n f i S v a i s p o r s e r e m e s p e c i f i c a d o s , em uma l i n g u a g e m de a l t o n i v a l , s e p a r a d o s d o s p r o g r a m a s ( o b j e t i v o ( 4 ) ) .
Como c a r a c t e r f s t i c a s n e g a t i v e s do S i s t e m a podem s e r c i t a d a s : o c u s t o e l e v a d o de p r o c e s s a m a n t o C o c a s i o n a d o p o r sua g e n e r a l i dade)» a aus*»ncia de f a c i l i d a d e s o a r a m a n u s e a r p r o g r a m a s r e a l m e n t e d e p e n d e n t e s de m S q u i n a e a nSo t r a n s p o r t a b i l i d a d e do S i s t e m a . 0 d e s e n v o l v i m e n t o d o S i s t e m a TAMPR t r o u x a como p r i n c i p a l c o n t r i b u i « S o a l d S i a d a s f u n « 3 e s de p r o d u e S o . As f u n « 3 e s de p r o d u s S o , e n t r e o u t r o s b e n e f l c i o s * t o r n a m p o s s l v e l o t r a n s p o r t e de p r o g r a m a s p a r a m S q u i n a s c u j a s i m p l e m e n t a « 3 e s de FORTRAN v i o l a m o p a d r S o * a l f m de o e r m i t i r e m d e r i v a r m a i s de um p r o g r a m a a p a r t i r de uma flnica v e r s S o m e s t r e Co que s i g n i f i c a uma r e d u « S o do n f l m e r o de p r o g r a m a s na v e r s S o m e s t r e ) . Como p o d e s e r v i s t o * o S x s t e m a TAMPR a t i n g i u o s o b j e t i v o s p r o p o s t o s no i n l c i o do s a u p r o j e t o C s e g u n d o £ 4 1 ) . 2 - 1 - £fl a£J.Ai SSfl-A c o m p a r a « 3 o d o s s i s t e m a s de t r a n s p o r t a b i l i d a d e a p r e s e n t a d o s m o s t r o u q u e e x i s t e m v S r i o s a s p e c t o s d o s o b j e t i v o s a d a s a b o r d a g e n s q u e sSo comuns a t a i s s i s t e m a s mesmo q u a n d o o s a m o i e n t e s d i v e r g e m c o n s i d e r a v e l m e n t e . Os s i s t e m a s g e r a l m e n t e a d o t a m a f i l o s o f i a de u t i l i z a « 3 o de uma v e r s S o m e s t r e d o s p r o g r a m a s * s e p o s s l v e l em nQmerc r e d u z i d o e c o n s t a n t e , a p a r t i r da q u a l sSo p r o d u z i d a s as d e m a i s v e r s S e s . A p r o d u « 3 o d a s n o v a s v e r s 3 e s g e r a l m e n t e S
30 f e i t a no m f n i m o q u a s e que a u t o m a t i c a m e n t e e v i s a n d o c o n f i a b i l i d a d e . A p a r t i r da v e r s S o n e s t r e , as a b o r d a g a n s p a r a t r a n s p o r t a b i l i d a d e da s o f t w a r e m a t e m S t i c o seguem duas c o r r e n t e s : a de p o r t a b i l i d a d e p u r a e a de f u n « 5 e s de p r o d u « S o . Na p o r t a b i l i d a d e o u r a um p r o g r a m a p r o t f i t i p o g e r a l 5 e x e c u t S v e l em t o d a s as m S q u i n a s * e n q u a n t o q u e * com as f u n « 3 e s de produtsSo as v S r i a s v e r s 3 e s e s p a c l f i c a s p a r a cada m S q u i n a sSo c o n s t r u l d a s a p a r t i r do mesmo p r o g r a m a p r o t C t i p o g e r a l . Um e s t u d o m a i s a o r o f u n d a d e d a s d u a s a b o r d a g e n s 5 e n c o n t r a d o em C*»3» Z51 e C9J. I n f o r m a « 3 e s a d i c i o n a i s s o b r e p o r t a b i l i d a d e de s o f t w a r e tambSm sSo e n c o n t r a d a s em C17J e C 2 5 J . Da r a um m e l h o r v i s u a l i z a « S o d o s c o m a n d o s de c o n t r o l e dos s i s t e m a s e s t u d a d o s a p r e s a n t a r e m o s um e x e m p l o de c o n v a r s S o que f o i e x t r a l d o de E43. 0 e x e m p l o t r a t a da c o n v e r s S o de um t r e c h o de p r o g r a m a que c a l c u l a o p r o d u t o i n t e r n o de d o i s v e t o r e s .
5m m S q u i n a s com dez ou manos a l g a r i s m o s s i g n i f i c a t i v o s em p r e c i s S o s i m p l e s (um c o m p u t a d o r IBM 4 3 4 1 * p o r e x e m p l o ) * o t r e c h o s e r i a t
DO 100 I 5 1 , N SOMA = SOMA • D 9 L E C X C I ) ) * D B L E ( Y C I ) ) 100 CONTINUE Em m S q u i n a s com m a i s d a d e z a l g a r i s m o s s i g n i f i c a t i v os am p r e c i s S o s i m p l e s Cum c o m p u t a d o r CDC 7 6 0 0 - p o r e x e m p l o ) * o t r e c h o e q u i v a l e n t e s a r i a : DO 100 I = 1 * N SOMA = SOMA • X C I ) * Y ( I ) 100 CONTINUE
U i i l i Z i . r i - 1 2 2 f I E i£ 121A 111 do.r d s KCfiflll* I&ZI^ISL'
DO 100 I = 1 , N
C$$ I«=CC.IM?. .EC. ' S ' ) .AND. C.EPS. .GE. l . E - 1 0 ) ) C SOMA = SOMA + D 3 L 2 C X C I ) ) * O B L E C T C D )
CSS ELSE
S3MA = SOMA • X C I ) * Y C I ) C$S ENDIF
100 CONTINUE Onde: IMP = P r e c i s S o CS o u 0 ) EPS = P r e c i s S o R e l a t i v a .
DO 1 0 0 I = 1 , N
CS IFCSSIGN . 1 = . 1 0 ) 1 L I N E - 1 L I N ?
C SOMA = SOMA + D 3 L E C X C I ) ) * DE LE C Y C I ) ) SOMA = SOMA + X C I ) * Y d )
100 CONTINUE
L l l i l 12*11 dfi £ i i i i e m j . da £.A__, t£riji2_.s:
V ? r s ? o C o n t r i b u f d a CICL 1 9 0 6 A ) : DO 1 0 0 I = 1 , N SOMA = SOMA • X C I ) * Y C I ) 100 CONTINUE V e r s S o IBM C R e t o r n a d a p o r um i m p l e m e n t a d o r ) DO 100 I = 1 , N SOMA = SOMA + D B L E C X C D ) * D B L E C Y C I ) ) 100 CONTINUE C o m p a r a n d o e s t a s v e r s S e s . o " a n t i - e d i t o r " p r o d u z
DO 100 I • 1 , N *600BG 0 1 0 0 99Z9 *605BB 0200 SOMA = SOMA * X C D * Y C D $ 6 0 0 8 3 0200 99Z9 SOMA = SC*A • D B L E C X C D ) * O B L E C Y C D ) S600BG 0 1 0 0 99Z9 100 CONTINUE U i i l i z . a _ . d _ _ o Sij.ti.n__. T flMPR , t-£El§225 : V e r s S o " e s t r e , a p r o p r i a d s p a r a m S q u i n a s com n f i n e r o de a l g a r i s m o s s i g n i f i c a t i v o s manor o u i g u a l a d e z em p r e c i s S o s i m p l e s : DO 100 I = 1 , N
SOMA = SOMA + DBLECXCD * D 3 L E C Y C D ) 100 CONTINUE
A t r a n s t o r m a c S o TAMPR:
( p r i m a r y )
C.SD. 0 B L E C < p r i m a r y > " 1 " ) = = > < p r i m a r y > " 1 " . S O
34 DO 100 I = 1 , N SOMA = SOMA + X C I ) * Y C I ) 100 CONTINUE Um r e s u m o d o e s t u d o c o m p a r a t i v e d o s q u a t r o s i s t e m a s § a p r e s e n t a d o n o s C u a d r o s I * I I e I I I a s e g u i r . A p r e s e n « a de um s i n a l de i n t e r r o g a « 3 o em a l g u m a s p o s i e S e s d o s q u a d r o s s i g n i f i c a q u e n ? o f o i p o s s l v e l a n c o n t r a r , na b i b l i o g r a f i a p e s q u i s a d a , as i n f o r m a e B e s r a f e r e n t e s a e s t a s p o s i « 3 e s . 0 h f f e n f o i u t i l i z a d o p a r a i n d i c a r que d e t e r m i n a d o c r i t i r i o nSo se a p l i c a a um dado S i s t e m af e n q u a n t o que e s p a s o s am b r a n c o sSo u t i l i z a d o s p a r a r e p r a s a n t a r a s o p « 3 e s nSo d i s p o n l v a i s . JIMCSQ I . \ AMBIENTE I KPOGH \
\| 1
IMSLI
NAGI
TAMPR C I l e n t e s |Uso I n d i lI v i d u a l |
400 \ v S r i o s v S r i o s C o m e r c i a l / P e s q u i s a1
PI
c
I
P-->Cf
P C o n t r o l a 0 i s t n b u i « S o l N3o | Sim
1
S i m Sim
|\ S I S T E M A |
1 V 1
1 OBJETIVOS \| KROGH 1 IMSL NAG TAMPR |
I C c n v e r s S o de P r e c i s S o I ? o s s i b i l i t a r c a r S i m p l i f i CAPT) Sim S i m | 1 C o n v e r s S o d? A m b i e n t e s l Sim Sim Pr e d i z e r a l g u m a s mudaneas S i m | I C o n v e r s S o da O o c u m e n t a l 1 1 1 I I«So I n t e r n a | | | | | |Convers"5es a S a i x o Cus| I t o I Sim Sim
|
I S e r T r a n s p c r t S v e l I S i n Sim 1 j E v i t a r ' i r a t e a m s n t o Sim Sim 1 I S e r T r a n s p a r e n t e a o s I l U s u S r i o s F i n a l s I Sim Sim | I P r o j e t o e I n p l e n e n t a -19So R Sp i d o s 1 1 Sim J E f e t u a r O t i m i z a f S e s I P e r m i t s | | = o r n e c e r H i s t f l r i c o s o -| b r e a s I m o l e m e n t a « 8 e s I Sim! j
I S e r A p l i c S v e l a uma B i J b l i o t e c a e s p e c l f i c a I Sim I Q u a l q u e r | I uma | I F o r m a t a r P r o g r a m a s 1 S i m | |NSo E x i g i r C o n h e c i m e n -| t o do A m b i e n t e D e s t i n o I S i m |36
I I I
-|\ S I S T E M A |
1 * 1
IA30RDAGEM/C OMENTA" RIDS\| KROGH I MSL NAG TAMPR | J V e r s S o M e s t r e E x e c u t S
-I v e l ? | Sim | S im i NSo NSo 1
I C o m a n d o s de C o n v e r s S o ! |no T e x t o F o n t e ? 1 Sim S im | m a t i c a S i n : a u t o m e n t e . NSo | l U t i l i z a T a b e l a M e s t r e ? | S i n S im Sim 1 l E x i g e C o n h e c i n e n t o do j A m b i e n t e O e s t i n o ? 1 S i n S im ! Sim NSo ! l U t i l i z a P r o c e s s a d o r s s !
I F r o g r a m S v e i s ? I NSo NSo ! NSo S i m
1 l E s c r i t a d o s Comandos j de C o n v e r sSo + - G r o s -s e i r o F S c i l d e A p r e n d e r e u s a r P e l o S i s tema t Espec i f i 1 c a d a em 1 | BMF J | P r o t e s ? o c o n t r a P i r a -I t a a m e n t o Cada UP c o n t 5m t o d a s as i n f o r m . Deck de D i s t r . D i s t r . Deck de ICada UP 1 j S 5 um | Deck d e | D i s t r . | ITempo de D e s e n v o l v i m e n 1 t o ? ? 18Homens -mS s NSo l i m i l t a c o | l A + i n g i u o s O b j e t i v o s ? 1 S i n S im Sim [ S im J
Embora o d e s e n v o l v i m e n t o d e S o f t w a r e de A n S l i s e N u - i i f r i c a s e j a f e i t o t r a d i c i o n a l m e n t e u t i l i z a n d o a L i n g u a g e m de P r o g r a m a « S o FORTRAN* a s u a t r a n s p o r t a b i l i d a d e nem s e m p r e ? a s s e g u r a d a . P a r a s o l u c i o n a r o s p r o b l e m a s de p o r t a b i l i d a d e , uma s o l u « 3 o f r e q u e n t e m e n t e a d o t a d a c o n s i s t e em e f e t u a r m a n u a l m e n t e t o d a s a s a d a o t a « 3 e s at*> que o s o f t w a r e o r a d u z a o s r e s u l t a d o s d a s e j a d o s . Uma o u t r a s o l u « 3 o » m o d e r n a m e n t e a d o t a d a , o a r a o mesmo p r o b l a m a , S a u t i l i z a « 3 o d o s S i s t e m a s T r a n s f o r m a c i o n a i s q u e , em g e r a l , t r a n s f o r m s - p a r c i a l m e n t e p r o g r a m a s "DRTRAN p r e v i a m e n t e p a d r o n i z a d o s . Um bom S i s t e m a T r a n s f o r m a c i o n a 1 d e v e s e r c o n f i S v e l , v i S v e l e r e q u e r e r um m l n i m o de i n t a r v e n « 3 o Humana na sua u t i l i z a « 3 o . A r e d u « 3 o d o s c u s t o s d e d e s e n v o l v i m e n t o a o g r a u de c o n f i a b i l i d a d e do s o f t w a r e a s s i m p r o d u z i d o sSo os d o i s a s p e c t o s qua m a i s e n c o r a j a m a u t i l i z a $ 3 o d o s S i s t e m a s T r a n s f o r m a c i o n a i s . P a r a q u e um S i s t e m a T r a n s f o r m a c i o n a l t e n h a a m p l a a c e i t a e S o I a c o n s e l h S v a l que e l e e x i j a o m l n i m o p o s s l v e l de p a d r o n i z a e S o na e s c r i t a d o s p r o g r a m a s que s a r l o t r a n s f o r m a d o s . Se p o s s l v e l , o S i s t e m a d e v e f o r n e c e r os p r o g r a m a s t r a n s f o r m a d o s com uma b o a f o r m a t a « 3 o . A l t e r a r a u t o m a t i c a m e n t e c o m e n t S r i o s , mudar a p r e c i s S o da a r i t m g t i c e
