Skip to main content
SpringerLink
Log in
Book cover

International Conference on High Performance Computing for Computational Science

VECPAR 2008: High Performance Computing for Computational Science - VECPAR 2008 pp 13–26Cite as

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5336))

Abstract

A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. In this research we propose improvements aiming at a better performance. The idea is to implement an algorithm that uses technologies as MPI communication primitives associated to libraries as LAPACK, BLAS and C-XSC, aiming to provide both self-verification and speed-up at the same time. The algorithms should find an enclosure even for ill-conditioned problems. In this scenario, a parallel version of a self-verified solver for dense linear systems appears to be essential in order to solve bigger problems. Moreover, the major goal of this research is to provide a free, fast, reliable and accurate solver for dense linear systems.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users’ Guide. In: Society for Industrial and Applied Mathematics, 3rd edn., Philadelphia, PA (1999)

    Google Scholar 

  2. Bai, A., Day, D., Dongarra, J.: A test matrix collection for non-hermitian eigenvalue problems. Technical report, Knoxville, TN, USA (1997)

    Google Scholar 

  3. Blackford, L.S., Choi, J., Cleary, A., D’Azevedo, E., Demmel, J., Dhillon, I., Dongarra, J., Hammarling, S., Henry, G., Petitet, A., Stanley, K., Walker, D., Whaley, R.C.: ScaLAPACK Users’ Guide. In: Society for Industrial and Applied Mathematics, Philadelphia, PA (1997)

    Google Scholar 

  4. Bohlender, G.: Faster Interval Computations Through Minimized Switching of Rounding Modes. In: PUCRS, Porto Alegre, Brazil (2002)

    Google Scholar 

  5. Bohlender, G., Kolberg, M., Claudio, D.: Modifications to Expression Evaluation in C-XSC. Technical report, preprint BUW-WRSWT 2005/5, Universität Wuppertal, DE, SCAN 2004, Fukuoka, Japan (2005)

    Google Scholar 

  6. Claudio, D.M., Marins, J.M.: Cálculo Numérico Computacional: Teoria e Prática, Editora Atlas S. A., São Paulo (2000)

    Google Scholar 

  7. Dongarra, J.J., Duff, I.S., Sorensen, D.C., van der Vorst, H.A.: Numerical Linear Algebra for High-performance Computers. SIAM Press, Philadelphia (1998)

    Book  MATH  Google Scholar 

  8. Dongarra, J.J., Du Croz, J., Duff, I.S., Hammarling, S.: A set of Level 3 Basic Linear Algebra Subprograms. ACM trans. Math. Soft. 16, 1–17 (1990)

    Article  MATH  Google Scholar 

  9. Dongarra, J.J., Pozo, R., Walker, D.W.: LAPACK++: A design overview of object-oriented extensions for high performance linear algebra. In: Supercomputing 1993. Proceedings, pp. 162–171 (1993)

    Google Scholar 

  10. Duff, I.S., van der Vorst, H.A.: Developments and Trends in the Parallel Solution of Linear Systems. Technical Report RAL TR-1999-027, CERFACS, Toulouse, France (1999)

    Google Scholar 

  11. Facius, A.: Iterative solution of linear systems with improved arithmetic and result verification. PhD thesis, University of Karlsruhe, Germany (2000)

    Google Scholar 

  12. Frommer, A.: Lösung linearer Gleichungssysteme auf Parallelrechnern. Vieweg-Verlag, Universität Karlsruhe, Germany (1990)

    Google Scholar 

  13. Gonzalez, P., Cabaleiro, J.C., Pena, T.F.: Solving Sparse Triangular Systems on Distributed Memory Multicomputers. In: Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, pp. 470–478. IEEE Press, Los Alamitos (1998)

    Chapter  Google Scholar 

  14. Hammer, R., Ratz, D., Kulisch, U., Hocks, M.: C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems. Springer, New York (1997)

    MATH  Google Scholar 

  15. Hölbig, C.A., Morandi Júnior, P.S., Alcalde, B.F.K., Diverio, T.A.: Selfverifying Solvers for Linear Systems of Equations in C-XSC. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds.) PPAM 2004. LNCS, vol. 3019, pp. 292–297. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  16. Hölbig, C.A., Krämer, W., Diverio, T.A.: An Accurate and Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix. In: Proceedings of Parallel Computing (PARCO), Germany, pp. 283–290 (September 2003)

    Google Scholar 

  17. INTLAB. INTerval LABoratory, http://www.ti3.tu-harburg.de/~rump/intlab/

  18. Kersten, T.: Verifizierende rechnerinvariante Numerikmodule. PhD thesis, University of Karlsruhe, Germany (1998)

    Google Scholar 

  19. Klatte, R., Kulisch, U., Lawo, C., Rauch, R., Wiethoff, A.: C-XSC- A C++ Class Library for Extended Scientific Computing. Springer, Berlin (1993)

    MATH  Google Scholar 

  20. Kolberg, M., Baldo, L., Velho, P., Fernandes, L.G., Claudio, D.: Optimizing a Parallel Self-verified Method for Solving Linear Systems. In: Kågström, B., Elmroth, E., Dongarra, J., Waśniewski, J. (eds.) PARA 2006. LNCS, vol. 4699, pp. 949–955. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  21. Kolberg, M., Baldo, L., Velho, P., Webber, T., Fernandes, L.G., Fernandes, P., Claudio, D.: Parallel Selfverified Method for Solving Linear Systems. In: Daydé, M., Palma, J.M.L.M., Coutinho, Á.L.G.A., Pacitti, E., Lopes, J.C. (eds.) VECPAR 2006. LNCS, vol. 4395, pp. 179–190. Springer, Heidelberg (2007)

    Google Scholar 

  22. Kulisch, U., Miranker, W.L.: Computer Arithmetic in Theory and Practice. Academic Press, New York (1981)

    MATH  Google Scholar 

  23. LAPACK. Linear Algebra Package, http://www.cs.colorado.edu/~jessup/lapack/

  24. Lo, G.C., Saad, Y.: Iterative Solution of General Sparse Linear Systems on Clusters of Workstations. Technical Report umsi-96-117, msi, uofmad (1996)

    Google Scholar 

  25. Ogita, T., Rump, S.M., Oishi, S.: Accurate Sum and Dot Product with Applications. In: 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, Taiwan, September 2004, pp. 152–155. IEEE Press, Los Alamitos (2004)

    Google Scholar 

  26. Ogita, T., Rump, S.M., Oishi, S.: Accurate Sum and Dot Product. SIAM Journal on Scientific Computing 26(6), 1955–1988 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  27. Pan, V., Reif, J.: Fast and Efficient Parallel Solution of Dense Linear Systems. Computers & Mathematics with Applications 17(11), 1481–1491 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  28. Rump, S.: INTLAB - INterval LABoratory. Developments in Reliable Computing, pp. 77–104 (1998), http://www.ti3.tu-harburg.de/~rump/intlab

  29. Rump, S.: Fast and Parallel Interval Arithmetic. Bit Numerical Mathematics 39(3), 534–554 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  30. Rump, S.M.: Solving Algebraic Problems with High Accuracy. In: IMACS World Congress, pp. 299–300 (1982)

    Google Scholar 

  31. Snir, M., Otto, S., Huss-Lederman, S., Walker, D.W., Dongarra, J.: MPI: The Complete Reference. MIT Press, Cambridge (1996)

    Google Scholar 

  32. Inc. (publisher) The MathWorks. MATLAB, The Language of Technical Computing (2001), http://www.mathworks.com

  33. Wiethoff, A.: Verifizierte globale Optimierung auf Parallelrechnern. PhD thesis, University of Karlsruhe, Germany (1997)

    Google Scholar 

  34. Zhang, J., Maple, C.: Parallel Solutions of Large Dense Linear Systems Using MPI. In: International Conference on Parallel Computing in Electrical Engineering, PARELEC 2002, pp. 312–317. IEEE Computer Society Press, Los Alamitos (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Pontifícia Universidade Católica do Rio Grande do Sul, PPGCC, Av. Ipiranga, 6681, 90619-900, Porto Alegre, Brazil

    Mariana Kolberg & Dalcidio Claudio

  2. Institut für Angewandte und Numerische Mathematik, Universität Karlsruhe, Kaiserstr. 12, 76128, Karlsruhe, Germany

    Gerd Bohlender

Authors
  1. Mariana Kolberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerd Bohlender
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dalcidio Claudio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Engenharia da Universidade do Porto, Rua Dr. Roberto Frias s/n, 4200-465, Porto, Portugal

    José M. Laginha M. Palma

  2. University of Toulouse, INP (ENSEEIHT), IRIT, 2 rue Charles-Camichel, 31071, Toulouse CEDEX 7, France

    Patrick R. Amestoy

  3. University of Toulouse, INP (ENSEEIHT); IRIT, rue Charles-Camichel, 31071, Toulouse CEDEX 7, France

    Michel Daydé

  4. Federal University of Rio de Janeiro, P.O. Box 68511, 21941-972, Rio de Janeiro, RJ, Brazil

    Marta Mattoso

  5. Faculty of Engineering, University of Porto, Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Portugal

    João Correia Lopes

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kolberg, M., Bohlender, G., Claudio, D. (2008). Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In: Palma, J.M.L.M., Amestoy, P.R., Daydé, M., Mattoso, M., Lopes, J.C. (eds) High Performance Computing for Computational Science - VECPAR 2008. VECPAR 2008. Lecture Notes in Computer Science, vol 5336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92859-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-92859-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-92858-4

  • Online ISBN: 978-3-540-92859-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation