Alto Desempenho e Eficiência em Processamento Numérico

• Tiaraju Asmuz Diverio UFRGS
• Philippe Olivier A. Navaux UFRGS
• Dalcidio Moraes Claudio UFRGS

DOI: https://doi.org/10.5753/sbac-pad.1995.19867

Resumo

Este trabalho data das características: desempenho e eficiência em processamento numérico, através da definição de aritmética de alta exatidão e alto desempenho. Esta definição reúne os avanços nas áreas da aritmética computacional, qualidade numérica e processamento de alto desempenho. No aspecto da matemática computacional, a aritmética de alta exatidão e desempenho inclui: padronização do formato dos números e das operações em ponto flutuante pelo padrão IEEE 754; cálculo de operações com máxima exatidão; controle automático do erro nas operações aritméticas pelo uso de arredondamentos direcionados; produto escalar ótimo e matemática intervalar. No aspecto de alto desempenho, inclui rapidez no processamento obtida pelo uso da vetorização e verificação automática do resultado. Este trabalho, descreve ainda, os resultados obtidos com a biblioteca de rotinas intervalares, desenvolvida em Fortran 90, no ambiente do supercomputador Cray Y-MP, como protótipo desta aritmética de alto desempenho.

Referências

ADAMS, E.; KULISCH, U. (Eds.). Scientific Computing with automatic result verification. San Diego: Academic Press, 1993. 612p.

ALEFELD, G.; HERZBERGER, J. lntroduction to Interval computation. New York: Academic Press, 1983. 333p.

CLAUDIO, D. M.; MARINS, J. M. Cálculo numérico computacional. São Paulo: Atlas, 1989. 464p.

CRAY RESEARCH, Inc. CF90 Fortran language reference manual, n.sr.3902, versão 1.0. [S.1 : s.n.], 1993.

DIVERIO, T. A.; HOLBIG, C. A.; NORONHA, C. R. Sistema de Ponto-Flutuante e o Padrão IEEE 754. Porto Alegre: PGCC da UFRGS, 1994. 58p. (RP, 225).

DIVERIO, T. A.; FERNANDES, U. A. L.; DAHMER, A. Limitações do Processamento vetorial no Cray Y -MP2E. Porto Alegre: PGCC da UFRGS, 1995. 60p. (RP, 248).

DIVERIO, T. A. LIBAVI. A Manual de utilização. Porto Alegre: PGCC da UFRGS, 1995. 350p.

IMACS, GAMM. Resolution on computer arithmetic. In: Computer Arithmetic, Scientific Computation and Mathematical Modelling. KAUCHER, E.; MARKOV, S. M.; MAYER, G. (Eds.). Basel: J.C.Baltzer, 1991. (Proceedings of SCAN'90, IMACS Annals on Computing and Applied Mathematics, Albena, Sept 24-28, 1990). v.1 2. p.477-479.

KULISCH, U. W.; MIRANKER, W. L. Computer arithmetic in theory and practice. New York: Academic Press, 1981. 249p.

KULISCH, U. W.; MIRANKER, W. L. A new approach to sclentific computation. New York: Academic Press, 1983. 384p.

KULISCH, U.; MIRANKER, W. R. Computer arithmetic theory and pratice. New York: Academic Press, 1987.

KULISCH, U.; STETTER, H. J. (Eds.). Scientific computation with automatic result verification. Wien: Springer Verlag, 1988. (COMPUTING SUPPLEMENTUM 6, Seminar held in Karlsruhe, Sept 30-Oct 2, 1987).

MOORE, R. E. Interval Analysls. Englewood Cliifs: Prentice Hall, 1966.

MOORE, R. E. Methods and applications for Interval analysls. Philadelphia: SIAM. 1979. 190p.

NEUMAIER, A. Interval methods for systems of equations. Cambridge: Cambridge University Press. 1990. 260p.